xref: /illumos-gate/usr/src/tools/smatch/src/validation/kill-store.c (revision 3ce5372277f4657ad0e52d36c979527c4ca22de2)
1 void keep(int *p)	 { *p = 0; }
2 void kill(int *p, int i) { if (i && 0) *p = 0; }
3 void dead(int *p, int i) { int v = i++; if (i && 0) p[v] = 0; }
4 
5 
6 /*
7  * check-name: kill-store
8  * check-command: test-linearize -Wno-decl $file
9  * check-description:
10  *	Check that stores are optimized away but only
11  *	when needed:
12  *	- bb unreachable.
13  *
14  * check-output-ignore
15  * check-output-pattern(1): store\\.
16  */
17