Andreas Krebbel writes:
>
> > struct foo { int n; };
> > extern unsigned long c = 0;
> >
> > {
> > int b;
> >
> > b = 2;
> > ((struct foo*)(&b + c))->n = 3;
> > }
>
> For having a true dependency the example should look like this:
>
> struct foo { int n; };
> extern unsign
> struct foo { int n; };
> extern unsigned long c = 0;
>
> {
> int b;
>
> b = 2;
> ((struct foo*)(&b + c))->n = 3;
> }
For having a true dependency the example should look like this:
struct foo { int n; };
extern unsigned long c = 0;
{
int b;
int d;
b = 2;
d = ((struct foo*)(&b
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;
>
> {
>
