1 int keep(volatile int *p) { return *p && 0; } 2 int kill(int *p, int i) { return *p && 0; } 3 void ind(volatile int *p,int i) { int v = i++; if (i && 0) p[v]; } 4 5 6 /* 7 * check-name: kill-load 8 * check-command: test-linearize -Wno-decl $file 9 * check-description: 10 * Check that loads are optimized away but only 11 * when needed: 12 * - non-volatile 13 * - bb unreachable. 14 * 15 * check-output-ignore 16 * check-output-pattern(1): load\\. 17 */ 18