Home | History | Annotate | Download | only in Sema

Lines Matching refs:Subset

497 /// exception specification is a subset (or equivalent) of the first function
502 const FunctionProtoType *Subset, SourceLocation SubLoc) {
518 Subset = ResolveExceptionSpec(SubLoc, Subset);
519 if (!Subset)
526 return CheckParamExceptionSpec(NoteID, Superset, SuperLoc, Subset, SubLoc);
541 return CheckParamExceptionSpec(NoteID, Superset, SuperLoc, Subset, SubLoc);
543 ExceptionSpecificationType SubEST = Subset->getExceptionSpecType();
549 // It does not. If the subset contains everything, we've failed.
557 FunctionProtoType::NoexceptResult SubNR = Subset->getNoexceptSpec(Context);
562 // Another case of the subset containing everything.
570 // If the subset contains nothing, we're done.
572 return CheckParamExceptionSpec(NoteID, Superset, SuperLoc, Subset, SubLoc);
583 "Exception spec subset: non-dynamic case slipped through.");
586 for (FunctionProtoType::exception_iterator SubI = Subset->exception_begin(),
587 SubE = Subset->exception_end(); SubI != SubE; ++SubI) {
588 // Take one type from the subset.
624 // If the types are the same, move on to the next type in the subset.
667 return CheckParamExceptionSpec(NoteID, Superset, SuperLoc, Subset, SubLoc);
731 // This means that the source of the conversion can only throw a subset of