clang/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
  30 typedef unsigned long ULONG;
  31 typedef long long LLONG;
  32 typedef 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  ******************************************************************************/
  38 extern X32TYPE x32;
  39 extern __typeof__(2147483648) x32;
  40 extern __typeof__(2147483648l) x32;
  41 extern __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  ******************************************************************************/
  73 extern X64TYPE x64;
  74 extern __typeof__(9223372036854775808) x64;
  75 extern __typeof__(9223372036854775808l) x64;
  76 extern __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