From c94dce9f9511addf59b66bfe0868df4036be296c Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Tue, 28 Oct 2008 09:09:48 +0000 Subject: [PATCH] Update random notes. llvm-svn: 58321 --- clang/lib/Analysis/NOTES.TXT | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/clang/lib/Analysis/NOTES.TXT b/clang/lib/Analysis/NOTES.TXT index 2c92bf033ec9..00e44bdd85a3 100644 --- a/clang/lib/Analysis/NOTES.TXT +++ b/clang/lib/Analysis/NOTES.TXT @@ -11,4 +11,10 @@ execv(p[0], argv); This is because BasicStore "collapses" all elements of an array into their base region. BasicStore should return UnknownVal() when getLValueElement. But that -way will break current test in null-deref-ps.c. \ No newline at end of file +way will break current test in null-deref-ps.c. + +//===----------------------------------------------------------------------===// + +Investigate what classes of exprs are passed silently in GRExprEngine::Visit(). + +One is PredefinedExpr. \ No newline at end of file