null-deref-ps-region.c revision 8382cf57b722f130f1a6b45380639871c07271c1
1// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -std=gnu99 -checker-cfref -analyzer-store=region -verify %s 2 3 4// The store for 'a[1]' should not be removed mistakenly. SymbolicRegions may 5// also be live roots. 6void f14(int *a) { 7 int i; 8 a[1] = 1; 9 i = a[1]; 10 if (i != 1) { 11 int *p = 0; 12 i = *p; // no-warning 13 } 14} 15