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

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

LGTM; measure performance implications.



================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:117-120
   // Make internal constraint solver entities friends so they can access the
   // overconstrained-related functions. We want to keep this API inaccessible
   // for Checkers.
   friend class ConstraintManager;
----------------
Shouldn't you remove this as well? Check the friends.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D126707