1 const int *p;
2 
bar(void)3 int bar (void)
4 {
5   return *p + 1;
6 }
7 
main()8 main ()
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