xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/load-dead.c (revision d0972c645cf979856ed66c1c6a1f082383c90b0c)
1 int fun(int);
2 
3 static inline int fake(void)
4 {
5 }
6 
7 static void foo(int a)
8 {
9 	0 || fun((a, fake(), a));
10 }
11 
12 /*
13  * check-name: load-dead
14  * check-command: test-linearize -Wno-decl $file
15  *
16  * check-output-ignore
17  * check-output-excludes: VOID
18  */
19