Searched refs:IsValidState (Results 1 – 1 of 1) sorted by relevance
956 bool IsValidState = true; member in __anonc9a7200c0111::AAReturnedValuesImpl966 IsValidState = true; in initialize()1040 bool isValidState() const override { return IsValidState; } in isValidState()1050 IsValidState = false; in indicatePessimisticFixpoint()