diff --git a/clang/lib/AST/TemplateBase.cpp b/clang/lib/AST/TemplateBase.cpp index f07b18e7c12a..4250c813a28f 100644 --- a/clang/lib/AST/TemplateBase.cpp +++ b/clang/lib/AST/TemplateBase.cpp @@ -33,11 +33,22 @@ using namespace clang; /// \param TemplArg the TemplateArgument instance to print. /// /// \param Out the raw_ostream instance to use for printing. +/// +/// \param Policy the printing policy for EnumConstantDecl printing. static void printIntegral(const TemplateArgument &TemplArg, - raw_ostream &Out) { + raw_ostream &Out, const PrintingPolicy& Policy) { const ::clang::Type *T = TemplArg.getIntegralType().getTypePtr(); const llvm::APSInt &Val = TemplArg.getAsIntegral(); + if (const EnumType* ET = T->getAs()) { + for (const EnumConstantDecl* ECD : ET->getDecl()->enumerators()) { + if (ECD->getInitVal() == Val) { + ECD->printQualifiedName(Out, Policy); + return; + } + } + } + if (T->isBooleanType()) { Out << (Val.getBoolValue() ? "true" : "false"); } else if (T->isCharType()) { @@ -378,7 +389,7 @@ void TemplateArgument::print(const PrintingPolicy &Policy, break; case Integral: { - printIntegral(*this, Out); + printIntegral(*this, Out, Policy); break; } diff --git a/clang/test/SemaCXX/return-noreturn.cpp b/clang/test/SemaCXX/return-noreturn.cpp index 61b45c537010..cdd96e6a9ec4 100644 --- a/clang/test/SemaCXX/return-noreturn.cpp +++ b/clang/test/SemaCXX/return-noreturn.cpp @@ -143,7 +143,7 @@ template int PR9412_t() { } // expected-warning {{control reaches end of non-void function}} void PR9412_f() { - PR9412_t(); // expected-note {{in instantiation of function template specialization 'PR9412_t<0>' requested here}} + PR9412_t(); // expected-note {{in instantiation of function template specialization 'PR9412_t' requested here}} } struct NoReturn { diff --git a/clang/test/SemaTemplate/temp_arg_enum_printing.cpp b/clang/test/SemaTemplate/temp_arg_enum_printing.cpp new file mode 100644 index 000000000000..a788975b20dd --- /dev/null +++ b/clang/test/SemaTemplate/temp_arg_enum_printing.cpp @@ -0,0 +1,24 @@ +// RUN: %clang_cc1 -fsyntax-only -ast-print %s | FileCheck %s + +namespace NamedEnumNS +{ + +enum NamedEnum +{ + Val0, + Val1 +}; + +template +void foo(); + +void test() { + // CHECK: template + NamedEnumNS::foo(); + // CHECK: template + NamedEnumNS::foo<(NamedEnum)1>(); + // CHECK: template + NamedEnumNS::foo<(NamedEnum)2>(); +} + +} // NamedEnumNS