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

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 29 11:57:58 PDT 2018

george.karpenkov added a comment.

> where addition and subtraction is already supported?

Is it though? From what I recall we had to disable it from the default set of options due to the fact that it gives rise to the exponential running time in some cases.
I am somewhat afraid of similar unexpected side-effects from this and subsequent patches.


More information about the cfe-commits mailing list