[PATCH] D28955: [analyzer] Enable support for symbolic extension/truncation

Dominic Chen via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Jan 21 12:11:13 PST 2017

ddcc added a comment.

When I was testing this patch, it was on top of both https://reviews.llvm.org/D28952 and https://reviews.llvm.org/D28953. For `malloc.c`, the change on line 1708 from `int` to `size_t` is necessary to prevent a false positive warning at line 1710. The other three changes don't affect the testcase output, but I probably made the changes at the same time. Do you want those other three pulled out separately?


More information about the cfe-commits mailing list