Searched refs:indicatePessimisticFixpoint (Results 1 – 5 of 5) sorted by relevance
501 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()569 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()905 R.indicatePessimisticFixpoint(); in getWorstState()1360 indicatePessimisticFixpoint(); in initialize()1485 indicatePessimisticFixpoint(); in initialize()1537 indicatePessimisticFixpoint(); in initialize()6762 indicatePessimisticFixpoint(); in initialize()6858 indicatePessimisticFixpoint(); in initialize()6874 indicatePessimisticFixpoint(); in initialize()8247 indicatePessimisticFixpoint(); in initialize()[all …]
533 indicatePessimisticFixpoint(); in KernelInfoState()587 indicatePessimisticFixpoint(); in operator ^=()592 indicatePessimisticFixpoint(); in operator ^=()2018 indicatePessimisticFixpoint(); in initialize()2283 return indicatePessimisticFixpoint(); in updateImpl()2326 indicatePessimisticFixpoint(); in initialize()2341 indicatePessimisticFixpoint(); in initialize()2369 return indicatePessimisticFixpoint(); in updateImpl()2426 return indicatePessimisticFixpoint(); in updateImpl()3373 return indicatePessimisticFixpoint(); in updateImpl()[all …]
1363 DepAA->getState().indicatePessimisticFixpoint(); in runTillFixpoint()1433 State.indicatePessimisticFixpoint(); in runTillFixpoint()
239 indicatePessimisticFixpoint(); in initialize()261 indicatePessimisticFixpoint(); in updateImpl()307 indicatePessimisticFixpoint(); in initialize()314 indicatePessimisticFixpoint(); in initialize()
1264 AA.getState().indicatePessimisticFixpoint();1284 AA.getState().indicatePessimisticFixpoint();1301 AA.getState().indicatePessimisticFixpoint();1309 AA.getState().indicatePessimisticFixpoint();3225 DS.indicatePessimisticFixpoint();3294 DerefBytesState.indicatePessimisticFixpoint();3295 GlobalState.indicatePessimisticFixpoint();3524 DS.indicatePessimisticFixpoint();3544 return BS.indicatePessimisticFixpoint();4090 indicatePessimisticFixpoint();[all …]