1  /* PR tree-optimization/109238 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -Wall" } */
       4  
       5  void foo (void *) __attribute__((noreturn));
       6  void bar (void *);
       7  
       8  void
       9  baz (void *p)
      10  {
      11    void *c = __builtin_realloc (p, 16);
      12    if (c)
      13      foo (c);
      14    for (;;)
      15      bar (__builtin_realloc (p, 8));	/* { dg-bogus "pointer 'p' may be used after '__builtin_realloc'" } */
      16  }