reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2016 Solver.addAnalysis(F, getAnalysis(F)); 2021 Solver.AddTrackedFunction(&F); 2026 Solver.AddArgumentTrackedFunction(&F); 2031 Solver.MarkBlockExecutable(&F.front()); 2035 Solver.markOverdefined(&AI); 2044 Solver.TrackValueOfGlobalVariable(&G); 2049 Solver.Solve(); 2054 if (Solver.ResolvedUndefsIn(F)) { 2057 Solver.Solve(); 2073 if (Solver.isBlockExecutable(&F.front())) 2076 if (!AI->use_empty() && tryToReplaceWithConstant(Solver, &*AI)) { 2083 if (!Solver.isBlockExecutable(&*BB)) { 2098 if (tryToReplaceWithConstant(Solver, Inst)) { 2108 DomTreeUpdater DTU = Solver.getDTU(F); 2118 if (!Solver.isBlockExecutable(&F.front())) 2141 forceIndeterminateEdge(I, Solver); 2154 !Solver.isBlockExecutable(BI->getSuccessor(0))) { 2166 if (Solver.getPredicateInfoFor(Inst)) { 2191 const MapVector<Function*, LatticeVal> &RV = Solver.getTrackedRetVals(); 2196 findReturnsToZap(*F, ReturnsToZap, Solver); 2199 for (const auto &F : Solver.getMRVFunctionsTracked()) { 2203 if (Solver.isStructLatticeConstant(F, STy)) 2204 findReturnsToZap(*F, ReturnsToZap, Solver); 2215 const DenseMap<GlobalVariable*, LatticeVal> &TG = Solver.getTrackedGlobals();