[PATCH] D23112: [analyzer] Correctly add assumptions based on array bounds.

[Artem Dergachev via cfe-commits]

NoQ added a comment.

Whoops, forgot to answer:

In https://reviews.llvm.org/D23112#508333, @xazax.hun wrote:

> I am not sure that the checker is the appropriate way to fix the remaining issue with this checker.


Yeah, there are anyway more problems that require this functionality in the `RangeConstraintManager` (the code throws complicated equations into it anyway, and there are false positives reported), so i think we should try to fix it there anyway, some day.


https://reviews.llvm.org/D23112