middle-end/9725: Invalid dependency determination

Neil Booth neil@daikokuya.co.uk
Mon Feb 17 20:02:00 GMT 2003


Momchil Velikov wrote:-

> 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.

Note that latter one too, Jan.

Neil.



More information about the Gcc-bugs mailing list