diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-11-13 18:46:29 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-11-13 18:46:29 +0000 |
| commit | 4ef13f8ac919c0c056cc3fcd1d166bbf79ccad49 (patch) | |
| tree | e9777255522dc1e15890317133b16790cc06b230 /clang/test/Analysis/cfref_rdar6080742.c | |
| parent | 379d84b7ed24980a3dbd3d60e4ab2bacce290c0c (diff) | |
| download | bcm5719-llvm-4ef13f8ac919c0c056cc3fcd1d166bbf79ccad49.tar.gz bcm5719-llvm-4ef13f8ac919c0c056cc3fcd1d166bbf79ccad49.zip | |
Add clang-cc option "--analyzer-experimental-internal-checks". This
option enables new "internal" checks that will eventually be turned on
by default but still require broader testing.
llvm-svn: 88671
Diffstat (limited to 'clang/test/Analysis/cfref_rdar6080742.c')
| -rw-r--r-- | clang/test/Analysis/cfref_rdar6080742.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/clang/test/Analysis/cfref_rdar6080742.c b/clang/test/Analysis/cfref_rdar6080742.c index b47babb9fd9..a2b7477db8b 100644 --- a/clang/test/Analysis/cfref_rdar6080742.c +++ b/clang/test/Analysis/cfref_rdar6080742.c @@ -1,7 +1,7 @@ -// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=basic -verify %s -// RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -analyzer-constraints=range -verify %s -// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=basic -verify %s -// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify %s +// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=basic -analyzer-constraints=basic -verify %s +// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=basic -analyzer-constraints=range -verify %s +// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -analyzer-constraints=basic -verify %s +// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify %s // This test case was reported in <rdar:problem/6080742>. // It tests path-sensitivity with respect to '!(cfstring != 0)' (negation of inequality). |
