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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

I'd also rather stick to integer arithmetic and avoid using floats even in intermediate calculations. It'd be hard to make sure that no rounding errors kick in if we use floats.


https://reviews.llvm.org/D49074