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 | 8382cf57b722f130f1a6b45380639871c07271c1 (patch) | |
| tree | c4ca46c9d83c2985986e7149ae1d731e68f1e0f1 /test/Analysis/misc-ps-region-store-x86_64.m | |
| parent | 79b680ea869983d62b84a9175eeb6b6efb376326 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@88671 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/misc-ps-region-store-x86_64.m')
| -rw-r--r-- | test/Analysis/misc-ps-region-store-x86_64.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/misc-ps-region-store-x86_64.m b/test/Analysis/misc-ps-region-store-x86_64.m index 154ffaf3a0..7e614fd248 100644 --- a/test/Analysis/misc-ps-region-store-x86_64.m +++ b/test/Analysis/misc-ps-region-store-x86_64.m @@ -1,4 +1,4 @@ -// RUN: clang-cc -triple x86_64-apple-darwin9 -analyze -checker-cfref --analyzer-store=region --verify -fblocks %s +// RUN: clang-cc -triple x86_64-apple-darwin9 -analyze -analyzer-experimental-internal-checks -checker-cfref --analyzer-store=region --verify -fblocks %s // Here is a case where a pointer is treated as integer, invalidated as an // integer, and then used again as a pointer. This test just makes sure |