diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-12-09 04:22:30 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-12-09 04:22:30 +0000 |
commit | bcb02fc690a2f9a6991b440181f70a0875e5c965 (patch) | |
tree | 121b87fb0d6ff2a549816f9622ba1ebd82e38976 | |
parent | 029a14ae819fab05b1ce0b3612cb6e34f1110754 (diff) |
Add notes to a test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90947 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | test/Analysis/misc-ps-eager-assume.m | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/Analysis/misc-ps-eager-assume.m b/test/Analysis/misc-ps-eager-assume.m index 0eb1bacee0..94e50198fa 100644 --- a/test/Analysis/misc-ps-eager-assume.m +++ b/test/Analysis/misc-ps-eager-assume.m @@ -130,6 +130,9 @@ void rdar7342806() { // to 'p' to not be evaluated along one path, but then an autotransition caused // the path to keep on propagating with 'p' still set to an undefined value. // We would then get a bogus report of returning uninitialized memory. +// Note: CheckerVisit mistakenly cleared an existing node, and the cleared +// node was resurrected by GRStmtNodeBuilder::~GRStmtNodeBuilder(), where +// 'p' was not assigned. //===---------------------------------------------------------------------===// float *pr5627_f(int y); |