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

[Gabor Marton via Phabricator via llvm-commits]

martong added inline comments.


================
Comment at: llvm/lib/Support/Z3Solver.cpp:257-270
 class Z3Solver : public SMTSolver {
   friend class Z3ConstraintManager;
 
   Z3Context Context;
 
   Z3_solver Solver;
 
----------------
steakhal wrote:
> Should we replace the `std::set` to a more performant data structure?
> https://llvm.org/docs/ProgrammersManual.html#set
Do you have any measurements that indicate std::set functions as hotspots? If not, then it is probably not worth the effort...


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79883