[PATCH] D23014: [analyzer] Model base to derived casts more precisely.

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

Previous message: [PATCH] D23112: [analyzer] Correctly add assumptions based on array bounds.
Next message: [PATCH] D23014: [analyzer] Model base to derived casts more precisely.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

xazax.hun added a comment.

What do you think about escaping pointers that gone through conservatively evaluated casts?


https://reviews.llvm.org/D23014

Previous message: [PATCH] D23112: [analyzer] Correctly add assumptions based on array bounds.
Next message: [PATCH] D23014: [analyzer] Model base to derived casts more precisely.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list