Searched refs:GlobalState (Results 1 – 8 of 8) sorted by relevance
92 GlobalState = std::make_unique<GlobalTestState>(); in SetUpTestCase()94 AppendingTypeTableBuilder Builder(GlobalState->Allocator); in SetUpTestCase()105 AR.Name = GlobalState->Strings.save(Stream.str()); in SetUpTestCase()106 GlobalState->Records.push_back(AR); in SetUpTestCase()107 GlobalState->Indices.push_back(Builder.writeLeafType(AR)); in SetUpTestCase()110 GlobalState->TypeVector.push_back(Type); in SetUpTestCase()112 GlobalState->AllOffsets.push_back( in SetUpTestCase()113 {GlobalState->Indices.back(), ulittle32_t(Offset)}); in SetUpTestCase()117 GlobalState->ItemStream.setItems(GlobalState->TypeVector); in SetUpTestCase()118 GlobalState->TypeArray = VarStreamArray<CVType>(GlobalState->ItemStream); in SetUpTestCase()[all …]
20 struct GlobalState { struct21 GlobalState() : ctx(SSL_CTX_new(TLS_method())) {} in GlobalState() argument26 static GlobalState g_state; argument
203 struct GlobalState { struct204 GlobalState() { in GlobalState() argument225 static GlobalState g_state; argument
2162 BooleanState GlobalState;2170 (DerefBytesState.isAtFixpoint() && GlobalState.isAtFixpoint());2176 GlobalState.indicateOptimisticFixpoint();2183 GlobalState.indicatePessimisticFixpoint();2211 this->GlobalState == R.GlobalState;2220 GlobalState ^= R.GlobalState;2227 GlobalState &= R.GlobalState;2234 GlobalState |= R.GlobalState;2260 bool isAssumedGlobal() const { return GlobalState.getAssumed(); }2264 bool isKnownGlobal() const { return GlobalState.getKnown(); }
2885 BooleanState GlobalState;2893 (DerefBytesState.isAtFixpoint() && GlobalState.isAtFixpoint());2899 GlobalState.indicateOptimisticFixpoint();2906 GlobalState.indicatePessimisticFixpoint();2935 this->GlobalState == R.GlobalState;2944 GlobalState ^= R.GlobalState;2951 GlobalState += R.GlobalState;2958 GlobalState &= R.GlobalState;2965 GlobalState |= R.GlobalState;2991 bool isAssumedGlobal() const { return GlobalState.getAssumed(); }[all …]
3159 ChangeStatus CS1 = clampStateAndIndicateChange(S.GlobalState, R.GlobalState); in clampStateAndIndicateChange()3283 T.GlobalState.indicatePessimisticFixpoint(); in updateImpl()3287 T.GlobalState &= DS.GlobalState; in updateImpl()
900 class GlobalState(object): class904 globalState = GlobalState(tableType="VarStore", cachingStats={})
3441 ChangeStatus CS1 = clampStateAndIndicateChange(S.GlobalState, R.GlobalState); in clampStateAndIndicateChange()3578 T.GlobalState.indicatePessimisticFixpoint(); in updateImpl()3582 T.GlobalState &= DS.GlobalState; in updateImpl()