Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2025-03-04 16:41:43 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Add test for an invalid requirement in requires expr.

Browse Source 
The one introduced in D140547 was brittle. Fixing max template depth to
a small value would still test the same issue without causing actual
stack exhaustion.

Differential Revision: https://reviews.llvm.org/D141818
This commit is contained in:
Utkarsh Saxena 2023-01-16 07:29:38 +01:00
parent ef8cdf6d94
commit 15ad244670
1 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
clang/test/SemaCXX/invalid-requirement-requires-expr.cpp Normal file
View File

@ -0,0 +1,27 @@
// RUN: %clang -fsyntax-only -std=c++2a -Xclang -verify -ftemplate-depth=5 -ftemplate-backtrace-limit=4 %s
// RequiresExpr contains invalid requirement. (Eg. Highly recurisive template).
template<int x>
struct A { static constexpr bool far(); };
class B {
bool data_member;
friend struct A<1>;
};
template<>
constexpr bool A<0>::far() { return true; }
template<int x>
constexpr bool A<x>::far() {
return requires(B b) {
b.data_member;
requires A<x-1>::far(); // #Invalid
// expected-error@#Invalid {{recursive template instantiation exceeded maximum depth}}
// expected-note@#Invalid {{in instantiation}}
// expected-note@#Invalid 2 {{while}}
// expected-note@#Invalid {{contexts in backtrace}}
// expected-note@#Invalid {{increase recursive template instantiation depth}}
};
}
static_assert(A<1>::far());
static_assert(!A<6>::far()); // expected-note {{in instantiation of member function}}