1 static void foo(int *b) 2 { 3 if (1) { 4 int c; 5 b = &c; 6 } 7 } 8 9 /* 10 * check-name: phi-order04 11 * check-command: sparse -vir -flinearize=last $file 12 */ 13