Searched refs:indicatePessimisticFixpoint (Results 1 – 5 of 5) sorted by relevance
403 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()484 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()794 R.indicatePessimisticFixpoint(); in getWorstState()817 BS.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()2555 indicatePessimisticFixpoint(); in initialize()3338 indicatePessimisticFixpoint(); in initialize()7610 indicatePessimisticFixpoint(); in initialize()7707 indicatePessimisticFixpoint(); in initialize()7723 indicatePessimisticFixpoint(); in initialize()9249 indicatePessimisticFixpoint(); in initialize()[all …]
732 indicatePessimisticFixpoint(); in KernelInfoState()2519 return indicatePessimisticFixpoint(); in updateImpl()2575 indicatePessimisticFixpoint(); in initialize()2605 return indicatePessimisticFixpoint(); in updateImpl()2662 return indicatePessimisticFixpoint(); in updateImpl()3443 indicatePessimisticFixpoint(); in initialize()3558 return indicatePessimisticFixpoint(); in updateImpl()4767 return indicatePessimisticFixpoint(); in updateImpl()4925 indicatePessimisticFixpoint(); in initialize()5008 indicatePessimisticFixpoint(); in initialize()[all …]
2163 DepAA->getState().indicatePessimisticFixpoint(); in runTillFixpoint()2244 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()
1593 AA.getState().indicatePessimisticFixpoint();1610 AA.getState().indicatePessimisticFixpoint();2673 ChangeStatus indicatePessimisticFixpoint() override {4078 DS.indicatePessimisticFixpoint();4147 DerefBytesState.indicatePessimisticFixpoint();4148 GlobalState.indicatePessimisticFixpoint();4439 DS.indicatePessimisticFixpoint();4459 return BS.indicatePessimisticFixpoint();4974 return IsValidState.indicatePessimisticFixpoint();5064 indicatePessimisticFixpoint();[all …]