1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
const int *p; int bar (void) { return *p + 1; } main () { /* Variable 'i' is never used but it's aliased to a global pointer. The alias analyzer was not considering that 'i' may be used in the call to bar(). */ const int i = 5; p = &i; if (bar() != 6) abort (); exit (0); }