[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