Searched refs:markPessimisticFixpoint (Results 1 – 4 of 4) sorted by relevance
44 return solver->propagateIfChanged(cv, cv->markPessimisticFixpoint()); in onUpdate()67 std::get<0>(it)->markPessimisticFixpoint()); in visitOperation()107 changed |= lattice->markPessimisticFixpoint(); in visitOperation()149 changed |= lattice->markPessimisticFixpoint(); in visitNonControlFlowArguments()
291 propagateIfChanged(lattice, lattice->markPessimisticFixpoint()); in markAllPessimisticFixpoint()
48 virtual ChangeResult markPessimisticFixpoint() = 0;103 return markPessimisticFixpoint(); in defaultInitialize()152 ChangeResult markPessimisticFixpoint() override { in markPessimisticFixpoint() function
99 constantValue->markPessimisticFixpoint()); in markAllPessimisticFixpoint()