Searched refs:NumStates (Results 1 – 3 of 3) sorted by relevance
1138 int NumStates = FuncInfo.ClrEHUnwindMap.size(); in emitCLRExceptionTable() local1139 assert(NumStates > 0 && "Don't need exception table!"); in emitCLRExceptionTable()1141 for (int State = 0; State < NumStates; ++State) { in emitCLRExceptionTable()1158 OS.emitInt32(NumStates); in emitCLRExceptionTable()1177 std::unique_ptr<MCSymbol *[]> EndSymbolMap(new MCSymbol *[NumStates]); in emitCLRExceptionTable()1178 SmallVector<int, 4> MinClauseMap((size_t)NumStates, NumStates); in emitCLRExceptionTable()
899 void pop(unsigned NumStates = 1) override { in pop() argument900 assert(Z3_solver_get_num_scopes(Context.Context, Solver) >= NumStates); in pop()901 return Z3_solver_pop(Context.Context, Solver, NumStates); in pop()
441 virtual void pop(unsigned NumStates = 1) = 0;