Revert "[analyzer] Handle zeroing CXXConstructExprs."
Per review from Anna, this really should have been two commits, and besides
it's causing problems on our internal buildbot. Reverting until these have
been worked out.
This reverts r184511 / 98123284826bb4ce422775563ff1a01580ec5766.
llvm-svn: 184561
diff --git a/clang/test/Analysis/ctor.mm b/clang/test/Analysis/ctor-inlining.mm
similarity index 84%
rename from clang/test/Analysis/ctor.mm
rename to clang/test/Analysis/ctor-inlining.mm
index 37334fe..8cdb005 100644
--- a/clang/test/Analysis/ctor.mm
+++ b/clang/test/Analysis/ctor-inlining.mm
@@ -500,78 +500,3 @@
clang_analyzer_eval(c.values[2].x == 3); // expected-warning{{UNKNOWN}}
}
};
-
-namespace ZeroInitialization {
- struct raw_pair {
- int p1;
- int p2;
- };
-
- void testVarDecl() {
- raw_pair p{};
- clang_analyzer_eval(p.p1 == 0); // expected-warning{{TRUE}}
- clang_analyzer_eval(p.p2 == 0); // expected-warning{{TRUE}}
- }
-
- void testTemporary() {
- clang_analyzer_eval(raw_pair().p1 == 0); // expected-warning{{TRUE}}
- clang_analyzer_eval(raw_pair().p2 == 0); // expected-warning{{TRUE}}
- }
-
- void testArray() {
- raw_pair p[2] = {};
- clang_analyzer_eval(p[0].p1 == 0); // expected-warning{{TRUE}}
- clang_analyzer_eval(p[0].p2 == 0); // expected-warning{{TRUE}}
- clang_analyzer_eval(p[1].p1 == 0); // expected-warning{{TRUE}}
- clang_analyzer_eval(p[1].p2 == 0); // expected-warning{{TRUE}}
- }
-
- void testNew() {
- // FIXME: Pending proper implementation of constructors for 'new'.
- raw_pair *pp = new raw_pair();
- clang_analyzer_eval(pp->p1 == 0); // expected-warning{{UNKNOWN}}
- clang_analyzer_eval(pp->p2 == 0); // expected-warning{{UNKNOWN}}
- }
-
- void testArrayNew() {
- // FIXME: Pending proper implementation of constructors for 'new[]'.
- raw_pair *p = new raw_pair[2]();
- clang_analyzer_eval(p[0].p1 == 0); // expected-warning{{UNKNOWN}}
- clang_analyzer_eval(p[0].p2 == 0); // expected-warning{{UNKNOWN}}
- clang_analyzer_eval(p[1].p1 == 0); // expected-warning{{UNKNOWN}}
- clang_analyzer_eval(p[1].p2 == 0); // expected-warning{{UNKNOWN}}
- }
-
- struct initializing_pair {
- public:
- int x;
- raw_pair y;
- initializing_pair() : x(), y() {}
- };
-
- void testFieldInitializers() {
- initializing_pair p;
- clang_analyzer_eval(p.x == 0); // expected-warning{{TRUE}}
- clang_analyzer_eval(p.y.p1 == 0); // expected-warning{{TRUE}}
- clang_analyzer_eval(p.y.p2 == 0); // expected-warning{{TRUE}}
- }
-
- struct subclass : public raw_pair {
- subclass() = default;
- };
-
- void testSubclass() {
- subclass p;
- clang_analyzer_eval(p.p1 == 0); // expected-warning{{garbage}}
- }
-
- struct initializing_subclass : public raw_pair {
- initializing_subclass() : raw_pair() {}
- };
-
- void testInitializingSubclass() {
- initializing_subclass p;
- clang_analyzer_eval(p.p1 == 0); // expected-warning{{TRUE}}
- clang_analyzer_eval(p.p2 == 0); // expected-warning{{TRUE}}
- }
-}
diff --git a/clang/test/Analysis/inlining/path-notes.cpp b/clang/test/Analysis/inlining/path-notes.cpp
index 29637f2..810c150 100644
--- a/clang/test/Analysis/inlining/path-notes.cpp
+++ b/clang/test/Analysis/inlining/path-notes.cpp
@@ -300,6 +300,40 @@
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>line</key><integer>31</integer>
+// CHECK-NEXT: <key>col</key><integer>7</integer>
+// CHECK-NEXT: <key>file</key><integer>0</integer>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>line</key><integer>31</integer>
+// CHECK-NEXT: <key>col</key><integer>7</integer>
+// CHECK-NEXT: <key>file</key><integer>0</integer>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: </array>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: </array>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>kind</key><string>control</string>
+// CHECK-NEXT: <key>edges</key>
+// CHECK-NEXT: <array>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>start</key>
+// CHECK-NEXT: <array>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>line</key><integer>31</integer>
+// CHECK-NEXT: <key>col</key><integer>7</integer>
+// CHECK-NEXT: <key>file</key><integer>0</integer>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>line</key><integer>31</integer>
+// CHECK-NEXT: <key>col</key><integer>7</integer>
+// CHECK-NEXT: <key>file</key><integer>0</integer>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: </array>
+// CHECK-NEXT: <key>end</key>
+// CHECK-NEXT: <array>
+// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>32</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>
@@ -853,6 +887,40 @@
// CHECK-NEXT: <key>end</key>
// CHECK-NEXT: <array>
// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>line</key><integer>44</integer>
+// CHECK-NEXT: <key>col</key><integer>5</integer>
+// CHECK-NEXT: <key>file</key><integer>0</integer>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>line</key><integer>44</integer>
+// CHECK-NEXT: <key>col</key><integer>13</integer>
+// CHECK-NEXT: <key>file</key><integer>0</integer>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: </array>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: </array>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>kind</key><string>control</string>
+// CHECK-NEXT: <key>edges</key>
+// CHECK-NEXT: <array>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>start</key>
+// CHECK-NEXT: <array>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>line</key><integer>44</integer>
+// CHECK-NEXT: <key>col</key><integer>5</integer>
+// CHECK-NEXT: <key>file</key><integer>0</integer>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: <dict>
+// CHECK-NEXT: <key>line</key><integer>44</integer>
+// CHECK-NEXT: <key>col</key><integer>13</integer>
+// CHECK-NEXT: <key>file</key><integer>0</integer>
+// CHECK-NEXT: </dict>
+// CHECK-NEXT: </array>
+// CHECK-NEXT: <key>end</key>
+// CHECK-NEXT: <array>
+// CHECK-NEXT: <dict>
// CHECK-NEXT: <key>line</key><integer>46</integer>
// CHECK-NEXT: <key>col</key><integer>3</integer>
// CHECK-NEXT: <key>file</key><integer>0</integer>