1  /* PR tree-optimization/92891 */
       2  
       3  int a, b;
       4  char *foo (int) __attribute__((alloc_size(1)));
       5  
       6  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  }