Searched refs:NumStates (Results 1 – 3 of 3) sorted by relevance
1132 int NumStates = FuncInfo.ClrEHUnwindMap.size(); in emitCLRExceptionTable() local1133 assert(NumStates > 0 && "Don't need exception table!"); in emitCLRExceptionTable()1135 for (int State = 0; State < NumStates; ++State) { in emitCLRExceptionTable()1152 OS.emitInt32(NumStates); in emitCLRExceptionTable()1171 std::unique_ptr<MCSymbol *[]> EndSymbolMap(new MCSymbol *[NumStates]); in emitCLRExceptionTable()1172 SmallVector<int, 4> MinClauseMap((size_t)NumStates, NumStates); in emitCLRExceptionTable()
884 void pop(unsigned NumStates = 1) override { in pop() argument885 assert(Z3_solver_get_num_scopes(Context.Context, Solver) >= NumStates); in pop()886 return Z3_solver_pop(Context.Context, Solver, NumStates); in pop()
428 virtual void pop(unsigned NumStates = 1) = 0;