en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/SemaTemplate/class-template-noexcept.cpp#30adb9fd let EST_Uninstantiated in FunctionProtoType::canThrow returnCT_DependentWhen compile following code without -std=c++17, clang will abort byllvm_unreachable:class A { public: static const char X;};const char A::X = 0;template<typename U> void func() noexcept(U::X);template<class... B, char x>void foo(void(B...) noexcept(x)) {}void bar(){ foo(func<A>);}So, my solution is to let EST_Uninstantiated inFunctionProtoType::canThrow return CT_DependentDifferential Revision: https://reviews.llvm.org/D121498 List of files: /llvm-project-15.0.7/clang/test/SemaTemplate/class-template-noexcept.cpp Wed, 16 Mar 2022 13:52:41 +0000 Zhouyi Zhou <zhouzhouyi@gmail.com>