[PATCH] D32291: [analyzer] Implement handling array subscript into null pointer, improve null dereference checks for array subscripts
Anna Zaks via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Apr 28 18:45:36 PDT 2017
zaks.anna added inline comments.
================
Comment at: cfe/trunk/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:80
}
- else if (isDeclRefExprToReference(E)) {
+ else if (isa<DeclRefExpr>(E)) {
return E;
----------------
Not sure what this does, but looks like we are stricter here now.
Also, since you are changing bug reporter visitor, shouldn't there be tests for diagnostic paths?
Repository:
rL LLVM
https://reviews.llvm.org/D32291
More information about the cfe-commits
mailing list