[PATCH] D28278: [StaticAnalyzer] dont show wrong 'garbage value' warning when there is array index out of bounds

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 23 13:44:24 PST 2017


zaks.anna added inline comments.


================
Comment at: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp:76
     if (Ex) {
+      bool ArrayIndexOutOfBounds = false;
+      if (isa<ArraySubscriptExpr>(Ex)) {
----------------
Please, pull this out into a sub-rutine. Thanks!


https://reviews.llvm.org/D28278





More information about the cfe-commits mailing list