xazax.hun added a comment. I added a (proof of concept?) implementation to simplify the constraints in the checker. I wonder what do you think.
https://reviews.llvm.org/D23112 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
