cast-overflow.cpp revision 909fff81b83df049ecc6e02407394640435d7bef 
1// FIXME: run this (and other) UBSan tests in both 32- and 64-bit modes (?).
2// RUN: %clangxx -fsanitize=float-cast-overflow %s -o %t
3// RUN: %run %t _
4// RUN: %run %t 0 2>&1 | FileCheck %s --check-prefix=CHECK-0
5// RUN: %run %t 1 2>&1 | FileCheck %s --check-prefix=CHECK-1
6// RUN: %run %t 2 2>&1 | FileCheck %s --check-prefix=CHECK-2
7// RUN: %run %t 3 2>&1 | FileCheck %s --check-prefix=CHECK-3
8// RUN: %run %t 4 2>&1 | FileCheck %s --check-prefix=CHECK-4
9// RUN: %run %t 5 2>&1 | FileCheck %s --check-prefix=CHECK-5
10// RUN: %run %t 6 2>&1 | FileCheck %s --check-prefix=CHECK-6
11// FIXME: %run %t 7 2>&1 | FileCheck %s --check-prefix=CHECK-7
12// FIXME: not %run %t 8 2>&1 | FileCheck %s --check-prefix=CHECK-8
13// RUN: not %run %t 9 2>&1 | FileCheck %s --check-prefix=CHECK-9
14
15// This test assumes float and double are IEEE-754 single- and double-precision.
16
17#if defined(__APPLE__)
18# include <machine/endian.h>
19# define BYTE_ORDER __DARWIN_BYTE_ORDER
20# define BIG_ENDIAN __DARWIN_BIG_ENDIAN
21# define LITTLE_ENDIAN __DARWIN_LITTLE_ENDIAN
22#elif defined(__FreeBSD__)
23# include <sys/endian.h>
24# define BYTE_ORDER _BYTE_ORDER
25# define BIG_ENDIAN _BIG_ENDIAN
26# define LITTLE_ENDIAN _LITTLE_ENDIAN
27#else
28# include <endian.h>
29# define BYTE_ORDER __BYTE_ORDER
30# define BIG_ENDIAN __BIG_ENDIAN
31# define LITTLE_ENDIAN __LITTLE_ENDIAN
32#endif  // __APPLE__
33#include <stdint.h>
34#include <stdio.h>
35#include <string.h>
36
37float Inf;
38float NaN;
39
40int main(int argc, char **argv) {
41  float MaxFloatRepresentableAsInt = 0x7fffff80;
42  (int)MaxFloatRepresentableAsInt; // ok
43  (int)-MaxFloatRepresentableAsInt; // ok
44
45  float MinFloatRepresentableAsInt = -0x7fffffff - 1;
46  (int)MinFloatRepresentableAsInt; // ok
47
48  float MaxFloatRepresentableAsUInt = 0xffffff00u;
49  (unsigned int)MaxFloatRepresentableAsUInt; // ok
50
51#ifdef __SIZEOF_INT128__
52  unsigned __int128 FloatMaxAsUInt128 = -((unsigned __int128)1 << 104);
53  (void)(float)FloatMaxAsUInt128; // ok
54#endif
55
56  float NearlyMinusOne = -0.99999;
57  unsigned Zero = NearlyMinusOne; // ok
58
59  // Build a '+Inf'.
60#if BYTE_ORDER == LITTLE_ENDIAN
61  char InfVal[] = { 0x00, 0x00, 0x80, 0x7f };
62#else
63  char InfVal[] = { 0x7f, 0x80, 0x00, 0x00 };
64#endif
65  float Inf;
66  memcpy(&Inf, InfVal, 4);
67
68  // Build a 'NaN'.
69#if BYTE_ORDER == LITTLE_ENDIAN
70  char NaNVal[] = { 0x01, 0x00, 0x80, 0x7f };
71#else
72  char NaNVal[] = { 0x7f, 0x80, 0x00, 0x01 };
73#endif
74  float NaN;
75  memcpy(&NaN, NaNVal, 4);
76
77  double DblInf = (double)Inf; // ok
78
79  switch (argv[1][0]) {
80    // FIXME: Produce a source location for these checks and test for it here.
81
82    // Floating point -> integer overflow.
83  case '0': {
84    // Note that values between 0x7ffffe00 and 0x80000000 may or may not
85    // successfully round-trip, depending on the rounding mode.
86    // CHECK-0: runtime error: value 2.14748{{.*}} is outside the range of representable values of type 'int'
87    static int test_int = MaxFloatRepresentableAsInt + 0x80;
88    return 0;
89    }
90  case '1':
91    // CHECK-1: runtime error: value -2.14748{{.*}} is outside the range of representable values of type 'int'
92    return MinFloatRepresentableAsInt - 0x100;
93  case '2': {
94    // CHECK-2: runtime error: value -1 is outside the range of representable values of type 'unsigned int'
95    volatile float f = -1.0;
96    volatile unsigned u = (unsigned)f;
97    return 0;
98  }
99  case '3': {
100    // CHECK-3: runtime error: value 4.2949{{.*}} is outside the range of representable values of type 'unsigned int'
101    static int test_int = (unsigned)(MaxFloatRepresentableAsUInt + 0x100);
102    return 0;
103  }
104
105  case '4': {
106    // CHECK-4: runtime error: value {{.*}} is outside the range of representable values of type 'int'
107    static int test_int = Inf;
108    return 0;
109  }
110  case '5':
111    // CHECK-5: runtime error: value {{.*}} is outside the range of representable values of type 'int'
112    return NaN;
113
114    // Integer -> floating point overflow.
115  case '6': {
116    // CHECK-6: {{runtime error: value 0xffffff00000000000000000000000001 is outside the range of representable values of type 'float'|__int128 not supported}}
117#ifdef __SIZEOF_INT128__
118    static int test_int = (float)(FloatMaxAsUInt128 + 1);
119    return 0;
120#else
121    puts("__int128 not supported");
122    return 0;
123#endif
124  }
125  // FIXME: The backend cannot lower __fp16 operations on x86 yet.
126  //case '7':
127  //  (__fp16)65504; // ok
128  //  // CHECK-7: runtime error: value 65505 is outside the range of representable values of type '__fp16'
129  //  return (__fp16)65505;
130
131    // Floating point -> floating point overflow.
132  case '8':
133    // CHECK-8: runtime error: value 1e+39 is outside the range of representable values of type 'float'
134    return (float)1e39;
135  case '9':
136    volatile long double ld = 300.0;
137    // CHECK-9: runtime error: value 300 is outside the range of representable values of type 'char'
138    char c = ld;
139    return c;
140  }
141}
142