1  /* PR middle-end/78858 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-fsanitize=undefined -Wnonnull" } */
       4  
       5  void
       6  foo (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  }