[PATCH] D47617: [Analyzer] Fix Z3ConstraintManager crash (PR37646)

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 1 10:50:13 PDT 2018


NoQ added a comment.

We might as well make a directory for z3-specific tests. Eg., `z3/bool-bit-width.c`.

Also does this test need to be z3-specific? We would also not like to crash here without z3.


Repository:
  rC Clang

https://reviews.llvm.org/D47617





More information about the cfe-commits mailing list