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