diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-11-20 08:17:16 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-11-20 08:17:16 +0000 |
| commit | ba09cbb1a9b64a0822d0edf2c8462ef5384a4a14 (patch) | |
| tree | b6d64307437c86b80f0c88b91cb298e8a8e269de /lib/Checker/GRCoreEngine.cpp | |
| parent | cf848879ff280e7114f78e058019c1e8b527b3c9 (diff) | |
Add comments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@119900 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/GRCoreEngine.cpp')
| -rw-r--r-- | lib/Checker/GRCoreEngine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Checker/GRCoreEngine.cpp b/lib/Checker/GRCoreEngine.cpp index c77a0228e4..a121cbbcd1 100644 --- a/lib/Checker/GRCoreEngine.cpp +++ b/lib/Checker/GRCoreEngine.cpp @@ -795,7 +795,8 @@ void GRCallExitNodeBuilder::GenerateNode(const GRState *state) { // Get the callee's location context. const StackFrameContext *LocCtx = cast<StackFrameContext>(Pred->getLocationContext()); - + // When exiting an implicit automatic obj dtor call, the callsite is the Stmt + // that triggers the dtor. PostStmt Loc(LocCtx->getCallSite(), LocCtx->getParent()); bool isNew; ExplodedNode *Node = Eng.G->getNode(Loc, state, &isNew); |