maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[Sema][NFC] Add test for static_assert diagnistics with constexpr template functions. 

llvm-svn: 349755
This commit is contained in:
Clement Courbet 2018-12-20 13:30:40 +00:00
parent 920936ce5f
commit 34163381b6
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/test/SemaCXX/static-assert-cxx17.cpp
View File

@ -14,6 +14,11 @@ struct S2 {
static inline constexpr bool var = global_inline_var<U, V>;
};
template <typename U, typename V>
inline constexpr bool constexpr_return_false() {
return false;
}
template <typename U, typename V>
void foo() {
static_assert(S1<U, V>::value);
@ -92,6 +97,8 @@ void foo6() {
// expected-error@-1{{static_assert failed due to requirement '(X<int> const[0]){} == nullptr'}}
static_assert(sizeof(X<decltype(X<typename T::T>().X<typename T::T>::~X())>) == 0);
// expected-error@-1{{static_assert failed due to requirement 'sizeof(X<void>) == 0'}}
static_assert(constexpr_return_false<typename T::T, typename T::U>());
// expected-error@-1{{static_assert failed due to requirement 'constexpr_return_false<int, float>()'}}
}
template void foo6<ExampleTypes>();
// expected-note@-1{{in instantiation of function template specialization 'foo6<ExampleTypes>' requested here}}