1*925213b0SRafael Espindola // 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
2f6f003afSRichard Smith // TEST1: constant expression
3f6f003afSRichard Smith // TEST1-NEXT: exceeded maximum depth of 4
4f6f003afSRichard Smith // TEST1-NEXT: in call to 'recurse(2)'
5f6f003afSRichard Smith // TEST1-NEXT: in call to 'recurse(3)'
6f6f003afSRichard Smith // TEST1-NEXT: in call to 'recurse(4)'
7f6f003afSRichard Smith // TEST1-NEXT: in call to 'recurse(5)'
8f6f003afSRichard Smith
9*925213b0SRafael Espindola // 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
10f6f003afSRichard Smith // TEST2: constant expression
11f6f003afSRichard Smith // TEST2-NEXT: exceeded maximum depth of 4
12f6f003afSRichard Smith // TEST2-NEXT: in call to 'recurse(2)'
13f6f003afSRichard Smith // TEST2-NEXT: skipping 2 calls
14f6f003afSRichard Smith // TEST2-NEXT: in call to 'recurse(5)'
15f6f003afSRichard Smith
16*925213b0SRafael Espindola // 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
17f6f003afSRichard Smith // TEST3: constant expression
18a8105bc9SRichard Smith // TEST3-NEXT: reinterpret_cast
19f6f003afSRichard Smith // TEST3-NEXT: in call to 'recurse(0)'
20f6f003afSRichard Smith // TEST3-NEXT: skipping 4 calls
21f6f003afSRichard Smith // TEST3-NEXT: in call to 'recurse(5)'
22f6f003afSRichard Smith
23*925213b0SRafael Espindola // 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
24f6f003afSRichard Smith // TEST4: constant expression
25a8105bc9SRichard Smith // TEST4-NEXT: reinterpret_cast
26f6f003afSRichard Smith // TEST4-NEXT: in call to 'recurse(0)'
27f6f003afSRichard Smith // TEST4-NEXT: in call to 'recurse(1)'
28f6f003afSRichard Smith // TEST4-NEXT: in call to 'recurse(2)'
29f6f003afSRichard Smith // TEST4-NEXT: in call to 'recurse(3)'
30f6f003afSRichard Smith // TEST4-NEXT: in call to 'recurse(4)'
31f6f003afSRichard Smith // TEST4-NEXT: in call to 'recurse(5)'
32f6f003afSRichard Smith
recurse(int n)33f6f003afSRichard Smith constexpr int recurse(int n) { return n ? recurse(n-1) : *(int*)n; }
34f6f003afSRichard Smith static_assert(recurse(5), "");
35