Searched refs:indicatePessimisticFixpoint (Results 1 – 5 of 5) sorted by relevance
423 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()491 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()753 R.indicatePessimisticFixpoint(); in getWorstState()1472 indicatePessimisticFixpoint(); in initialize()1606 indicatePessimisticFixpoint(); in initialize()1660 indicatePessimisticFixpoint(); in initialize()6851 indicatePessimisticFixpoint(); in initialize()6946 indicatePessimisticFixpoint(); in initialize()6962 indicatePessimisticFixpoint(); in initialize()8346 indicatePessimisticFixpoint(); in initialize()[all …]
608 indicatePessimisticFixpoint(); in KernelInfoState()2329 indicatePessimisticFixpoint(); in initialize()2597 return indicatePessimisticFixpoint(); in updateImpl()2640 indicatePessimisticFixpoint(); in initialize()2655 indicatePessimisticFixpoint(); in initialize()2683 return indicatePessimisticFixpoint(); in updateImpl()2740 return indicatePessimisticFixpoint(); in updateImpl()2964 indicatePessimisticFixpoint(); in initialize()4081 return indicatePessimisticFixpoint(); in updateImpl()4445 indicatePessimisticFixpoint(); in initialize()[all …]
1744 DepAA->getState().indicatePessimisticFixpoint(); in runTillFixpoint()1826 State.indicatePessimisticFixpoint(); in runTillFixpoint()
297 indicatePessimisticFixpoint(); in initialize()319 return indicatePessimisticFixpoint(); in updateImpl()386 indicatePessimisticFixpoint(); in initialize()400 return indicatePessimisticFixpoint(); in updateImpl()639 indicatePessimisticFixpoint(); in initialize()661 return indicatePessimisticFixpoint(); in updateImpl()
1404 AA.getState().indicatePessimisticFixpoint();1428 AA.getState().indicatePessimisticFixpoint();1443 AA.getState().indicatePessimisticFixpoint();1450 AA.getState().indicatePessimisticFixpoint();3542 DS.indicatePessimisticFixpoint();3611 DerefBytesState.indicatePessimisticFixpoint();3612 GlobalState.indicatePessimisticFixpoint();3881 DS.indicatePessimisticFixpoint();3901 return BS.indicatePessimisticFixpoint();4457 indicatePessimisticFixpoint();[all …]