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

Artem Dergachev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jan 21 07:07:43 PST 2020


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





More information about the llvm-commits mailing list