diff options
Diffstat (limited to 'include')
-rw-r--r-- | include/clang/Analysis/PathSensitive/GREngine.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/clang/Analysis/PathSensitive/GREngine.h b/include/clang/Analysis/PathSensitive/GREngine.h index cb3366e3c0..157d283d5a 100644 --- a/include/clang/Analysis/PathSensitive/GREngine.h +++ b/include/clang/Analysis/PathSensitive/GREngine.h @@ -62,14 +62,14 @@ protected: void HandlePostStmt(const PostStmt& S, CFGBlock* B, unsigned StmtIdx, ExplodedNodeImpl *Pred); - void HandleBranch(Stmt* Cond, Stmt* Term, CFGBlock* B, + void HandleBranch(Expr* Cond, Stmt* Term, CFGBlock* B, ExplodedNodeImpl* Pred); virtual void* ProcessEOP(CFGBlock* Blk, void* State) = 0; virtual void ProcessStmt(Stmt* S, GRStmtNodeBuilderImpl& Builder) = 0; - virtual void ProcessBranch(Stmt* Condition, Stmt* Terminator, + virtual void ProcessBranch(Expr* Condition, Stmt* Terminator, GRBranchNodeBuilderImpl& Builder) = 0; @@ -255,7 +255,7 @@ protected: } - virtual void ProcessBranch(Stmt* Condition, Stmt* Terminator, + virtual void ProcessBranch(Expr* Condition, Stmt* Terminator, GRBranchNodeBuilderImpl& BuilderImpl) { GRBranchNodeBuilder<CHECKER> Builder(BuilderImpl); Checker->ProcessBranch(Condition, Terminator, Builder); |