zaks.anna added inline comments.
Comment at: cfe/trunk/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:80
}
-else if (isDeclRefExprToReference(E)) {
+else if (isa(E)) {
return E;
Not sure what this does, but looks like we are stricter here
This revision was automatically updated to reflect the committed changes.
Closed by commit rL301251: [analyzer] Improve subscripting null arrays for
catching null dereferences. (authored by dergachev).
Changed prior to commit:
https://reviews.llvm.org/D32291?vs=95943=96468#toc
Repository:
xazax.hun accepted this revision.
xazax.hun added a comment.
This revision is now accepted and ready to land.
LGTM!
https://reviews.llvm.org/D32291
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
NoQ created this revision.
When encountering an array-to-pointer-decay and the array base is null (or any
other concrete pointer value) (eg. it's a member array in a structure, and the
structure pointer is null; of course it wouldn't happen to stack-based or
global arrays), do not yield
