Searched refs:indicatePessimisticFixpoint (Results 1 – 5 of 5) sorted by relevance
393 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()461 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()734 R.indicatePessimisticFixpoint(); in getWorstState()757 BS.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()1864 indicatePessimisticFixpoint(); in initialize()2013 indicatePessimisticFixpoint(); in initialize()7564 indicatePessimisticFixpoint(); in initialize()7659 indicatePessimisticFixpoint(); in initialize()7675 indicatePessimisticFixpoint(); in initialize()9121 indicatePessimisticFixpoint(); in initialize()[all …]
636 indicatePessimisticFixpoint(); in KernelInfoState()2125 indicatePessimisticFixpoint(); in initialize()2393 return indicatePessimisticFixpoint(); in updateImpl()2436 indicatePessimisticFixpoint(); in initialize()2451 indicatePessimisticFixpoint(); in initialize()2479 return indicatePessimisticFixpoint(); in updateImpl()2536 return indicatePessimisticFixpoint(); in updateImpl()2563 indicatePessimisticFixpoint(); in initialize()3218 indicatePessimisticFixpoint(); in initialize()3333 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();3709 DS.indicatePessimisticFixpoint();3778 DerefBytesState.indicatePessimisticFixpoint();3779 GlobalState.indicatePessimisticFixpoint();4048 DS.indicatePessimisticFixpoint();4068 return BS.indicatePessimisticFixpoint();4626 indicatePessimisticFixpoint();[all …]