From b62139466c72f0685ed125c983c8993645e28550 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Tue, 28 Oct 2008 09:09:48 +0000 Subject: [PATCH] Update random notes. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58321 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/NOTES.TXT | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/lib/Analysis/NOTES.TXT b/lib/Analysis/NOTES.TXT index 2c92bf033e..00e44bdd85 100644 --- a/lib/Analysis/NOTES.TXT +++ b/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 -- 2.40.0