This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Should dead stores which could trap be deleted?
- To: john at feith dot com (John Wehle)
- Subject: Re: Should dead stores which could trap be deleted?
- From: Joern Rennecke <amylaar at cygnus dot co dot uk>
- Date: Sat, 7 Aug 1999 02:47:06 +0100 (BST)
- Cc: amylaar at cygnus dot co dot uk, gcc at gcc dot gnu dot org
> PS: At a (very) quick glance I didn't see in rtl.texi where division
> by zero was stated as being undefined. :-)
It's not in rtl.texi, but in the C standard.
However, for floating point you can argue that no undefined behaviour
is invoked if NaNs are supported.