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