This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Correctness question

From: Florian Weimer <fw at deneb dot enyo dot de>
To: Richard Guenther <rguenth at tat dot physik dot uni-tuebingen dot de>
Cc: gcc at gcc dot gnu dot org
Date: Tue, 08 Feb 2005 14:27:59 +0100
Subject: Re: Correctness question
References: <Pine.LNX.4.44.0502081411240.16464-100000@alwazn.tat.physik.uni-tuebingen.de>

* Richard Guenther:

> Is it correct for the middle-end to transform
>
> void foo(int i)
> {
>   int a[4];
>   if (&a[i] == &a[2147483648U])
>      abort();
>   if (i == 2147483648U)
>      abort();
> }

Is this valid C?  I doubt that even a + 5 is a valid expression (a + 4
is okay, though).

Follow-Ups:
- Re: Correctness question
  - From: Richard Guenther

References:
- Correctness question
  - From: Richard Guenther

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]