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

[Anna Zaks via Phabricator via cfe-commits]

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.


Repository:
  rL LLVM

https://reviews.llvm.org/D28278