diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-01 07:58:50 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-01 07:58:50 +0000 |
| commit | 920070cfe7c3c03f77acc41f45fbf6337ff08abd (patch) | |
| tree | 64fe74c61113887e16e2d145ac52174f5abd594c /clang/include | |
| parent | bfb50a0d43cebf384daca7b3ecd90a22f1b47d06 (diff) | |
| download | bcm5719-llvm-920070cfe7c3c03f77acc41f45fbf6337ff08abd.tar.gz bcm5719-llvm-920070cfe7c3c03f77acc41f45fbf6337ff08abd.zip | |
Initial support for visiting CXXMemberCallExpr.
llvm-svn: 100098
Diffstat (limited to 'clang/include')
| -rw-r--r-- | clang/include/clang/Checker/PathSensitive/GRExprEngine.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/clang/include/clang/Checker/PathSensitive/GRExprEngine.h b/clang/include/clang/Checker/PathSensitive/GRExprEngine.h index 97f6d70f575..161cb28df03 100644 --- a/clang/include/clang/Checker/PathSensitive/GRExprEngine.h +++ b/clang/include/clang/Checker/PathSensitive/GRExprEngine.h @@ -348,6 +348,10 @@ public: void VisitCXXConstructExpr(const CXXConstructExpr *E, SVal Dest, ExplodedNode *Pred, ExplodedNodeSet &Dst); + + void VisitCXXMemberCallExpr(const CXXMemberCallExpr *MCE, ExplodedNode *Pred, + ExplodedNodeSet &Dst); + void VisitAggExpr(const Expr *E, SVal Dest, ExplodedNode *Pred, ExplodedNodeSet &Dst); @@ -356,7 +360,7 @@ public: ExplodedNodeSet &Dst); /// Synthesize CXXThisRegion. - const CXXThisRegion *getCXXThisRegion(const CXXConstructExpr *E, + const CXXThisRegion *getCXXThisRegion(const CXXMethodDecl *MD, const StackFrameContext *SFC); /// EvalEagerlyAssume - Given the nodes in 'Src', eagerly assume symbolic |

