[PATCH] D84544: [ConstraintSystem] Add helpers to deal with linear constraints.

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

steakhal added subscribers: Szelethus, NoQ, xazax.hun.
steakhal added a comment.

I'm curious if we could make use of this in the Clang Static Analyzer.
We always hit the limitations of the current Constraint manager implementation.
What do you think about this @NoQ @xazax.hun @Szelethus?



================
Comment at: llvm/lib/Analysis/ConstraintSystem.cpp:137
+bool ConstraintSystem::mayHaveSolution() {
+  dump();
+  bool HasSolution = mayHaveSolutionImpl();
----------------
Is this unconditional dump intentional?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84544