This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: basic VRP min/max range overflow question
- From: Tristan Wibberley <maihem at maihem dot org>
- To: gcc at gcc dot gnu dot org
- Date: Sat, 18 Jun 2005 23:45:17 +0100
- Subject: Re: basic VRP min/max range overflow question
- References: <BED9A4B3.A88B%schlie@comcast.net>
Paul Schlie wrote:
[Justification snipped]
> Therefore regardless of the result of an "undefined" result/operation at
> it's enclosing sequence point, the remaining program must continue to abide
> by the specified semantics of the language.
Tell that to Mister my_array[sizeof(my_array) / sizeof(*my_array)] = 0;
I believe this is theoretically impossible in general.
--
Tristan Wibberley
Opinions expressed are my own and certainly *not* those of my employer, etc.