const int*p;intbar(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);}