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

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 10 03:12:08 PDT 2016

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.


More information about the cfe-commits mailing list