[PATCH] D36471: [StaticAnalyzer] Try to calculate arithmetic result when operand has a range of possible values

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

Can't you reuse somehow some machinery already available to evaluate the arithmetic operators? Those should already handle most of your TODOs and overflows.


Repository:
  rL LLVM

https://reviews.llvm.org/D36471