[PATCH] D79883: Fix Z3 function calls regarding arithmetic operations

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

steakhal added inline comments.


================
Comment at: llvm/lib/Support/Z3Solver.cpp:257-270
 class Z3Solver : public SMTSolver {
   friend class Z3ConstraintManager;
 
   Z3Context Context;
 
   Z3_solver Solver;
 
----------------
Should we replace the `std::set` to a more performant data structure?
https://llvm.org/docs/ProgrammersManual.html#set


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79883