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