Add checker visitation hooks in ExprEngine::Visit() for common no-op expressions. To be used later.
llvm-svn: 150723
This commit is contained in:
parent
35e55fe49f
commit
2eef6b9e4b
|
@ -590,9 +590,14 @@ void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,
|
|||
case Stmt::CXXBoolLiteralExprClass:
|
||||
case Stmt::FloatingLiteralClass:
|
||||
case Stmt::SizeOfPackExprClass:
|
||||
case Stmt::CXXNullPtrLiteralExprClass:
|
||||
// No-op. Simply propagate the current state unchanged.
|
||||
case Stmt::CXXNullPtrLiteralExprClass: {
|
||||
Bldr.takeNodes(Pred);
|
||||
ExplodedNodeSet preVisit;
|
||||
getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this);
|
||||
getCheckerManager().runCheckersForPostStmt(Dst, preVisit, S, *this);
|
||||
Bldr.addNodes(Dst);
|
||||
break;
|
||||
}
|
||||
|
||||
case Stmt::ArraySubscriptExprClass:
|
||||
Bldr.takeNodes(Pred);
|
||||
|
|
Loading…
Reference in New Issue