From b76fdf69df5f35c3af9ebe3afc72b0d3c9bf76e7 Mon Sep 17 00:00:00 2001
From: Argyrios Kyrtzidis <akyrtzi@gmail.com>
Date: Sat, 19 Feb 2011 01:08:37 +0000
Subject: [PATCH] [analyzer] Disable a test until inlining CXXConstructExprs is
fully investigated.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126006 91177308-0d34-0410-b5e6-96231b3b80d8
---
test/Analysis/method-call.cpp | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/test/Analysis/method-call.cpp b/test/Analysis/method-call.cpp
index 8c6b9da0f40..b5b81e3402a 100644
--- a/test/Analysis/method-call.cpp
+++ b/test/Analysis/method-call.cpp
@@ -1,4 +1,5 @@
// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-inline-call -analyzer-store region -verify %s
+// XFAIL: *
struct A {
int x;
@@ -28,3 +29,13 @@ void f2() {
}
}
+void f3() {
+ const A &x = (A)3;
+ if (x.getx() == 3) {
+ int *p = 0;
+ *p = 3; // expected-warning{{Dereference of null pointer}}
+ } else {
+ int *p = 0;
+ *p = 3; // no-warning
+ }
+}
--
GitLab