[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 mailing list