xref: /llvm-project/clang/test/AST/ByteCode/depth-limit2.cpp (revision a07aba5d44204a7ca0d891a3da05af9960081e4c)
1*a07aba5dSTimm Baeder // RUN: %clang_cc1 -fexperimental-new-constant-interpreter -fconstexpr-depth=2 -verify %s
2*a07aba5dSTimm Baeder // RUN: %clang_cc1 -fconstexpr-depth=2 -verify=ref %s
3*a07aba5dSTimm Baeder 
4*a07aba5dSTimm Baeder 
5*a07aba5dSTimm Baeder constexpr int func() {
6*a07aba5dSTimm Baeder   return 12;
7*a07aba5dSTimm Baeder }
8*a07aba5dSTimm Baeder 
9*a07aba5dSTimm Baeder constexpr int foo() {
10*a07aba5dSTimm Baeder   return func(); // expected-note {{exceeded maximum depth of 2 calls}} \
11*a07aba5dSTimm Baeder                  // ref-note {{exceeded maximum depth of 2 calls}}
12*a07aba5dSTimm Baeder }
13*a07aba5dSTimm Baeder 
14*a07aba5dSTimm Baeder constexpr int bar() {
15*a07aba5dSTimm Baeder   return foo(); // expected-note {{in call to 'foo()'}} \
16*a07aba5dSTimm Baeder                 // ref-note {{in call to 'foo()'}}
17*a07aba5dSTimm Baeder }
18*a07aba5dSTimm Baeder 
19*a07aba5dSTimm Baeder static_assert(bar() == 12, ""); // expected-error {{not an integral constant expression}} \
20*a07aba5dSTimm Baeder                                 // expected-note {{in call to 'bar()'}} \
21*a07aba5dSTimm Baeder                                 // ref-error {{not an integral constant expression}} \
22*a07aba5dSTimm Baeder                                 // ref-note {{in call to 'bar()'}}
23*a07aba5dSTimm Baeder 
24