This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: middle-end/9725: Invalid dependency determination
- From: Momchil Velikov <velco at fadata dot bg>
- To: "Jan Beulich" <JBeulich at novell dot com>
- Cc: <bangerth at dealii dot org>, <gcc-bugs at gcc dot gnu dot org>,<gcc-prs at gcc dot gnu dot org>, <nobody at gcc dot gnu dot org>
- Date: 17 Feb 2003 18:52:05 +0200
- Subject: Re: middle-end/9725: Invalid dependency determination
- References: <se511f94.097@cpl-emea-mail1.cpl.novell.com>
>>>>> "Jan" == Jan Beulich <JBeulich@novell.com> writes:
Jan> I was fearing you would say this. But I can in no way agree - the code
Jan> presented is valid C, and hence should work at any optimization level.
It is not valid C because it violates the following exceprt from the
ISO/IEC 9899:1999:
[#7] An object shall have its stored value accessed only by
an lvalue expression that has one of the following types:73)
-- a type compatible with the effective type of the
object,
-- a qualified version of a type compatible with the
effective type of the object,
-- a type that is the signed or unsigned type
corresponding to the effective type of the object,
-- a type that is the signed or unsigned type
corresponding to a qualified version of the effective
type of the object,
-- an aggregate or union type that includes one of the
aforementioned types among its members (including,
recursively, a member of a subaggregate or contained
union), or
-- a character type.
~velco