[PATCH] D35109: [Analyzer] SValBuilder Comparison Rearrangement

[Devin Coughlin via Phabricator via cfe-commits]

dcoughlin requested changes to this revision.
dcoughlin added a comment.
This revision now requires changes to proceed.

Artem, Anna, and I discussed this a bit in person. We think that even though the benefits look great, it can't be generally applied. Maybe we could apply it in cases where other constraints guarantee that overflow cannot occur?


https://reviews.llvm.org/D35109