Searched refs:indicatePessimisticFixpoint (Results 1 – 5 of 5) sorted by relevance
404 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()486 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()613 return S.indicatePessimisticFixpoint(); in updateImpl()799 R.indicatePessimisticFixpoint(); in getWorstState()821 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function822 BS.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()1366 return indicatePessimisticFixpoint(); in translateAndAddStateFromCallee()1399 return indicatePessimisticFixpoint(); in translateAndAddState()1965 return indicatePessimisticFixpoint(); in updateImpl()1982 return indicatePessimisticFixpoint(); in updateImpl()[all …]
659 BooleanState::indicatePessimisticFixpoint(); in insert()745 indicatePessimisticFixpoint(); in KernelInfoState()755 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function757 ParallelLevels.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()758 ReachingKernelEntries.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()759 SPMDCompatibilityTracker.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()760 ReachedKnownParallelRegions.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()761 ReachedUnknownParallelRegions.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()2521 return indicatePessimisticFixpoint(); in updateImpl()2577 indicatePessimisticFixpoint(); in initialize()[all …]
2160 DepAA->getState().indicatePessimisticFixpoint(); in runTillFixpoint()2240 State.indicatePessimisticFixpoint(); in runTillFixpoint()
396 indicatePessimisticFixpoint(); in initialize()420 return indicatePessimisticFixpoint(); in updateImpl()487 indicatePessimisticFixpoint(); in initialize()502 return indicatePessimisticFixpoint(); in updateImpl()518 return indicatePessimisticFixpoint(); in updateImpl()843 return indicatePessimisticFixpoint(); in updateImplImpl()982 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function983 return X.indicatePessimisticFixpoint() | Y.indicatePessimisticFixpoint() | in indicatePessimisticFixpoint()984 Z.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()1023 indicatePessimisticFixpoint(); in initialize()[all …]
1620 AA.getState().indicatePessimisticFixpoint();1637 AA.getState().indicatePessimisticFixpoint();2667 virtual ChangeStatus indicatePessimisticFixpoint() = 0;2713 ChangeStatus indicatePessimisticFixpoint() override {3018 ChangeStatus indicatePessimisticFixpoint() override {3163 ChangeStatus indicatePessimisticFixpoint() override {4131 DS.indicatePessimisticFixpoint();4199 ChangeStatus indicatePessimisticFixpoint() override {4200 DerefBytesState.indicatePessimisticFixpoint();4201 GlobalState.indicatePessimisticFixpoint();[all …]