1 /* PR tree-optimization/92891 */
2 
3 int a, b;
4 char *foo (int) __attribute__((alloc_size(1)));
5 
6 void
bar(void)7 bar (void)
8 {
9   char *e = foo (2);
10   while (a)
11     {
12       if (b <= 0)
13 	continue;
14       e[b] = 0;
15     }
16 }
17