gcc/testsuite/gcc.dg/nonnull-7.c

   1 /* { dg-do compile { target nonpic } }
   2    { dg-options "-O2 -Wsuggest-attribute=returns_nonnull" } */
   3
   4 int *q;
   5 int *test()    /* { dg-warning "candidate for attribute .returns_nonnull." } */
   6 {
   7         if (!q)
   8                 __builtin_unreachable ();
   9         return q;
  10 }