Searched refs:IsValidState (Results 1 – 2 of 2) sorted by relevance
4523 PotentialValuesState() : IsValidState(true), UndefIsContained(false) {}4526 : IsValidState(IsValid), UndefIsContained(false) {}4529 bool isValidState() const override { return IsValidState.isValidState(); }4532 bool isAtFixpoint() const override { return IsValidState.isAtFixpoint(); }4536 return IsValidState.indicatePessimisticFixpoint();4541 return IsValidState.indicateOptimisticFixpoint();4600 IsValidState ^= PVS.IsValidState;4606 IsValidState &= PVS.IsValidState;4686 BooleanState IsValidState;
2051 bool IsValidState = true; member in __anon2f43fbf31911::AAReturnedValuesImpl2062 IsValidState = true; in initialize()2135 bool isValidState() const override { return IsValidState; } in isValidState()2145 IsValidState = false; in indicatePessimisticFixpoint()