Searched refs:indicatePessimisticFixpoint (Results 1 – 4 of 4) sorted by relevance
462 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()530 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()612 return S.indicatePessimisticFixpoint(); in updateImpl()766 return indicatePessimisticFixpoint(); in updateImpl()790 indicatePessimisticFixpoint(); in initialize()849 indicatePessimisticFixpoint(); in initialize()872 indicatePessimisticFixpoint(); in initialize()929 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function in __anon811b40a70111::AAReturnedValuesImpl1109 return indicatePessimisticFixpoint(); in updateImpl()1262 return indicatePessimisticFixpoint(); in updateImpl()[all …]
1865 indicatePessimisticFixpoint(); in initialize()2128 return indicatePessimisticFixpoint(); in updateImpl()2169 indicatePessimisticFixpoint(); in initialize()2184 indicatePessimisticFixpoint(); in initialize()2212 return indicatePessimisticFixpoint(); in updateImpl()2269 return indicatePessimisticFixpoint(); in updateImpl()
1035 DepAA->getState().indicatePessimisticFixpoint(); in runTillFixpoint()1105 State.indicatePessimisticFixpoint(); in runTillFixpoint()
1143 AA.getState().indicatePessimisticFixpoint();1163 AA.getState().indicatePessimisticFixpoint();1180 AA.getState().indicatePessimisticFixpoint();1188 AA.getState().indicatePessimisticFixpoint();1792 virtual ChangeStatus indicatePessimisticFixpoint() = 0;1838 ChangeStatus indicatePessimisticFixpoint() override {2140 ChangeStatus indicatePessimisticFixpoint() override {2254 this->getState().indicatePessimisticFixpoint();2891 DS.indicatePessimisticFixpoint();2959 ChangeStatus indicatePessimisticFixpoint() override {[all …]