1 static int foo(void) 2 { 3 if (0) 4 return 0; 5 } 6 7 /* 8 * check-name: null-phi 9 */