[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