function_hooks: update comment explaining various function hooks
[smatch.git] / validation / memops / kill-dead-loads00.c
blobdf7ec037e2f23c762f320aa34956802fc1915813
1 void fun(void);
3 void foo(int *p)
5 for (*p; *p; *p) {
6 l:
7 fun();
10 if (0)
11 goto l;
15 * check-name: kill-dead-loads00
16 * check-command: test-linearize -Wno-decl $file
18 * check-output-ignore
19 * check-output-excludes: phi\\.
20 * check-output-pattern(1): load\\.
21 * check-output-end