On 2/1/06, Andreas Krebbel <[EMAIL PROTECTED]> wrote:
> Hi,
>
> in true_dependence (alias.c) a varying struct
> address is considered to never alias a fixed scalar value. This
> rule is triggered also in something like the following:
>
> struct foo { int n; };
> extern unsigned long c = 0;
>
> {
> int b;
>
> b = 2;
> ((struct foo*)(&b + c))->n = 3;
> }
I believe this is invalid due to the non-transitive alias relation
involved. I.e.
an access of an object of type struct foo through type int aliases, but not
the other way around.
Richard.
