From 3f406ba4bf6090d26bf59e20c9536e81bc9e01b6 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Wed, 11 Jan 2012 01:06:27 +0000 Subject: Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up inlining for straight C calls. My hope is to reimplement this from first principles based on the simplifications of removing unneeded node builders and re-evaluating how C++ calls are handled in the CFG. The hope is to turn inlining "on-by-default" as soon as possible with a core set of things working well, and then expand over time. llvm-svn: 147904 --- clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp') diff --git a/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp b/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp index 691a82ed3c2..160925b08ff 100644 --- a/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp @@ -91,7 +91,8 @@ void ExplodedGraph::reclaimRecentlyAllocatedNodes() { // Condition 3. ProgramPoint progPoint = node->getLocation(); - if (!isa(progPoint)) + if (!isa(progPoint) || + (isa(progPoint) || isa(progPoint))) continue; // Condition 4. PostStmt ps = cast(progPoint); -- cgit v1.2.3