function_hooks: update comment explaining various function hooks
[smatch.git] / validation / mem2reg / if-pointer.c
blobacfceb718c64f8ab361813cd11d21503f83b907d
1 int foo(int c, int a, int b)
3 int l, *p = &l;
5 if (c)
6 *p = a;
7 else
8 *p = b;
10 return l + *p;
14 * check-name: if-then-else pointer
15 * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file
16 * check-known-to-fail
17 * check-output-ignore
18 * check-output-excludes: load\\.
19 * check-output-excludes: store\\.
20 * check-output-contains: phi\\.