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

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.

All existing tests pass. I could not find the appropriate test file so I created a new one, but this is probably not the correct way.


https://reviews.llvm.org/D49074