Clang Project

clang_source_code/test/Sema/PR16678.c
1// RUN: %clang_cc1 -DX32TYPE=ULONG -triple powerpc-unknown-linux-gnu -std=c89 -x c %s -verify
2// RUN: %clang_cc1 -DX32TYPE=ULONG -triple powerpc-unknown-linux-gnu -std=iso9899:199409 -x c %s -verify
3// RUN: %clang_cc1 -DX32TYPE=ULONG -triple powerpc-unknown-linux-gnu -std=c++98 -x c++ %s -verify
4// RUN: %clang_cc1 -DX32TYPE=LLONG -triple powerpc-unknown-linux-gnu -std=c99 -x c %s -verify
5// RUN: %clang_cc1 -DX32TYPE=LLONG -triple powerpc-unknown-linux-gnu -std=c11 -x c %s -verify
6// RUN: %clang_cc1 -DX32TYPE=LLONG -triple powerpc-unknown-linux-gnu -std=c++11 -x c++ %s -verify
7// RUN: %clang_cc1 -DX32TYPE=LLONG -triple powerpc-unknown-linux-gnu -std=c++1y -x c++ %s -verify
8// RUN: %clang_cc1 -DX32TYPE=LLONG -triple powerpc-unknown-linux-gnu -std=c++1z -x c++ %s -verify
9// RUN: %clang_cc1 -DX64TYPE=ULONG -triple powerpc64-unknown-linux-gnu -std=c89 -x c %s -verify
10// RUN: %clang_cc1 -DX64TYPE=ULONG -triple powerpc64-unknown-linux-gnu -std=iso9899:199409 -x c %s -verify
11// RUN: %clang_cc1 -DX64TYPE=ULONG -triple powerpc64-unknown-linux-gnu -std=c++98 -x c++ %s -verify
12// RUN: %clang_cc1 -DX64TYPE=ULLONG -triple powerpc64-unknown-linux-gnu -std=c99 -x c %s -verify
13// RUN: %clang_cc1 -DX64TYPE=ULLONG -triple powerpc64-unknown-linux-gnu -std=c11 -x c %s -verify
14// RUN: %clang_cc1 -DX64TYPE=ULLONG -triple powerpc64-unknown-linux-gnu -std=c++11 -x c++ %s -verify
15// RUN: %clang_cc1 -DX64TYPE=ULLONG -triple powerpc64-unknown-linux-gnu -std=c++1y -x c++ %s -verify
16// RUN: %clang_cc1 -DX64TYPE=ULLONG -triple powerpc64-unknown-linux-gnu -std=c++1z -x c++ %s -verify
17
18#ifdef X64TYPE
19#define X32TYPE long
20#endif
21
22#define IS_ULONG_ULONG 1
23#define IS_ULONG2(X) IS_ULONG_##X
24#define IS_ULONG(X) IS_ULONG2(X)
25
26#if !defined(X64TYPE) && !IS_ULONG(X32TYPE)
27// expected-no-diagnostics
28#endif
29
30typedef unsigned long ULONG;
31typedef long long LLONG;
32typedef unsigned long long ULLONG;
33
34
35/******************************************************************************
36 * Test 2^31 as a decimal literal with no suffix and with the "l" and "L" cases.
37 ******************************************************************************/
38extern X32TYPE x32;
39extern __typeof__(2147483648) x32;
40extern __typeof__(2147483648l) x32;
41extern __typeof__(2147483648L) x32;
42
43#if IS_ULONG(X32TYPE)
44#if !__cplusplus
45
46/******************************************************************************
47 * Under pre-C99 ISO C, unsigned long is attempted for decimal integer literals
48 * that do not have a suffix containing "u" or "U" if the literal does not fit
49 * within the range of int or long. See 6.1.3.2 paragraph 5.
50 ******************************************************************************/
51// expected-warning@39 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C89; this literal will have type 'long long' in C99 onwards}}
52// expected-warning@40 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C89; this literal will have type 'long long' in C99 onwards}}
53// expected-warning@41 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C89; this literal will have type 'long long' in C99 onwards}}
54#else
55
56/******************************************************************************
57 * Under pre-C++11 ISO C++, the same holds if the literal contains an "l" or "L"
58 * in its suffix; otherwise, the behavior is undefined. See 2.13.1 [lex.icon]
59 * paragraph 2.
60 ******************************************************************************/
61// expected-warning@39 {{integer literal is too large to be represented in type 'long' and is subject to undefined behavior under C++98, interpreting as 'unsigned long'; this literal will have type 'long long' in C++11 onwards}}
62// expected-warning@40 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C++98; this literal will have type 'long long' in C++11 onwards}}
63// expected-warning@41 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C++98; this literal will have type 'long long' in C++11 onwards}}
64#endif
65#endif
66
67
68#ifdef X64TYPE
69
70/******************************************************************************
71 * Test 2^63 as a decimal literal with no suffix and with the "l" and "L" cases.
72 ******************************************************************************/
73extern X64TYPE x64;
74extern __typeof__(9223372036854775808) x64;
75extern __typeof__(9223372036854775808l) x64;
76extern __typeof__(9223372036854775808L) x64;
77
78#if IS_ULONG(X64TYPE)
79
80#if !__cplusplus
81
82/******************************************************************************
83 * Under pre-C99 ISO C, unsigned long is attempted for decimal integer literals
84 * that do not have a suffix containing "u" or "U" if the literal does not fit
85 * within the range of int or long. See 6.1.3.2 paragraph 5.
86 ******************************************************************************/
87// expected-warning@74 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C89; this literal will be ill-formed in C99 onwards}}
88// expected-warning@75 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C89; this literal will be ill-formed in C99 onwards}}
89// expected-warning@76 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C89; this literal will be ill-formed in C99 onwards}}
90#else
91
92/******************************************************************************
93 * Under pre-C++11 ISO C++, the same holds if the literal contains an "l" or "L"
94 * in its suffix; otherwise, the behavior is undefined. See 2.13.1 [lex.icon]
95 * paragraph 2.
96 ******************************************************************************/
97// expected-warning@74 {{integer literal is too large to be represented in type 'long' and is subject to undefined behavior under C++98, interpreting as 'unsigned long'; this literal will be ill-formed in C++11 onwards}}
98// expected-warning@75 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C++98; this literal will be ill-formed in C++11 onwards}}
99// expected-warning@76 {{integer literal is too large to be represented in type 'long', interpreting as 'unsigned long' per C++98; this literal will be ill-formed in C++11 onwards}}
100#endif
101#else
102
103/******************************************************************************
104 * The status quo in C99/C++11-and-later modes for the literals in question is
105 * to interpret them as unsigned as an extension.
106 ******************************************************************************/
107// expected-warning@74 {{integer literal is too large to be represented in a signed integer type, interpreting as unsigned}}
108// expected-warning@75 {{integer literal is too large to be represented in a signed integer type, interpreting as unsigned}}
109// expected-warning@76 {{integer literal is too large to be represented in a signed integer type, interpreting as unsigned}}
110#endif
111#endif
112
113
114/******************************************************************************
115 * Test preprocessor arithmetic with 2^31 as a decimal literal with no suffix
116 * and with the "l" and "L" cases.
117 ******************************************************************************/
118#if !IS_ULONG(X32TYPE)
119
120/******************************************************************************
121 * If the literal is signed without need for the modified range of the signed
122 * integer types within the controlling constant expression for conditional
123 * inclusion, then it will also be signed with said modified range.
124 ******************************************************************************/
125#define EXPR(X) ((X - X) - 1 < 0)
126#else
127
128/******************************************************************************
129 * Strictly speaking, in pre-C99/C++11 ISO C/C++, the preprocessor arithmetic is
130 * evaluated with the range of long/unsigned long; however, both Clang and GCC
131 * evaluate using 64-bits even when long/unsigned long are 32-bits outside of
132 * preprocessing.
133 *
134 * If the range used becomes 32-bits, then this test will enforce the treatment
135 * as unsigned of the literals in question.
136 *
137 * Note:
138 * Under pre-C99/C++11 ISO C/C++, whether the interpretation of the literal is
139 * affected by the modified range of the signed and unsigned integer types
140 * within the controlling constant expression for conditional inclusion is
141 * unclear.
142 ******************************************************************************/
143#define PP_LONG_MAX ((0ul - 1ul) >> 1)
144#define EXPR(X)                                                                \
145  (PP_LONG_MAX >= 0x80000000 || (X - X) - 1 > 0) // either 2^31 fits into a
146                                                 // preprocessor "long" or the
147                                                 // literals in question are
148                                                 // unsigned
149#endif
150
151#if !(EXPR(2147483648) && EXPR(2147483648l) && EXPR(2147483648L))
152#error Unexpected signedness or conversion behavior
153#endif
154
CodeThinker, Enjoy your reading code