Update random notes.

llvm-svn: 58321
This commit is contained in:
Zhongxing Xu 2008-10-28 09:09:48 +00:00
parent 5fa1040130
commit c94dce9f95
1 changed files with 7 additions and 1 deletions

View File

@ -11,4 +11,10 @@ execv(p[0], argv);
This is because BasicStore "collapses" all elements of an array into their base This is because BasicStore "collapses" all elements of an array into their base
region. BasicStore should return UnknownVal() when getLValueElement. But that region. BasicStore should return UnknownVal() when getLValueElement. But that
way will break current test in null-deref-ps.c. way will break current test in null-deref-ps.c.
//===----------------------------------------------------------------------===//
Investigate what classes of exprs are passed silently in GRExprEngine::Visit().
One is PredefinedExpr.