Perform type-checking for a converted constant expression in a template
argument even if the expression is value-dependent (we need to suppress the final portion of the narrowing check, but the rest of the checking can still be done eagerly). This affects template template argument validity and partial ordering under p0522r0. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@290276 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- include/clang/Sema/Overload.h 5 additions, 1 deletioninclude/clang/Sema/Overload.h
- lib/Sema/SemaInit.cpp 2 additions, 1 deletionlib/Sema/SemaInit.cpp
- lib/Sema/SemaOverload.cpp 23 additions, 0 deletionslib/Sema/SemaOverload.cpp
- lib/Sema/SemaTemplate.cpp 7 additions, 7 deletionslib/Sema/SemaTemplate.cpp
- test/SemaTemplate/temp_arg_nontype_cxx1z.cpp 2 additions, 2 deletionstest/SemaTemplate/temp_arg_nontype_cxx1z.cpp
Loading
Please register or sign in to comment