xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/load-dead.c (revision cd61ae21816e53b94bc1673f3f1aa651fc3115e8)
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