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

Fri Jun 4 06:28:28 PDT 2021

martong added a comment.

In D103314#2790868 <https://reviews.llvm.org/D103314#2790868>, @vsavchenko wrote:

> Awesome!
> I know, I said that we are ready to land, but I think I was too excited about this change. We probably should have some data on how it performs on real-life codebases.

Just some quick update on the status of this patch. I've done some measurements on smaller open source C projects (e.g tmux) and didn't see any noticeable slow-down. However, I've run into a bad-bad assertion failure in my favorite Checker (StdLibraryFu...). The assertion indicates that neither !State nor State is feasible, so this throws me back to the debugger for a while.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103314