-//===-- GRExprEngine.cpp - Simple, Path-Sens. Constant Prop. ------*- C++ -*-==//
+//===-- GRExprEngine.cpp - Simple, Path-Sens. Constant Prop. -----*- C++ -*-==//
//
// The LLVM Compiler Infrastructure
//
/// Expr* in the CFG. Used to prune out dead state.
LiveVariables Liveness;
- /// Builder - The current GRStmtNodeBuilder which is used when building the nodes
- /// for a given statement.
+ /// Builder - The current GRStmtNodeBuilder which is used when building the
+ /// nodes for a given statement.
StmtNodeBuilder* Builder;
/// StateMgr - Object that manages the data for all created states.
Nodify(Dst, S, Pred, *I);
}
-void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* D, NodeTy* Pred, NodeSet& Dst) {
+void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* D, NodeTy* Pred, NodeSet& Dst){
if (D != CurrentStmt) {
Dst.Add(Pred); // No-op. Simply propagate the current state unchanged.
return;
}
- static void PrintSubExprBindings(std::ostream& Out, GRExprEngine::StateTy St) {
+ static void PrintSubExprBindings(std::ostream& Out, GRExprEngine::StateTy St){
bool isFirst = true;
}
}
- static void PrintBlkExprBindings(std::ostream& Out, GRExprEngine::StateTy St) {
+ static void PrintBlkExprBindings(std::ostream& Out, GRExprEngine::StateTy St){
bool isFirst = true;