[PATCH] D126707: [analyzer][NFC] Move overconstrained check from reAssume to assumeDualImpl

[Gabor Marton via Phabricator via cfe-commits]

martong marked an inline comment as done.
martong added a comment.

In D126707#3549677 <https://reviews.llvm.org/D126707#3549677>, @steakhal wrote:

> LGTM; measure performance implications.

Seems like there are no implications (or within the error margin).

F23278565: image.png <https://reviews.llvm.org/F23278565>


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D126707/new/

https://reviews.llvm.org/D126707