--- Comment #1 from Martin Sebor <msebor at gcc dot> ---
Another test case for the guarantee that "...and moreover no pointers to valid
objects occur in any storage addressed by P."

void* __attribute__ ((malloc, returns_nonnull))
f (unsigned);

void g3 (unsigned n)
  void *p = f (n);
  void **q = f (n);

  if (p == *q)            // must be false
    __builtin_abort ();   // can be eliminated but isn't

Reply via email to