[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 Jan 12 16:56:15 PST 2017
zaks.anna added a comment.
I think it's more valuable to report a warning here even if the error message is not very precise. Marking something as in bounds when we know it's not does not feel right and could lead to inconsistent states down the road.
More information about the cfe-commits