[analyzer] Move failing 'new' test cases back into new.cpp instead of XFAILing.
Per Anna's comment, this is a better way to handle "to-do list"-type failures.
This way we'll know if any of the features get fixed; in an XFAIL file, /all/
the cases have to be fixed before lit would tell us anything.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@158791 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Analysis/new-fail.cpp b/test/Analysis/new-fail.cpp
deleted file mode 100644
index 8b1903f..0000000
--- a/test/Analysis/new-fail.cpp
+++ /dev/null
@@ -1,21 +0,0 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc -analyzer-store region -verify %s
-// XFAIL: *
-
-void f1() {
- int *n = new int;
- if (*n) { // expected-warning {{Branch condition evaluates to a garbage value}}
- }
-}
-
-void f2() {
- int *n = new int(3);
- if (*n) { // no-warning
- }
-}
-
-void *operator new(size_t, void *, void *);
-void *testCustomNew() {
- int *x = (int *)malloc(sizeof(int));
- void *y = new (0, x) int;
- return y; // no-warning (placement new could have freed x)
-}
diff --git a/test/Analysis/new.cpp b/test/Analysis/new.cpp
index 3cf5b0f..8093eff 100644
--- a/test/Analysis/new.cpp
+++ b/test/Analysis/new.cpp
@@ -34,3 +34,34 @@
return y; // no-warning
}
+
+//--------------------------------
+// Incorrectly-modelled behavior
+//--------------------------------
+
+void testZeroInitialization() {
+ int *n = new int;
+
+ // Should warn that *n is uninitialized.
+ if (*n) { // no-warning
+ }
+}
+
+void testValueInitialization() {
+ int *n = new int(3);
+
+ // Should be TRUE (and have no uninitialized variable warning)
+ clang_analyzer_eval(*n == 3); // expected-warning{{UNKNOWN}}
+}
+
+
+void *operator new(size_t, void *, void *);
+void *testCustomNewMalloc() {
+ int *x = (int *)malloc(sizeof(int));
+
+ // Should be no-warning (the custom allocator could have freed x).
+ void *y = new (0, x) int; // expected-warning{{leak of memory pointed to by 'x'}}
+
+ return y;
+}
+