[PATCH] D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager

Balogh, Ádám via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 29 23:11:54 PDT 2018

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.


More information about the cfe-commits mailing list