Searched refs:IsValidState (Results 1 – 2 of 2) sorted by relevance
3581 PotentialValuesState() : IsValidState(true), UndefIsContained(false) {}3584 : IsValidState(IsValid), UndefIsContained(false) {}3587 bool isValidState() const override { return IsValidState.isValidState(); }3590 bool isAtFixpoint() const override { return IsValidState.isAtFixpoint(); }3594 return IsValidState.indicatePessimisticFixpoint();3599 return IsValidState.indicateOptimisticFixpoint();3658 IsValidState ^= PVS.IsValidState;3664 IsValidState &= PVS.IsValidState;3733 BooleanState IsValidState;
833 bool IsValidState = true; member in __anon811b40a70111::AAReturnedValuesImpl844 IsValidState = true; in initialize()921 bool isValidState() const override { return IsValidState; } in isValidState()931 IsValidState = false; in indicatePessimisticFixpoint()