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

[Gábor Horváth via cfe-commits]

xazax.hun added a comment.

I am not sure that the checker is the appropriate way to fix the remaining issue with this checker. I think generating simpler constraints without loosing any generality is non trivial.


https://reviews.llvm.org/D23112