A structure used to record information about a failed template argument deduction, for diagnosis. More...
#include "clang/Sema/TemplateDeduction.h"
Public Member Functions | |
| PartialDiagnosticAt * | getSFINAEDiagnostic () |
| Retrieve the diagnostic which caused this deduction failure, if any. | |
| TemplateParameter | getTemplateParameter () |
| Retrieve the template parameter this deduction failure refers to, if any. | |
| TemplateArgumentList * | getTemplateArgumentList () |
| Retrieve the template argument list associated with this deduction failure, if any. | |
| const TemplateArgument * | getFirstArg () |
| Return the first template argument this deduction failure refers to, if any. | |
| const TemplateArgument * | getSecondArg () |
| Return the second template argument this deduction failure refers to, if any. | |
| UnsignedOrNone | getCallArgIndex () |
| Return the index of the call argument that this deduction failure refers to, if any. | |
| void | Destroy () |
| Free any memory associated with this deduction failure. | |
| TemplateDeductionResult | getResult () const |
Public Attributes | |
| unsigned | Result: 8 |
| A Sema::TemplateDeductionResult. | |
| unsigned | HasDiagnostic: 1 |
| Indicates whether a diagnostic is stored in Diagnostic. | |
| void * | Data |
| Opaque pointer containing additional data about this deduction failure. | |
| char | Diagnostic [sizeof(PartialDiagnosticAt)] |
| A diagnostic indicating why deduction failed. | |
Detailed Description
A structure used to record information about a failed template argument deduction, for diagnosis.
Definition at line 268 of file TemplateDeduction.h.
Member Function Documentation
◆ Destroy()
| void DeductionFailureInfo::Destroy | ( | ) |
Free any memory associated with this deduction failure.
Definition at line 821 of file SemaOverload.cpp.
References clang::AlreadyDiagnosed, clang::ConstraintsNotSatisfied, clang::CUDATargetMismatch, Data, clang::DeducedMismatch, clang::DeducedMismatchNested, Diag(), getSFINAEDiagnostic(), HasDiagnostic, clang::Incomplete, clang::IncompletePack, clang::Inconsistent, clang::InstantiationDepth, clang::Invalid, clang::InvalidExplicitArguments, clang::MiscellaneousDeductionFailure, clang::NonDeducedMismatch, clang::NonDependentConversionFailure, Result, clang::SubstitutionFailure, clang::Success, clang::TooFewArguments, clang::TooManyArguments, and clang::Underqualified.
◆ getCallArgIndex()
| UnsignedOrNone DeductionFailureInfo::getCallArgIndex | ( | ) |
Return the index of the call argument that this deduction failure refers to, if any.
Definition at line 1009 of file SemaOverload.cpp.
References Data, clang::DeducedMismatch, clang::DeducedMismatchNested, and Result.
Referenced by DiagnoseBadDeduction().
◆ getFirstArg()
| const TemplateArgument * DeductionFailureInfo::getFirstArg | ( | ) |
Return the first template argument this deduction failure refers to, if any.
Definition at line 945 of file SemaOverload.cpp.
References clang::AlreadyDiagnosed, clang::ConstraintsNotSatisfied, clang::CUDATargetMismatch, Data, clang::DeducedMismatch, clang::DeducedMismatchNested, clang::Incomplete, clang::IncompletePack, clang::Inconsistent, clang::InstantiationDepth, clang::Invalid, clang::InvalidExplicitArguments, clang::MiscellaneousDeductionFailure, clang::NonDeducedMismatch, clang::NonDependentConversionFailure, Result, clang::SubstitutionFailure, clang::Success, clang::TooFewArguments, clang::TooManyArguments, and clang::Underqualified.
Referenced by DiagnoseBadDeduction().
◆ getResult()
|
inline |
Definition at line 309 of file TemplateDeduction.h.
References Result.
Referenced by CheckArityMismatch(), DiagnoseBadDeduction(), and DiagnoseBadDeduction().
◆ getSecondArg()
| const TemplateArgument * DeductionFailureInfo::getSecondArg | ( | ) |
Return the second template argument this deduction failure refers to, if any.
Definition at line 977 of file SemaOverload.cpp.
References clang::AlreadyDiagnosed, clang::ConstraintsNotSatisfied, clang::CUDATargetMismatch, Data, clang::DeducedMismatch, clang::DeducedMismatchNested, clang::Incomplete, clang::IncompletePack, clang::Inconsistent, clang::InstantiationDepth, clang::Invalid, clang::InvalidExplicitArguments, clang::MiscellaneousDeductionFailure, clang::NonDeducedMismatch, clang::NonDependentConversionFailure, Result, clang::SubstitutionFailure, clang::Success, clang::TooFewArguments, clang::TooManyArguments, and clang::Underqualified.
Referenced by DiagnoseBadDeduction().
◆ getSFINAEDiagnostic()
| PartialDiagnosticAt * DeductionFailureInfo::getSFINAEDiagnostic | ( | ) |
Retrieve the diagnostic which caused this deduction failure, if any.
Definition at line 869 of file SemaOverload.cpp.
References Diagnostic, and HasDiagnostic.
Referenced by Destroy(), and DiagnoseBadDeduction().
◆ getTemplateArgumentList()
| TemplateArgumentList * DeductionFailureInfo::getTemplateArgumentList | ( | ) |
Retrieve the template argument list associated with this deduction failure, if any.
Definition at line 909 of file SemaOverload.cpp.
References clang::AlreadyDiagnosed, clang::ConstraintsNotSatisfied, clang::CUDATargetMismatch, Data, clang::DeducedMismatch, clang::DeducedMismatchNested, clang::Incomplete, clang::IncompletePack, clang::Inconsistent, clang::InstantiationDepth, clang::Invalid, clang::InvalidExplicitArguments, clang::MiscellaneousDeductionFailure, clang::NonDeducedMismatch, clang::NonDependentConversionFailure, Result, clang::SubstitutionFailure, clang::Success, clang::TooFewArguments, clang::TooManyArguments, and clang::Underqualified.
Referenced by DiagnoseBadDeduction().
◆ getTemplateParameter()
| TemplateParameter DeductionFailureInfo::getTemplateParameter | ( | ) |
Retrieve the template parameter this deduction failure refers to, if any.
Definition at line 875 of file SemaOverload.cpp.
References clang::AlreadyDiagnosed, clang::ConstraintsNotSatisfied, clang::CUDATargetMismatch, Data, clang::DeducedMismatch, clang::DeducedMismatchNested, clang::Incomplete, clang::IncompletePack, clang::Inconsistent, clang::InstantiationDepth, clang::Invalid, clang::InvalidExplicitArguments, clang::MiscellaneousDeductionFailure, clang::NonDeducedMismatch, clang::NonDependentConversionFailure, Result, clang::SubstitutionFailure, clang::Success, clang::TooFewArguments, clang::TooManyArguments, and clang::Underqualified.
Referenced by DiagnoseBadDeduction().
Member Data Documentation
◆ Data
| void* clang::DeductionFailureInfo::Data |
Opaque pointer containing additional data about this deduction failure.
Definition at line 277 of file TemplateDeduction.h.
Referenced by clang::Sema::AddConversionCandidate(), clang::Sema::AddMethodCandidate(), clang::Sema::AddOverloadCandidate(), clang::Sema::AddSurrogateCandidate(), Destroy(), DiagnoseBadDeduction(), DiagnoseFailedEnableIfAttr(), getCallArgIndex(), getFirstArg(), getSecondArg(), getTemplateArgumentList(), and getTemplateParameter().
◆ Diagnostic
| char clang::DeductionFailureInfo::Diagnostic[sizeof(PartialDiagnosticAt)] |
A diagnostic indicating why deduction failed.
Definition at line 280 of file TemplateDeduction.h.
Referenced by getSFINAEDiagnostic().
◆ HasDiagnostic
| unsigned clang::DeductionFailureInfo::HasDiagnostic |
Indicates whether a diagnostic is stored in Diagnostic.
Definition at line 273 of file TemplateDeduction.h.
Referenced by Destroy(), and getSFINAEDiagnostic().
◆ Result
| unsigned clang::DeductionFailureInfo::Result |
A Sema::TemplateDeductionResult.
Definition at line 270 of file TemplateDeduction.h.
Referenced by Destroy(), getCallArgIndex(), getFirstArg(), getResult(), getSecondArg(), getTemplateArgumentList(), getTemplateParameter(), and RankDeductionFailure().
The documentation for this struct was generated from the following files:
- include/clang/Sema/TemplateDeduction.h
- lib/Sema/SemaOverload.cpp
Generated on for clang by
1.14.0