Move definition of GRExprEngine::ProcessEndPath() out-of-line.
llvm-svn: 88729
This commit is contained in:
parent
24b027401e
commit
1a0dd2e30b
|
@ -274,10 +274,7 @@ public:
|
|||
|
||||
/// ProcessEndPath - Called by GRCoreEngine. Used to generate end-of-path
|
||||
/// nodes when the control reaches the end of a function.
|
||||
void ProcessEndPath(GREndPathNodeBuilder& builder) {
|
||||
getTF().EvalEndPath(*this, builder);
|
||||
StateMgr.EndPath(builder.getState());
|
||||
}
|
||||
void ProcessEndPath(GREndPathNodeBuilder& builder);
|
||||
|
||||
GRStateManager& getStateManager() { return StateMgr; }
|
||||
const GRStateManager& getStateManager() const { return StateMgr; }
|
||||
|
|
|
@ -896,6 +896,13 @@ void GRExprEngine::VisitGuardedExpr(Expr* Ex, Expr* L, Expr* R,
|
|||
MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, X, true));
|
||||
}
|
||||
|
||||
/// ProcessEndPath - Called by GRCoreEngine. Used to generate end-of-path
|
||||
/// nodes when the control reaches the end of a function.
|
||||
void GRExprEngine::ProcessEndPath(GREndPathNodeBuilder& builder) {
|
||||
getTF().EvalEndPath(*this, builder);
|
||||
StateMgr.EndPath(builder.getState());
|
||||
}
|
||||
|
||||
/// ProcessSwitch - Called by GRCoreEngine. Used to generate successor
|
||||
/// nodes by processing the 'effects' of a switch statement.
|
||||
void GRExprEngine::ProcessSwitch(GRSwitchNodeBuilder& builder) {
|
||||
|
|
Loading…
Reference in New Issue