1 // RUN: not %clang_cc1 -fsyntax-only -fdiagnostics-print-source-range-info -fcxx-exceptions %s 2>&1 | FileCheck %s
2 // RUN: not %clang_cc1 -fsyntax-only -fexperimental-new-constant-interpreter -fdiagnostics-print-source-range-info -fcxx-exceptions %s 2>&1 | FileCheck %s
3
f()4 constexpr int f() {
5 throw 1;
6 return 0;
7 }
8
9 // CHECK: constexpr-source-ranges.cpp:5:3:{5:3-5:10}
10
11
12 constexpr int I = 12;
13 constexpr const int *P = &I;
14 constexpr long L = (long)P;
15 // CHECK: constexpr-source-ranges.cpp:14:20:{14:20-14:27}
16
zero()17 constexpr int zero() {
18 return 0;
19 }
divByZero()20 constexpr int divByZero() {
21 return 1 / zero();
22 }
23 static_assert(divByZero() == 0, "");
24 /// We see this twice. Once from sema and once when
25 /// evaluating the static_assert above.
26 // CHECK: constexpr-source-ranges.cpp:23:15:{23:15-23:31}
27 // CHECK: constexpr-source-ranges.cpp:21:12:{21:14-21:20}
28
div(bool a,bool b)29 constexpr int div(bool a, bool b) {
30 return 1 / (int)b;
31 }
ints(int a,int b,int c,int d)32 constexpr int ints(int a, int b, int c, int d) {
33 return 1;
34 }
35 static_assert(ints(1, div(true, false), 2, div(false, true)) == 1, "");
36 // CHECK: constexpr-source-ranges.cpp:35:23:{35:23-35:39}
37
38 namespace overflow {
39 // CHECK: :{[[@LINE+1]]:9-[[@LINE+1]]:29}:
40 int x = -1 + __INT_MAX__ + 2 + 3;
41 // CHECK: :{[[@LINE+1]]:9-[[@LINE+1]]:19}:
42 int a = -(1 << 31) + 1;
43 }
44
45
uninit()46 constexpr int uninit() {
47 int aaa;
48 // CHECK: :{[[@LINE+1]]:10-[[@LINE+1]]:13}:
49 return aaa;
50 }
51 static_assert(uninit() == 0, "");
52
53
neverValid()54 constexpr void neverValid() { throw; }
55 // CHECK: :{[[@LINE-1]]:16-[[@LINE-1]]:26}:
56