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 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 17 constexpr int zero() { 18 return 0; 19 } 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 29 constexpr int div(bool a, bool b) { 30 return 1 / (int)b; 31 } 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 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