xref: /llvm-project/clang/test/Sema/rounding-math.c (revision 8c5edb59cf487373e545ccb87ffcd24cb7d0d0ec)
1 // RUN: %clang_cc1 -triple x86_64-linux -std=c17 -verify=expected,norounding %s
2 // RUN: %clang_cc1 -triple x86_64-linux -std=gnu17 -verify=expected,norounding %s
3 // RUN: %clang_cc1 -triple x86_64-linux -std=c17 -verify=expected,rounding %s -frounding-math
4 // RUN: %clang_cc1 -triple x86_64-linux -std=gnu17 -verify=expected,rounding %s -frounding-math
5 
6 #define fold(x) (__builtin_constant_p(x) ? (x) : (x))
7 
8 double a = 1.0 / 3.0;
9 
10 #define f(n) ((n) * (1.0 / 3.0))
11 _Static_assert(fold((int)f(3)) == 1, "");
12 
13 typedef int T[fold((int)f(3))];
14 typedef int T[1];
15 
16 enum Enum { enum_a = (int)f(3) };
17 
18 struct Bitfield {
19   unsigned int n : 1;
20   unsigned int m : fold((int)f(3));
21 };
22 
bitfield(struct Bitfield * b)23 void bitfield(struct Bitfield *b) {
24   b->n = (int)(6 * (1.0 / 3.0)); // norounding-warning {{changes value from 2 to 0}}
25 }
26 
vlas(void)27 void vlas(void) {
28   // This is always a VLA due to its syntactic form.
29   typedef int vla1[(int)(-3 * (1.0 / 3.0))];
30   struct X1 { vla1 v; }; // expected-error {{fields must have a constant size}}
31 
32   // This is always folded to a constant.
33   typedef int vla2[fold((int)(-3 * (1.0 / 3.0)))]; // expected-error {{negative size}}
34   struct X2 { vla2 v; };
35 }
36