aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/kill-store.c
blob: 8f7253226680deb4775c5580b6256a31484fb61c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
void keep(int *p)	 { *p = 0; }
void kill(int *p, int i) { if (i && 0) *p = 0; }
void dead(int *p, int i) { int v = i++; if (i && 0) p[v] = 0; }


/*
 * check-name: kill-store
 * check-command: test-linearize -Wno-decl $file
 * check-description:
 *	Check that stores are optimized away but only
 *	when needed:
 *	- bb unreachable.
 *
 * check-output-ignore
 * check-output-pattern-1-times: store\\.
 */