[PATCH] D47726: [Analyzer][Z3] Test fixes for Z3 constraint manager

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added a comment.

> I agree, though a number of these are limitations in CSA, and not specifically the backend.

Yeah, so for instance we always assume that for a given state we know whether it's feasible or not,
and IMO for efficient SMT solver support we would need to operate over "lazy" states which may or may not be feasible.


Repository:
  rC Clang

https://reviews.llvm.org/D47726