1 static void foo(int a) 2 { 3 return; 4 a = 0; 5 } 6 7 /* 8 * check-name: store-deadborn 9 */