Index: include/llvm/Demangle/MicrosoftDemangle.h =================================================================== --- include/llvm/Demangle/MicrosoftDemangle.h +++ include/llvm/Demangle/MicrosoftDemangle.h @@ -245,7 +245,7 @@ FuncClass demangleFunctionClass(StringView &MangledName); CallingConv demangleCallingConvention(StringView &MangledName); StorageClass demangleVariableStorageClass(StringView &MangledName); - void demangleThrowSpecification(StringView &MangledName); + bool demangleThrowSpecification(StringView &MangledName); wchar_t demangleWcharLiteral(StringView &MangledName); uint8_t demangleCharLiteral(StringView &MangledName); Index: include/llvm/Demangle/MicrosoftDemangleNodes.h =================================================================== --- include/llvm/Demangle/MicrosoftDemangleNodes.h +++ include/llvm/Demangle/MicrosoftDemangleNodes.h @@ -320,6 +320,9 @@ // Function parameters NodeArrayNode *Params = nullptr; + + // True if the function type is noexcept + bool IsNoexcept = false; }; struct IdentifierNode : public Node { Index: lib/Demangle/MicrosoftDemangle.cpp =================================================================== --- lib/Demangle/MicrosoftDemangle.cpp +++ lib/Demangle/MicrosoftDemangle.cpp @@ -1677,11 +1677,14 @@ return Ty; } -void Demangler::demangleThrowSpecification(StringView &MangledName) { +bool Demangler::demangleThrowSpecification(StringView &MangledName) { + if (MangledName.consumeFront("_E")) + return true; if (MangledName.consumeFront('Z')) - return; + return false; Error = true; + return false; } FunctionSignatureNode *Demangler::demangleFunctionType(StringView &MangledName, @@ -1705,7 +1708,7 @@ FTy->Params = demangleFunctionParameterList(MangledName); - demangleThrowSpecification(MangledName); + FTy->IsNoexcept = demangleThrowSpecification(MangledName); return FTy; } Index: lib/Demangle/MicrosoftDemangleNodes.cpp =================================================================== --- lib/Demangle/MicrosoftDemangleNodes.cpp +++ lib/Demangle/MicrosoftDemangleNodes.cpp @@ -414,6 +414,9 @@ if (Quals & Q_Unaligned) OS << " __unaligned"; + if (IsNoexcept) + OS << " noexcept"; + if (RefQualifier == FunctionRefQualifier::Reference) OS << " &"; else if (RefQualifier == FunctionRefQualifier::RValueReference) Index: test/Demangle/ms-cxx17-noexcept.test =================================================================== --- test/Demangle/ms-cxx17-noexcept.test +++ test/Demangle/ms-cxx17-noexcept.test @@ -0,0 +1,25 @@ +; RUN: llvm-undname < %s | FileCheck %s + +; CHECK-NOT: Invalid mangled name + +?nochange@@YAXXZ +; CHECK: void __cdecl nochange(void) + +?a@@YAXP6AHXZ@Z +; CHECK: void __cdecl a(int (__cdecl *)(void)) +?a@@YAXP6AHX_E@Z +; CHECK: void __cdecl a(int (__cdecl *)(void) noexcept) + +?b@@YAXP6AHXZ@Z +; CHECK: void __cdecl b(int (__cdecl *)(void)) + +?c@@YAXP6AHXZ@Z +; CHECK: void __cdecl c(int (__cdecl *)(void)) +?c@@YAXP6AHX_E@Z +; CHECK: void __cdecl c(int (__cdecl *)(void) noexcept) + +?ee@?$e@$$A6AXXZ@@EEAAXXZ +; CHECK: private: virtual void __cdecl e::ee(void) + +?ee@?$e@$$A6AXX_E@@EEAAXXZ +; CHECK: private: virtual void __cdecl e::ee(void)