1  /* Reduced from https://sourceware.org/bugzilla/show_bug.cgi?id=20978 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -Wnonnull" } */
       4  
       5  int
       6  foo (const char *name)
       7  {
       8    if (name)
       9      return 6;
      10    return __builtin_strlen (name);	/* { dg-warning "argument 1 null where non-null expected" } */
      11  }