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

Devin Coughlin via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Aug 31 15:27:17 PDT 2017


dcoughlin added a comment.

@ddcc : When I run this I get a bunch of assertion failures. Does this depend on https://reviews.llvm.org/D28953? (Which was reverted) Is it subsumed by https://reviews.llvm.org/D35450?

Is this blocking on a review of another patch on our end?


https://reviews.llvm.org/D28955





More information about the cfe-commits mailing list