diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-20 05:48:57 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-20 05:48:57 +0000 |
| commit | 40ab43b29bff9a240e5281e5952f59ddee623fca (patch) | |
| tree | 4b814464a7b1d1e00b906ce402f1ff3900823a76 | |
| parent | fb97cf24158aa7f1fd74374052f99733ef331bb9 (diff) | |
Add test cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@101878 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Analysis/method-call.cpp | 18 | ||||
| -rw-r--r-- | test/Analysis/new.cpp | 12 |
2 files changed, 30 insertions, 0 deletions
diff --git a/test/Analysis/method-call.cpp b/test/Analysis/method-call.cpp new file mode 100644 index 0000000000..dd891596c5 --- /dev/null +++ b/test/Analysis/method-call.cpp @@ -0,0 +1,18 @@ +// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store region -verify %s +struct A { + int x; + A(int a) { x = a; } + int getx() { return x; } +}; + +void f1() { + A x(3); + if (x.getx() == 3) { + int *p = 0; + *p = 3; // expected-warning{{Dereference of null pointer}} + } else { + int *p = 0; + *p = 3; // no-warning + } +} + diff --git a/test/Analysis/new.cpp b/test/Analysis/new.cpp new file mode 100644 index 0000000000..95bd966cb0 --- /dev/null +++ b/test/Analysis/new.cpp @@ -0,0 +1,12 @@ +// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store region -verify %s + +void f1() { + int *n1 = new int; + if (*n1) { // expected-warning {{Branch condition evaluates to a garbage value}} + } + + int *n2 = new int(3); + if (*n2) { // no-warning + } +} + |