[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