clang-1/test/Analysis/misc-ps-flat-store.c

11 строки
177 B
C

// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store=flat -verify %s
void f1() {
int x;
int *p;
x = 1;
p = 0;
if (x != 1)
*p = 1; // no-warning
}