baloghadamsoftware added a comment. Strange, but modifying the tests from `m <relation> n` to `m - n <relation> 0` does not help. The statement `if (m - n <relation> 0)` does not store a range for `m - n` in the constraint manager. With the other patch which automatically changes `m <relation> n` to `m - n <relation> 0` the range is stored automatically.
https://reviews.llvm.org/D35110 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
