1static 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