61 lines
1.9 KiB
C++
61 lines
1.9 KiB
C++
// RUN: %clang_cc1 -triple x86_64-linux-gnu %s -fexperimental-overflow-behavior-types -verify -fsyntax-only -std=c++14
|
|
// RUN: %clang_cc1 -triple x86_64-linux-gnu %s -fexperimental-overflow-behavior-types -verify -fsyntax-only -std=c++14 -fexperimental-new-constant-interpreter
|
|
|
|
#define __wrap __attribute__((overflow_behavior(wrap)))
|
|
#define __no_trap __attribute__((overflow_behavior(trap)))
|
|
|
|
typedef int __ob_wrap wrap_int;
|
|
typedef int __ob_trap no_trap_int;
|
|
|
|
constexpr wrap_int add(wrap_int a, wrap_int b) {
|
|
return a + b;
|
|
}
|
|
|
|
constexpr no_trap_int sub(no_trap_int a, no_trap_int b) {
|
|
return a - b; // expected-note {{value -2147483649 is outside the range of representable values of type 'no_trap_int' (aka '__ob_trap int')}}
|
|
}
|
|
|
|
constexpr wrap_int preinc(wrap_int a) {
|
|
++a;
|
|
return a;
|
|
}
|
|
|
|
constexpr wrap_int postinc(wrap_int a) {
|
|
a++;
|
|
return a;
|
|
}
|
|
|
|
void constexpr_test() {
|
|
constexpr wrap_int max = 2147483647;
|
|
constexpr wrap_int one = 1;
|
|
static_assert(add(max, one) == -2147483648, "constexpr wrapping failed");
|
|
|
|
constexpr no_trap_int min = -2147483648;
|
|
constexpr no_trap_int one_nw = 1;
|
|
constexpr no_trap_int res = sub(min, one_nw); // expected-error {{constexpr variable 'res' must be initialized by a constant expression}} expected-note {{in call to 'sub(-2147483648, 1)'}}
|
|
|
|
static_assert(preinc(max) == -2147483648, "preinc wrapping failed");
|
|
static_assert(postinc(max) == -2147483648, "postinc wrapping failed");
|
|
|
|
constexpr wrap_int M = -2147483648;
|
|
constexpr wrap_int A = -M;
|
|
}
|
|
|
|
template <typename T>
|
|
void check_deduction_wrap(T) {
|
|
static_assert(__is_same(T, wrap_int), "T should be deduced as wrap_int");
|
|
}
|
|
|
|
template <typename T>
|
|
void check_deduction_no_trap(T) {
|
|
static_assert(__is_same(T, no_trap_int), "T should be deduced as no_trap_int");
|
|
}
|
|
|
|
void template_deduction_test() {
|
|
wrap_int w = 0;
|
|
check_deduction_wrap(w);
|
|
|
|
no_trap_int nw = 0;
|
|
check_deduction_no_trap(nw);
|
|
}
|