Searched refs:NumStates (Results 1 – 3 of 3) sorted by relevance
1102 int NumStates = FuncInfo.ClrEHUnwindMap.size(); in emitCLRExceptionTable() local1103 assert(NumStates > 0 && "Don't need exception table!"); in emitCLRExceptionTable()1105 for (int State = 0; State < NumStates; ++State) { in emitCLRExceptionTable()1122 OS.EmitIntValue(NumStates, 4); in emitCLRExceptionTable()1141 std::unique_ptr<MCSymbol *[]> EndSymbolMap(new MCSymbol *[NumStates]); in emitCLRExceptionTable()1142 SmallVector<int, 4> MinClauseMap((size_t)NumStates, NumStates); in emitCLRExceptionTable()
793 void pop(unsigned NumStates = 1) override { in pop() argument794 assert(Z3_solver_get_num_scopes(Context.Context, Solver) >= NumStates); in pop()795 return Z3_solver_pop(Context.Context, Solver, NumStates); in pop()
283 virtual void pop(unsigned NumStates = 1) = 0;