[cfe-commits] r119491 - in /cfe/trunk: include/clang/Checker/PathSensitive/GRExprEngine.h lib/Checker/GRExprEngine.cpp
Zhongxing Xu
xuzhongxing at gmail.com
Wed Nov 17 01:16:19 PST 2010
Author: zhongxingxu
Date: Wed Nov 17 03:16:19 2010
New Revision: 119491
URL: http://llvm.org/viewvc/llvm-project?rev=119491&view=rev
Log:
Add skeleton for handling various cfg dtors.
Modified:
cfe/trunk/include/clang/Checker/PathSensitive/GRExprEngine.h
cfe/trunk/lib/Checker/GRExprEngine.cpp
Modified: cfe/trunk/include/clang/Checker/PathSensitive/GRExprEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Checker/PathSensitive/GRExprEngine.h?rev=119491&r1=119490&r2=119491&view=diff
==============================================================================
--- cfe/trunk/include/clang/Checker/PathSensitive/GRExprEngine.h (original)
+++ cfe/trunk/include/clang/Checker/PathSensitive/GRExprEngine.h Wed Nov 17 03:16:19 2010
@@ -185,6 +185,13 @@
void ProcessImplicitDtor(const CFGImplicitDtor D, GRStmtNodeBuilder &builder);
+ void ProcessAutomaticObjDtor(const CFGAutomaticObjDtor D,
+ GRStmtNodeBuilder &builder);
+ void ProcessBaseDtor(const CFGBaseDtor D, GRStmtNodeBuilder &builder);
+ void ProcessMemberDtor(const CFGMemberDtor D, GRStmtNodeBuilder &builder);
+ void ProcessTemporaryDtor(const CFGTemporaryDtor D,
+ GRStmtNodeBuilder &builder);
+
/// ProcessBlockEntrance - Called by GRCoreEngine when start processing
/// a CFGBlock. This method returns true if the analysis should continue
/// exploring the given path, and false otherwise.
Modified: cfe/trunk/lib/Checker/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/GRExprEngine.cpp?rev=119491&r1=119490&r2=119491&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Checker/GRExprEngine.cpp Wed Nov 17 03:16:19 2010
@@ -718,6 +718,38 @@
void GRExprEngine::ProcessImplicitDtor(const CFGImplicitDtor D,
GRStmtNodeBuilder &builder) {
+ switch (D.getDtorKind()) {
+ case CFGElement::AutomaticObjectDtor:
+ ProcessAutomaticObjDtor(cast<CFGAutomaticObjDtor>(D), builder);
+ break;
+ case CFGElement::BaseDtor:
+ ProcessBaseDtor(cast<CFGBaseDtor>(D), builder);
+ break;
+ case CFGElement::MemberDtor:
+ ProcessMemberDtor(cast<CFGMemberDtor>(D), builder);
+ break;
+ case CFGElement::TemporaryDtor:
+ ProcessTemporaryDtor(cast<CFGTemporaryDtor>(D), builder);
+ break;
+ default:
+ llvm_unreachable("Unexpected dtor kind.");
+ }
+}
+
+void GRExprEngine::ProcessAutomaticObjDtor(const CFGAutomaticObjDtor D,
+ GRStmtNodeBuilder &builder) {
+}
+
+void GRExprEngine::ProcessBaseDtor(const CFGBaseDtor D,
+ GRStmtNodeBuilder &builder) {
+}
+
+void GRExprEngine::ProcessMemberDtor(const CFGMemberDtor D,
+ GRStmtNodeBuilder &builder) {
+}
+
+void GRExprEngine::ProcessTemporaryDtor(const CFGTemporaryDtor D,
+ GRStmtNodeBuilder &builder) {
}
void GRExprEngine::Visit(const Stmt* S, ExplodedNode* Pred,
More information about the cfe-commits
mailing list