1 /* PR middle-end/78858 */ 2 /* { dg-do compile } */ 3 /* { dg-options "-fsanitize=undefined -Wnonnull" } */ 4 5 void foo(char ** x,const char * y)6foo (char **x, const char *y) 7 { 8 *x = (char *) __builtin_malloc (__builtin_strlen (y) + 1); /* { dg-bogus "argument 1 null where non-null expected" } */ 9 __builtin_strcpy (*x, y); 10 } 11