[PATCH] D28955: [analyzer] Enable support for symbolic extension/truncation
Dominic Chen via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Sep 1 15:56:20 PDT 2017
ddcc added a comment.
@dcoughlin No, all three patches are separate. I have been testing them with each applied incrementally onto the previous, with the order trunk, https://reviews.llvm.org/D35450, https://reviews.llvm.org/D28954, then https://reviews.llvm.org/D28955 (this). But since these are a lot of dependencies, I've refactored this patch to apply directly on top of https://reviews.llvm.org/D35450, though the floating-point specific changes will need to be merged into https://reviews.llvm.org/D28954. Also, I think https://reviews.llvm.org/D28954 is waiting for review.
More information about the cfe-commits