From 40ab43b29bff9a240e5281e5952f59ddee623fca Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Tue, 20 Apr 2010 05:48:57 +0000 Subject: [PATCH] Add test cases. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@101878 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/method-call.cpp | 18 ++++++++++++++++++ test/Analysis/new.cpp | 12 ++++++++++++ 2 files changed, 30 insertions(+) create mode 100644 test/Analysis/method-call.cpp create mode 100644 test/Analysis/new.cpp 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 + } +} + -- 2.40.0