Analysis/FlowSensitive/WatchedLiteralsSolver.cpp

524   // `MaxIterations` (that is, `MaxIterations` - iterations in this call).
525   std::pair<Solver::Result, std::int64_t> solve(std::int64_t MaxIterations) && {
529       return std::make_pair(Solver::Result::Unsatisfiable(), MaxIterations);
533       if (MaxIterations == 0)
535       --MaxIterations;
563           return std::make_pair(Solver::Result::Unsatisfiable(), MaxIterations);
621                           MaxIterations);
790   auto [Res, Iterations] = WatchedLiteralsSolverImpl(Vals).solve(MaxIterations);
791   MaxIterations = Iterations;