ddcc added a comment. Yeah, I had to implement implicit type promotion and conversion, because Z3 checks expression types pretty strictly.
https://reviews.llvm.org/D27365 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
