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

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jun 1 07:37:12 PDT 2022


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



More information about the cfe-commits mailing list