[PATCH] D103314: [Analyzer][solver] Simplify existing constraints when a new constraint is added

[Chris Hamilton via Phabricator via cfe-commits]

chrish_ericsson_atx added a comment.

I believe this exposed another odd issue where a true positive (enabled by this commit) disappears when unrelated code is not present.   Bug filed as: https://bugs.llvm.org/show_bug.cgi?id=51950.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103314