1 #include <stdlib.h> 2 #include <string.h> 3 #include <stdio.h> 4 5 static int a; 6 main(void)7int main(void) 8 { 9 char *src = NULL; 10 char buf[128]; 11 12 /* "a" can't have been touched yet, and thus 13 is implicitly zero. */ 14 switch (a) { 15 case 1: 16 strcpy(buf, src); /* { dg-bogus "NULL" } */ 17 break; 18 case 0: 19 strcpy(buf, "hello"); 20 } 21 printf("%s\n", buf); 22 } 23