Lines Matching defs:solver

53   explicit LastModifiedAnalysis(DataFlowSolver &solver, bool assumeFuncWrites)
54       : DenseForwardDataFlowAnalysis(solver),
229     DataFlowSolver solver(DataFlowConfig().setInterprocedural(interprocedural));
230     solver.load<DeadCodeAnalysis>();
231     solver.load<SparseConstantPropagation>();
232     solver.load<LastModifiedAnalysis>(assumeFuncWrites);
233     solver.load<UnderlyingValueAnalysis>();
234     if (failed(solver.initializeAndRun(op)))
247           solver.lookupState<LastModification>(solver.getProgramPointAfter(op));
254                   return solver.lookupState<UnderlyingValueLattice>(value);