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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits