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

[Dominic Chen via Phabricator via cfe-commits]

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.


https://reviews.llvm.org/D28955