Clang Project

clang_source_code/test/Sema/integer-overflow.c
1// RUN: %clang_cc1 %s -verify -fsyntax-only -triple x86_64-pc-linux-gnu
2typedef unsigned long long uint64_t;
3typedef unsigned int uint32_t;
4
5// Check integer sizes.
6int array64[sizeof(uint64_t) == 8 ? 1 : -1];
7int array32[sizeof(uint32_t) == 4 ? 1 : -1];
8int arrayint[sizeof(int) < sizeof(uint64_t) ? 1 : -1];
9
10uint64_t f0(uint64_t);
11uint64_t f1(uint64_t, uint32_t);
12uint64_t f2(uint64_t, ...);
13
14static const uint64_t overflow = 1 * 4608 * 1024 * 1024; // expected-warning {{overflow in expression; result is 536870912 with type 'int'}}
15
16uint64_t check_integer_overflows(int i) {
17// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
18  uint64_t overflow = 4608 * 1024 * 1024,
19// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
20           overflow2 = (uint64_t)(4608 * 1024 * 1024),
21// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
22           overflow3 = (uint64_t)(4608 * 1024 * 1024 * i),
23// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
24           overflow4 =  (1ULL * ((4608) * ((1024) * (1024))) + 2ULL),
25// expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
26           multi_overflow = (uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024));
27
28// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
29  overflow += overflow2 = overflow3 = (uint64_t)(4608 * 1024 * 1024);
30// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
31  overflow += overflow2 = overflow3 = 4608 * 1024 * 1024;
32
33  uint64_t not_overflow = 4608 * 1024 * 1024ULL;
34  uint64_t not_overflow2 = (1ULL * ((uint64_t)(4608) * (1024 * 1024)) + 2ULL);
35
36// expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
37  overflow = 4608 * 1024 * 1024 ?  4608 * 1024 * 1024 : 0;
38
39// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
40  overflow =  0 ? 0 : 4608 * 1024 * 1024;
41
42// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
43  if (4608 * 1024 * 1024)
44    return 0;
45
46// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
47  if ((uint64_t)(4608 * 1024 * 1024))
48    return 1;
49
50// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
51  if ((uint64_t)(4608 * 1024 * 1024))
52    return 2;
53
54// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
55  if ((uint64_t)(4608 * 1024 * 1024 * i))
56    return 3;
57
58// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
59  if ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL))
60    return 4;
61
62// expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
63  if ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024)))
64    return 5;
65
66  switch (i) {
67// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
68  case 4608 * 1024 * 1024:
69    return 6;
70// expected-warning@+1 {{overflow in expression; result is 537919488 with type 'int'}}
71  case (uint64_t)(4609 * 1024 * 1024):
72    return 7;
73// expected-error@+1 {{expression is not an integer constant expression}}
74  case ((uint64_t)(4608 * 1024 * 1024 * i)):
75    return 8;
76// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
77  case ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL)):
78    return 9;
79// expected-warning@+2 2{{overflow in expression; result is 536870912 with type 'int'}}
80// expected-warning@+1 {{overflow converting case value to switch condition type (288230376151711744 to 0)}}
81  case ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024))):
82    return 10;
83  }
84
85// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
86  while (4608 * 1024 * 1024);
87
88// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
89  while ((uint64_t)(4608 * 1024 * 1024));
90
91// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
92  while ((uint64_t)(4608 * 1024 * 1024));
93
94// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
95  while ((uint64_t)(4608 * 1024 * 1024 * i));
96
97// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
98  while ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL));
99
100// expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
101  while ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024)));
102
103// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
104  do { } while (4608 * 1024 * 1024);
105
106// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
107  do { } while ((uint64_t)(4608 * 1024 * 1024));
108
109// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
110  do { } while ((uint64_t)(4608 * 1024 * 1024));
111
112// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
113  do { } while ((uint64_t)(4608 * 1024 * 1024 * i));
114
115// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
116  do { } while ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL));
117
118// expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
119  do { } while ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024)));
120
121// expected-warning@+3 {{overflow in expression; result is 536870912 with type 'int'}}
122// expected-warning@+3 {{overflow in expression; result is 536870912 with type 'int'}}
123// expected-warning@+3 {{overflow in expression; result is 536870912 with type 'int'}}
124  for (uint64_t i = 4608 * 1024 * 1024;
125       (uint64_t)(4608 * 1024 * 1024);
126       i += (uint64_t)(4608 * 1024 * 1024 * i));
127
128// expected-warning@+3 {{overflow in expression; result is 536870912 with type 'int'}}
129// expected-warning@+3 2{{overflow in expression; result is 536870912 with type 'int'}}
130// expected-warning@+3 2{{overflow in expression; result is 536870912 with type 'int'}}
131  for (uint64_t i = (1ULL * ((4608) * ((1024) * (1024))) + 2ULL);
132       ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024)));
133       i = ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024))));
134
135// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
136  _Complex long long x = 4608 * 1024 * 1024;
137
138// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
139  (__real__ x) = 4608 * 1024 * 1024;
140
141// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
142  (__imag__ x) = 4608 * 1024 * 1024;
143
144// expected-warning@+4 {{overflow in expression; result is 536870912 with type 'int'}}
145// expected-warning@+3 {{array index 536870912 is past the end of the array (which contains 10 elements)}}
146// expected-note@+1 {{array 'a' declared here}}
147  uint64_t a[10];
148  a[4608 * 1024 * 1024] = 1i;
149
150// expected-warning@+2 {{overflow in expression; result is 536870912 with type 'int'}}
151  uint64_t *b;
152  uint64_t b2 = b[4608 * 1024 * 1024] + 1;
153
154// expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
155  (void)((i ? (4608 * 1024 * 1024) : (4608 * 1024 * 1024)) + 1);
156
157// expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
158  return ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024)));
159}
160
161void check_integer_overflows_in_function_calls() {
162// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
163  (void)f0(4608 * 1024 * 1024);
164
165// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
166  uint64_t x = f0(4608 * 1024 * 1024);
167
168// expected-warning@+2 {{overflow in expression; result is 536870912 with type 'int'}}
169  uint64_t (*f0_ptr)(uint64_t) = &f0;
170  (void)(*f0_ptr)(4608 * 1024 * 1024);
171
172// expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
173  (void)f2(0, f0(4608 * 1024 * 1024));
174}
175void check_integer_overflows_in_array_size() {
176  int arr[4608 * 1024 * 1024]; // expected-warning {{overflow in expression; result is 536870912 with type 'int'}}
177}
178
179struct s {
180  unsigned x;
181  unsigned y;
182} s = {
183  .y = 5,
184  .x = 4 * 1024 * 1024 * 1024  // expected-warning {{overflow in expression; result is 0 with type 'int'}}
185};
186
187struct s2 {
188  unsigned a0;
189
190  struct s3 {
191    unsigned a2;
192
193    struct s4 {
194      unsigned a4;
195    } a3;
196  } a1;
197} s2 = {
198  .a0 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
199  {
200    .a2 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
201    {
202      .a4 = 4 * 1024 * 1024 * 1024 // expected-warning {{overflow in expression; result is 0 with type 'int'}}
203    }
204  }
205};
206
CodeThinker, Enjoy your reading code