[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