1 // RUN: %clangxx -fsanitize=float-cast-overflow %s -o %t
3 // RUN: %env_ubsan_opts=print_summary=1:report_error_type=1 %run %t 0 2>&1 | FileCheck %s --check-prefix=CHECK-0
4 // RUN: %run %t 1 2>&1 | FileCheck %s --check-prefix=CHECK-1
5 // RUN: %run %t 2 2>&1 | FileCheck %s --check-prefix=CHECK-2
6 // RUN: %run %t 3 2>&1 | FileCheck %s --check-prefix=CHECK-3
7 // RUN: %run %t 4 2>&1 | FileCheck %s --check-prefix=CHECK-4
8 // RUN: %run %t 5 2>&1 | FileCheck %s --check-prefix=CHECK-5
9 // RUN: %run %t 6 2>&1 | FileCheck %s --check-prefix=CHECK-6
10 // FIXME: %run %t 7 2>&1 | FileCheck %s --check-prefix=CHECK-7
11 // FIXME: not %run %t 8 2>&1 | FileCheck %s --check-prefix=CHECK-8
12 // RUN: not %run %t 9 2>&1 | FileCheck %s --check-prefix=CHECK-9
14 // This test assumes float and double are IEEE-754 single- and double-precision.
16 #if defined(__APPLE__)
17 # include <machine/endian.h>
18 # define BYTE_ORDER __DARWIN_BYTE_ORDER
19 # define BIG_ENDIAN __DARWIN_BIG_ENDIAN
20 # define LITTLE_ENDIAN __DARWIN_LITTLE_ENDIAN
21 #elif defined(__FreeBSD__)
22 # include <sys/endian.h>
23 # define BYTE_ORDER _BYTE_ORDER
24 # define BIG_ENDIAN _BIG_ENDIAN
25 # define LITTLE_ENDIAN _LITTLE_ENDIAN
29 # define LITTLE_ENDIAN 0
32 # define BYTE_ORDER __BYTE_ORDER
33 # define BIG_ENDIAN __BIG_ENDIAN
34 # define LITTLE_ENDIAN __LITTLE_ENDIAN
43 int main(int argc
, char **argv
) {
44 float MaxFloatRepresentableAsInt
= 0x7fffff80;
45 (int)MaxFloatRepresentableAsInt
; // ok
46 (int)-MaxFloatRepresentableAsInt
; // ok
48 float MinFloatRepresentableAsInt
= -0x7fffffff - 1;
49 (int)MinFloatRepresentableAsInt
; // ok
51 float MaxFloatRepresentableAsUInt
= 0xffffff00u
;
52 (unsigned int)MaxFloatRepresentableAsUInt
; // ok
54 #ifdef __SIZEOF_INT128__
55 unsigned __int128 FloatMaxAsUInt128
= -((unsigned __int128
)1 << 104);
56 (void)(float)FloatMaxAsUInt128
; // ok
59 float NearlyMinusOne
= -0.99999;
60 unsigned Zero
= NearlyMinusOne
; // ok
63 #if BYTE_ORDER == LITTLE_ENDIAN
64 unsigned char InfVal
[] = { 0x00, 0x00, 0x80, 0x7f };
66 unsigned char InfVal
[] = { 0x7f, 0x80, 0x00, 0x00 };
69 memcpy(&Inf
, InfVal
, 4);
72 #if BYTE_ORDER == LITTLE_ENDIAN
73 unsigned char NaNVal
[] = { 0x01, 0x00, 0x80, 0x7f };
75 unsigned char NaNVal
[] = { 0x7f, 0x80, 0x00, 0x01 };
78 memcpy(&NaN
, NaNVal
, 4);
80 double DblInf
= (double)Inf
; // ok
83 // FIXME: Produce a source location for these checks and test for it here.
85 // Floating point -> integer overflow.
87 // Note that values between 0x7ffffe00 and 0x80000000 may or may not
88 // successfully round-trip, depending on the rounding mode.
89 // CHECK-0: {{.*}}cast-overflow.cpp:[[@LINE+1]]:27: runtime error: value 2.14748{{.*}} is outside the range of representable values of type 'int'
90 static int test_int
= MaxFloatRepresentableAsInt
+ 0x80;
91 // CHECK-0: SUMMARY: {{.*}}Sanitizer: float-cast-overflow {{.*}}cast-overflow.cpp:[[@LINE-1]]
95 // CHECK-1: {{.*}}cast-overflow.cpp:[[@LINE+1]]:27: runtime error: value -2.14748{{.*}} is outside the range of representable values of type 'int'
96 static int test_int
= MinFloatRepresentableAsInt
- 0x100;
100 // CHECK-2: {{.*}}cast-overflow.cpp:[[@LINE+2]]:37: runtime error: value -1 is outside the range of representable values of type 'unsigned int'
101 volatile float f
= -1.0;
102 volatile unsigned u
= (unsigned)f
;
106 // CHECK-3: {{.*}}cast-overflow.cpp:[[@LINE+1]]:37: runtime error: value 4.2949{{.*}} is outside the range of representable values of type 'unsigned int'
107 static int test_int
= (unsigned)(MaxFloatRepresentableAsUInt
+ 0x100);
112 // CHECK-4: {{.*}}cast-overflow.cpp:[[@LINE+1]]:27: runtime error: value {{.*}} is outside the range of representable values of type 'int'
113 static int test_int
= Inf
;
117 // CHECK-5: {{.*}}cast-overflow.cpp:[[@LINE+1]]:27: runtime error: value {{.*}} is outside the range of representable values of type 'int'
118 static int test_int
= NaN
;
122 // Integer -> floating point overflow.
124 // CHECK-6: cast-overflow.cpp:[[@LINE+2]]:{{34: runtime error: value 0xffffff00000000000000000000000001 is outside the range of representable values of type 'float'| __int128 not supported}}
125 #if defined(__SIZEOF_INT128__) && !defined(_WIN32)
126 static int test_int
= (float)(FloatMaxAsUInt128
+ 1);
129 // Print the same line as the check above. That way the test is robust to
130 // line changes around it
131 printf("%s:%d: __int128 not supported", __FILE__
, __LINE__
- 5);
135 // FIXME: The backend cannot lower __fp16 operations on x86 yet.
137 // (__fp16)65504; // ok
138 // // CHECK-7: runtime error: value 65505 is outside the range of representable values of type '__fp16'
139 // return (__fp16)65505;
141 // Floating point -> floating point overflow.
143 // CHECK-8: {{.*}}cast-overflow.cpp:[[@LINE+1]]:19: runtime error: value 1e+39 is outside the range of representable values of type 'float'
146 volatile long double ld
= 300.0;
147 // CHECK-9: {{.*}}cast-overflow.cpp:[[@LINE+1]]:14: runtime error: value 300 is outside the range of representable values of type 'char'