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
This commit is contained in:
Ted Kremenek
2012-01-11 01:06:27 +00:00
parent f4fb2c5ac8
commit 3f406ba4bf
5 changed files with 89 additions and 116 deletions

View File

@@ -91,7 +91,8 @@ void ExplodedGraph::reclaimRecentlyAllocatedNodes() {
// Condition 3.
ProgramPoint progPoint = node->getLocation();
if (!isa<PostStmt>(progPoint))
if (!isa<PostStmt>(progPoint) ||
(isa<CallEnter>(progPoint) || isa<CallExit>(progPoint)))
continue;
// Condition 4.
PostStmt ps = cast<PostStmt>(progPoint);