[PATCH] D112296: [Analyzer][solver] Handle adjustments in constraint assignor remainder

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

steakhal accepted this revision.
steakhal added inline comments.


================
Comment at: clang/test/Analysis/constraint-assignor.c:7
 void clang_analyzer_warnIfReached();
+void clang_analyzer_eval();
 
----------------
Expect an `int` parameter.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D112296