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 | af5b0754b132766aa3cd76f1d114ee9f4b5588bb (patch) | |
| tree | 3f0bebb6eb340ab47e62eadc6dab710f5e240c3f | |
| parent | 3ea9066bb4042ee7e7610ebf544e96a03ac7f95b (diff) | |
| download | bcm5719-llvm-af5b0754b132766aa3cd76f1d114ee9f4b5588bb.tar.gz bcm5719-llvm-af5b0754b132766aa3cd76f1d114ee9f4b5588bb.zip | |
Add comments.
llvm-svn: 97020
| -rw-r--r-- | clang/include/clang/Checker/PathSensitive/Checker.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/include/clang/Checker/PathSensitive/Checker.h b/clang/include/clang/Checker/PathSensitive/Checker.h index d498044b82c..519c00ec59d 100644 --- a/clang/include/clang/Checker/PathSensitive/Checker.h +++ b/clang/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 |
