Searched refs:IsValidState (Results 1 – 2 of 2) sorted by relevance
3997 PotentialValuesState() : IsValidState(true), UndefIsContained(false) {}4000 : IsValidState(IsValid), UndefIsContained(false) {}4003 bool isValidState() const override { return IsValidState.isValidState(); }4006 bool isAtFixpoint() const override { return IsValidState.isAtFixpoint(); }4010 return IsValidState.indicatePessimisticFixpoint();4015 return IsValidState.indicateOptimisticFixpoint();4074 IsValidState ^= PVS.IsValidState;4080 IsValidState &= PVS.IsValidState;4150 BooleanState IsValidState;
1521 bool IsValidState = true; member in AAReturnedValuesImpl1532 IsValidState = true; in initialize()1605 bool isValidState() const override { return IsValidState; } in isValidState()1615 IsValidState = false; in indicatePessimisticFixpoint()