1*f4a2713aSLionel Sambuc // RUN: not %clang_cc1 -std=c++11 -fsyntax-only %s -fconstexpr-backtrace-limit 0 -fconstexpr-depth 4 -fno-caret-diagnostics 2>&1 | FileCheck %s -check-prefix=TEST1
2*f4a2713aSLionel Sambuc // TEST1: constant expression
3*f4a2713aSLionel Sambuc // TEST1-NEXT: exceeded maximum depth of 4
4*f4a2713aSLionel Sambuc // TEST1-NEXT: in call to 'recurse(2)'
5*f4a2713aSLionel Sambuc // TEST1-NEXT: in call to 'recurse(3)'
6*f4a2713aSLionel Sambuc // TEST1-NEXT: in call to 'recurse(4)'
7*f4a2713aSLionel Sambuc // TEST1-NEXT: in call to 'recurse(5)'
8*f4a2713aSLionel Sambuc
9*f4a2713aSLionel Sambuc // RUN: not %clang_cc1 -std=c++11 -fsyntax-only %s -fconstexpr-backtrace-limit 2 -fconstexpr-depth 4 -fno-caret-diagnostics 2>&1 | FileCheck %s -check-prefix=TEST2
10*f4a2713aSLionel Sambuc // TEST2: constant expression
11*f4a2713aSLionel Sambuc // TEST2-NEXT: exceeded maximum depth of 4
12*f4a2713aSLionel Sambuc // TEST2-NEXT: in call to 'recurse(2)'
13*f4a2713aSLionel Sambuc // TEST2-NEXT: skipping 2 calls
14*f4a2713aSLionel Sambuc // TEST2-NEXT: in call to 'recurse(5)'
15*f4a2713aSLionel Sambuc
16*f4a2713aSLionel Sambuc // RUN: not %clang_cc1 -std=c++11 -fsyntax-only %s -fconstexpr-backtrace-limit 2 -fconstexpr-depth 8 -fno-caret-diagnostics 2>&1 | FileCheck %s -check-prefix=TEST3
17*f4a2713aSLionel Sambuc // TEST3: constant expression
18*f4a2713aSLionel Sambuc // TEST3-NEXT: reinterpret_cast
19*f4a2713aSLionel Sambuc // TEST3-NEXT: in call to 'recurse(0)'
20*f4a2713aSLionel Sambuc // TEST3-NEXT: skipping 4 calls
21*f4a2713aSLionel Sambuc // TEST3-NEXT: in call to 'recurse(5)'
22*f4a2713aSLionel Sambuc
23*f4a2713aSLionel Sambuc // RUN: not %clang_cc1 -std=c++11 -fsyntax-only %s -fconstexpr-backtrace-limit 8 -fconstexpr-depth 8 -fno-caret-diagnostics 2>&1 | FileCheck %s -check-prefix=TEST4
24*f4a2713aSLionel Sambuc // TEST4: constant expression
25*f4a2713aSLionel Sambuc // TEST4-NEXT: reinterpret_cast
26*f4a2713aSLionel Sambuc // TEST4-NEXT: in call to 'recurse(0)'
27*f4a2713aSLionel Sambuc // TEST4-NEXT: in call to 'recurse(1)'
28*f4a2713aSLionel Sambuc // TEST4-NEXT: in call to 'recurse(2)'
29*f4a2713aSLionel Sambuc // TEST4-NEXT: in call to 'recurse(3)'
30*f4a2713aSLionel Sambuc // TEST4-NEXT: in call to 'recurse(4)'
31*f4a2713aSLionel Sambuc // TEST4-NEXT: in call to 'recurse(5)'
32*f4a2713aSLionel Sambuc
recurse(int n)33*f4a2713aSLionel Sambuc constexpr int recurse(int n) { return n ? recurse(n-1) : *(int*)n; }
34*f4a2713aSLionel Sambuc static_assert(recurse(5), "");
35