Searched refs:indicatePessimisticFixpoint (Results 1 – 5 of 5) sorted by relevance
403 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()485 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()612 return S.indicatePessimisticFixpoint(); in updateImpl()795 R.indicatePessimisticFixpoint(); in getWorstState()817 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function818 BS.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()1371 return indicatePessimisticFixpoint(); in translateAndAddStateFromCallee()1402 return indicatePessimisticFixpoint(); in translateAndAddState()1926 return indicatePessimisticFixpoint(); in updateImpl()1943 return indicatePessimisticFixpoint(); in updateImpl()[all …]
646 BooleanState::indicatePessimisticFixpoint(); in insert()732 indicatePessimisticFixpoint(); in KernelInfoState()742 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function744 ParallelLevels.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()745 ReachingKernelEntries.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()746 SPMDCompatibilityTracker.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()747 ReachedKnownParallelRegions.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()748 ReachedUnknownParallelRegions.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()2518 return indicatePessimisticFixpoint(); in updateImpl()2574 indicatePessimisticFixpoint(); in initialize()[all …]
2167 DepAA->getState().indicatePessimisticFixpoint(); in runTillFixpoint()2248 State.indicatePessimisticFixpoint(); in runTillFixpoint()
342 indicatePessimisticFixpoint(); in initialize()366 return indicatePessimisticFixpoint(); in updateImpl()433 indicatePessimisticFixpoint(); in initialize()447 return indicatePessimisticFixpoint(); in updateImpl()463 return indicatePessimisticFixpoint(); in updateImpl()725 return indicatePessimisticFixpoint(); in updateImplImpl()770 indicatePessimisticFixpoint(); in initialize()844 indicatePessimisticFixpoint(); in initialize()880 return indicatePessimisticFixpoint(); in updateImpl()985 return indicatePessimisticFixpoint(); in updateImpl()
1594 AA.getState().indicatePessimisticFixpoint();1611 AA.getState().indicatePessimisticFixpoint();2620 virtual ChangeStatus indicatePessimisticFixpoint() = 0;2666 ChangeStatus indicatePessimisticFixpoint() override {2971 ChangeStatus indicatePessimisticFixpoint() override {3116 ChangeStatus indicatePessimisticFixpoint() override {4071 DS.indicatePessimisticFixpoint();4139 ChangeStatus indicatePessimisticFixpoint() override {4140 DerefBytesState.indicatePessimisticFixpoint();4141 GlobalState.indicatePessimisticFixpoint();[all …]