aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-12-09 04:22:30 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-12-09 04:22:30 +0000
commitbcb02fc690a2f9a6991b440181f70a0875e5c965 (patch)
tree121b87fb0d6ff2a549816f9622ba1ebd82e38976
parent029a14ae819fab05b1ce0b3612cb6e34f1110754 (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.m3
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);