1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -std=gnu99 -analyzer-store=region -verify %s 2 // expected-no-diagnostics 3 4 5 // The store for 'a[1]' should not be removed mistakenly. SymbolicRegions may 6 // also be live roots. 7 void f14(int *a) { 8 int i; 9 a[1] = 1; 10 i = a[1]; 11 if (i != 1) { 12 int *p = 0; 13 i = *p; // no-warning 14 } 15 } 16
