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

[Artem Dergachev via Phabricator via llvm-commits]

NoQ added a comment.

Thanks for picking this up!~

Hmm, why did the change in `MallocChecker` tests disappear?

> clang is trying to match some strings printed by the ranged constraint manager

Are these state dump tests / `exploded-graph-rewriter` tests? We'll need to ignore/silence them in Z3 mode.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D28955/new/

https://reviews.llvm.org/D28955