|
111
|
1 /* Test for integer promotion rules: extended to long long by C99. */
|
|
|
2 /* Origin: Joseph Myers <jsm@polyomino.org.uk> */
|
|
|
3 /* { dg-do compile } */
|
|
|
4 /* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
|
|
|
5
|
|
|
6 #include <limits.h>
|
|
|
7
|
|
|
8 #define CHECK(T1, T2, TC) \
|
|
|
9 do { \
|
|
|
10 T1 a = 0; \
|
|
|
11 T2 b = 0; \
|
|
|
12 TC *c = 0; \
|
|
|
13 __typeof__(a+b) *d = 0; \
|
|
|
14 c = d; \
|
|
|
15 d = c; \
|
|
|
16 } while (0)
|
|
|
17
|
|
|
18 void
|
|
|
19 f (void)
|
|
|
20 {
|
|
|
21 /* Same type. */
|
|
|
22 CHECK(int, int, int);
|
|
|
23 CHECK(unsigned int, unsigned int, unsigned int);
|
|
|
24 CHECK(long, long, long);
|
|
|
25 CHECK(unsigned long, unsigned long, unsigned long);
|
|
|
26 CHECK(long long, long long, long long);
|
|
|
27 CHECK(unsigned long long, unsigned long long, unsigned long long);
|
|
|
28 /* Both signed. */
|
|
|
29 CHECK(int, long, long);
|
|
|
30 CHECK(int, long long, long long);
|
|
|
31 CHECK(long, int, long);
|
|
|
32 CHECK(long, long long, long long);
|
|
|
33 CHECK(long long, int, long long);
|
|
|
34 CHECK(long long, long, long long);
|
|
|
35 /* Both unsigned. */
|
|
|
36 CHECK(unsigned int, unsigned long, unsigned long);
|
|
|
37 CHECK(unsigned int, unsigned long long, unsigned long long);
|
|
|
38 CHECK(unsigned long, unsigned int, unsigned long);
|
|
|
39 CHECK(unsigned long, unsigned long long, unsigned long long);
|
|
|
40 CHECK(unsigned long long, unsigned int, unsigned long long);
|
|
|
41 CHECK(unsigned long long, unsigned long, unsigned long long);
|
|
|
42 /* Unsigned of greater or equal rank. */
|
|
|
43 CHECK(int, unsigned int, unsigned int);
|
|
|
44 CHECK(int, unsigned long, unsigned long);
|
|
|
45 CHECK(int, unsigned long long, unsigned long long);
|
|
|
46 CHECK(unsigned int, int, unsigned int);
|
|
|
47 CHECK(long, unsigned long, unsigned long);
|
|
|
48 CHECK(long, unsigned long long, unsigned long long);
|
|
|
49 CHECK(unsigned long, int, unsigned long);
|
|
|
50 CHECK(unsigned long, long, unsigned long);
|
|
|
51 CHECK(long long, unsigned long long, unsigned long long);
|
|
|
52 CHECK(unsigned long long, int, unsigned long long);
|
|
|
53 CHECK(unsigned long long, long, unsigned long long);
|
|
|
54 CHECK(unsigned long long, long long, unsigned long long);
|
|
|
55 /* Signed of greater rank. */
|
|
|
56 #if LONG_MAX >= UINT_MAX
|
|
|
57 CHECK(unsigned int, long, long);
|
|
|
58 CHECK(long, unsigned int, long);
|
|
|
59 #else
|
|
|
60 CHECK(unsigned int, long, unsigned long);
|
|
|
61 CHECK(long, unsigned int, unsigned long);
|
|
|
62 #endif
|
|
|
63 #if LLONG_MAX >= UINT_MAX
|
|
|
64 CHECK(unsigned int, long long, long long);
|
|
|
65 CHECK(long long, unsigned int, long long);
|
|
|
66 #else
|
|
|
67 CHECK(unsigned int, long long, unsigned long long);
|
|
|
68 CHECK(long long, unsigned int, unsigned long long);
|
|
|
69 #endif
|
|
|
70 #if LLONG_MAX >= ULONG_MAX
|
|
|
71 CHECK(unsigned long, long long, long long);
|
|
|
72 CHECK(long long, unsigned long, long long);
|
|
|
73 #else
|
|
|
74 CHECK(unsigned long, long long, unsigned long long);
|
|
|
75 CHECK(long long, unsigned long, unsigned long long);
|
|
|
76 #endif
|
|
|
77 }
|
