Searched refs:GlobalState (Results 1 – 3 of 3) sorted by relevance
92 GlobalState = std::make_unique<GlobalTestState>(); in SetUpTestCase()105 AR.Name = GlobalState->Strings.save(Stream.str()); in SetUpTestCase()106 GlobalState->Records.push_back(AR); in SetUpTestCase()110 GlobalState->TypeVector.push_back(Type); in SetUpTestCase()112 GlobalState->AllOffsets.push_back( in SetUpTestCase()117 GlobalState->ItemStream.setItems(GlobalState->TypeVector); in SetUpTestCase()118 GlobalState->TypeArray = VarStreamArray<CVType>(GlobalState->ItemStream); in SetUpTestCase()145 if (GlobalState->TypeVector[TI.toArrayIndex()] != in ValidateVisitedRecord()149 if (GlobalState->Records[TI.toArrayIndex()] != in ValidateVisitedRecord()197 static std::unique_ptr<GlobalTestState> GlobalState; member in __anon4c709ac60111::RandomAccessVisitorTest[all …]
3591 BooleanState GlobalState;3599 (DerefBytesState.isAtFixpoint() && GlobalState.isAtFixpoint());3605 GlobalState.indicateOptimisticFixpoint();3612 GlobalState.indicatePessimisticFixpoint();3641 this->GlobalState == R.GlobalState;3650 GlobalState ^= R.GlobalState;3657 GlobalState += R.GlobalState;3664 GlobalState &= R.GlobalState;3671 GlobalState |= R.GlobalState;3697 bool isAssumedGlobal() const { return GlobalState.getAssumed(); }[all …]
191 ChangeStatus CS1 = clampStateAndIndicateChange(S.GlobalState, R.GlobalState); in PIPE_OPERATOR()4273 T.GlobalState.indicatePessimisticFixpoint(); in updateImpl()4277 T.GlobalState &= DS.GlobalState; in updateImpl()