[cfe-commits] r90947 - /cfe/trunk/test/Analysis/misc-ps-eager-assume.m

[Zhongxing Xu]

Author: zhongxingxu
Date: Tue Dec  8 22:22:30 2009
New Revision: 90947

URL: http://llvm.org/viewvc/llvm-project?rev=90947&view=rev
Log:
Add notes to a test case.

Modified:
    cfe/trunk/test/Analysis/misc-ps-eager-assume.m

Modified: cfe/trunk/test/Analysis/misc-ps-eager-assume.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps-eager-assume.m?rev=90947&r1=90946&r2=90947&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/misc-ps-eager-assume.m (original)
+++ cfe/trunk/test/Analysis/misc-ps-eager-assume.m Tue Dec  8 22:22:30 2009
@@ -130,6 +130,9 @@
 //  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);