Searched refs:IsValidState (Results 1 – 2 of 2) sorted by relevance
4354 PotentialValuesState() : IsValidState(true), UndefIsContained(false) {}4357 : IsValidState(IsValid), UndefIsContained(false) {}4360 bool isValidState() const override { return IsValidState.isValidState(); }4363 bool isAtFixpoint() const override { return IsValidState.isAtFixpoint(); }4367 return IsValidState.indicatePessimisticFixpoint();4372 return IsValidState.indicateOptimisticFixpoint();4431 IsValidState ^= PVS.IsValidState;4437 IsValidState &= PVS.IsValidState;4517 BooleanState IsValidState;
1644 bool IsValidState = true; member in __anon26093b6c1411::AAReturnedValuesImpl1655 IsValidState = true; in initialize()1728 bool isValidState() const override { return IsValidState; } in isValidState()1738 IsValidState = false; in indicatePessimisticFixpoint()