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