Searched refs:indicatePessimisticFixpoint (Results 1 – 5 of 5) sorted by relevance
393 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()461 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()543 return S.indicatePessimisticFixpoint(); in updateImpl()734 R.indicatePessimisticFixpoint(); in getWorstState()756 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function757 BS.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()1279 return indicatePessimisticFixpoint(); in translateAndAddStateFromCallee()1310 return indicatePessimisticFixpoint(); in translateAndAddState()1830 return indicatePessimisticFixpoint(); in updateImpl()1847 return indicatePessimisticFixpoint(); in updateImpl()[all …]
554 BooleanState::indicatePessimisticFixpoint(); in insert()636 indicatePessimisticFixpoint(); in KernelInfoState()646 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function648 ParallelLevels.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()649 ReachingKernelEntries.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()650 SPMDCompatibilityTracker.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()651 ReachedKnownParallelRegions.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()652 ReachedUnknownParallelRegions.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()2125 indicatePessimisticFixpoint(); in initialize()2393 return indicatePessimisticFixpoint(); in updateImpl()[all …]
1987 DepAA->getState().indicatePessimisticFixpoint(); in runTillFixpoint()2069 State.indicatePessimisticFixpoint(); in runTillFixpoint()
303 indicatePessimisticFixpoint(); in initialize()325 return indicatePessimisticFixpoint(); in updateImpl()392 indicatePessimisticFixpoint(); in initialize()406 return indicatePessimisticFixpoint(); in updateImpl()662 indicatePessimisticFixpoint(); in initialize()684 return indicatePessimisticFixpoint(); in updateImpl()
1563 AA.getState().indicatePessimisticFixpoint();1585 AA.getState().indicatePessimisticFixpoint();1600 AA.getState().indicatePessimisticFixpoint();1608 AA.getState().indicatePessimisticFixpoint();2450 virtual ChangeStatus indicatePessimisticFixpoint() = 0;2496 ChangeStatus indicatePessimisticFixpoint() override {2798 ChangeStatus indicatePessimisticFixpoint() override {2943 ChangeStatus indicatePessimisticFixpoint() override {3036 this->getState().indicatePessimisticFixpoint();3709 DS.indicatePessimisticFixpoint();[all …]