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

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 8 02:24:52 PDT 2016

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.


More information about the cfe-commits mailing list