diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2011-10-20 21:14:49 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2011-10-20 21:14:49 +0000 |
| commit | 36981b17ed939300f6f8fc2355a255f711fcef71 (patch) | |
| tree | ee2483e98b09cac943dc93a6969d83ca737ff139 /test/Analysis/misc-ps-flat-store.c | |
| parent | 180abc3db9ae3b4fc63cd65b15697e6ffcc8a657 (diff) | |
Notes
Diffstat (limited to 'test/Analysis/misc-ps-flat-store.c')
| -rw-r--r-- | test/Analysis/misc-ps-flat-store.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/test/Analysis/misc-ps-flat-store.c b/test/Analysis/misc-ps-flat-store.c deleted file mode 100644 index e6369cbfb079b..0000000000000 --- a/test/Analysis/misc-ps-flat-store.c +++ /dev/null @@ -1,10 +0,0 @@ -// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=flat -verify %s - -void f1() { - int x; - int *p; - x = 1; - p = 0; - if (x != 1) - *p = 1; // no-warning -} |