#32 Spurious dependency on variable while taking the address

[Mihai T. Lazarescu]

extern int *global_int_pointer1, *global_int_pointer2;
void take_addresses(void)
{
    int local_int;
    global_int_pointer1 = &global_int;
    global_int_pointer2 = &local_int;
}

This is annotated as reading global_int and local_int while it really doesn't.

[Mihai T. Lazarescu]

• Description has changed:

Diff:

--- old
+++ new
@@ -7,5 +7,4 @@
         global_int_pointer2 = &local_int;
     }

-This is annotated as reading global_int and local_int while it really
-doesn't.
+This is annotated as reading global_int and local_int while it really doesn't.