[analyzer] Use CallEvent for building inlined stack frames.
In order to accomplish this, we now build the callee's stack frame
as part of the CallEnter node, rather than the subsequent BlockEdge node.
This should not have any effect on perceived behavior or diagnostics.
This makes it safe to re-enable inlining of member overloaded operators.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@160022 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Analysis/operator-calls.cpp b/test/Analysis/operator-calls.cpp
index e81f428..dbc63bc 100644
--- a/test/Analysis/operator-calls.cpp
+++ b/test/Analysis/operator-calls.cpp
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core,debug.ExprInspection -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core,debug.ExprInspection -analyzer-ipa=inlining -verify %s
void clang_analyzer_eval(bool);
struct X0 { };
@@ -28,6 +28,5 @@
};
void testMemberOperator(IntComparable B) {
- // FIXME: Change this to TRUE when we re-enable inlining.
- clang_analyzer_eval(B == 0); // expected-warning{{UNKNOWN}}
+ clang_analyzer_eval(B == 0); // expected-warning{{TRUE}}
}