diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-24 04:54:56 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-24 04:54:56 +0000 |
| commit | 152e785ce6cbbc068a5240daf7f3daacc7000bf4 (patch) | |
| tree | c57851cbcee67428cfc60322161d39b314b97190 | |
| parent | 78c97fb0bb295f1235469d47e1384a56252090ee (diff) | |
Add comments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@97020 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/clang/Checker/PathSensitive/Checker.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/clang/Checker/PathSensitive/Checker.h b/include/clang/Checker/PathSensitive/Checker.h index d498044b82..519c00ec59 100644 --- a/include/clang/Checker/PathSensitive/Checker.h +++ b/include/clang/Checker/PathSensitive/Checker.h @@ -147,6 +147,8 @@ public: void addTransition(const GRState *state) { assert(state); + // If the 'state' is not new, we need to check if the cached state 'ST' + // is new. if (state != getState() || (ST && ST != B.GetState(Pred))) GenerateNode(state, true); else |