baloghadamsoftware added a comment. Disabled? No, that was a different thing. I have some ideas there as well, how to solve it, but it was the rearrangement in the `SValBuilder`. This one is one level lower, the `ConstraintManager` which only calculate the range for a symbol where we have and assumption for it. Here operations such as `Symbol + Integer1 <= Integer2` have been supported for many years (`+` can be `-` as well, similarily we can replace `<=` with any other comparison operator). This patch adds support for `*` and `/` so it extends support for expressions like `Symbol * Integer0 + Integer1 <= Integer2`. It has marginal impact on the performance, a constant and surely not exponential.
https://reviews.llvm.org/D49074 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits