[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 15 05:32:18 PDT 2016

Previous message: [PATCH] D23112: [analyzer] Correctly add assumptions based on array bounds.
Next message: [PATCH] D23112: [analyzer] Correctly add assumptions based on array bounds.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

xazax.hun added a comment.

I added a (proof of concept?) implementation to simplify the constraints in the checker. I wonder what do you think.


https://reviews.llvm.org/D23112

Previous message: [PATCH] D23112: [analyzer] Correctly add assumptions based on array bounds.
Next message: [PATCH] D23112: [analyzer] Correctly add assumptions based on array bounds.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list