test/SemaCXX/compare.cpp

   1 // Force x86-64 because some of our heuristics are actually based
   2 // on integer sizes.
   3
   4 // RUN: %clang_cc1 -triple x86_64-apple-darwin -fsyntax-only -pedantic -verify -Wsign-compare %s
   5
   6 int test0(long a, unsigned long b) {
   7   enum EnumA {A};
   8   enum EnumB {B};
   9   enum EnumC {C = 0x10000};
  10   return
  11          // (a,b)
  12          (a == (unsigned long) b) +  // expected-warning {{comparison of integers of different signs}}
  13          (a == (unsigned int) b) +
  14          (a == (unsigned short) b) +
  15          (a == (unsigned char) b) +
  16          ((long) a == b) +  // expected-warning {{comparison of integers of different signs}}
  17          ((int) a == b) +  // expected-warning {{comparison of integers of different signs}}
  18          ((short) a == b) +  // expected-warning {{comparison of integers of different signs}}
  19          ((signed char) a == b) +  // expected-warning {{comparison of integers of different signs}}
  20          ((long) a == (unsigned long) b) +  // expected-warning {{comparison of integers of different signs}}
  21          ((int) a == (unsigned int) b) +  // expected-warning {{comparison of integers of different signs}}
  22          ((short) a == (unsigned short) b) +  // expected-warning {{comparison of integers of different signs}}
  23          ((signed char) a == (unsigned char) b) +  // expected-warning {{comparison of integers of different signs}}
  24          (a < (unsigned long) b) +  // expected-warning {{comparison of integers of different signs}}
  25          (a < (unsigned int) b) +
  26          (a < (unsigned short) b) +
  27          (a < (unsigned char) b) +
  28          ((long) a < b) +  // expected-warning {{comparison of integers of different signs}}
  29          ((int) a < b) +  // expected-warning {{comparison of integers of different signs}}
  30          ((short) a < b) +  // expected-warning {{comparison of integers of different signs}}
  31          ((signed char) a < b) +  // expected-warning {{comparison of integers of different signs}}
  32          ((long) a < (unsigned long) b) +  // expected-warning {{comparison of integers of different signs}}
  33          ((int) a < (unsigned int) b) +  // expected-warning {{comparison of integers of different signs}}
  34          ((short) a < (unsigned short) b) +  // expected-warning {{comparison of integers of different signs}}
  35          ((signed char) a < (unsigned char) b) +  // expected-warning {{comparison of integers of different signs}}
  36
  37          // (A,b)
  38          (A == (unsigned long) b) +
  39          (A == (unsigned int) b) +
  40          (A == (unsigned short) b) +
  41          (A == (unsigned char) b) +
  42          ((long) A == b) +
  43          ((int) A == b) +
  44          ((short) A == b) +
  45          ((signed char) A == b) +
  46          ((long) A == (unsigned long) b) +
  47          ((int) A == (unsigned int) b) +
  48          ((short) A == (unsigned short) b) +
  49          ((signed char) A == (unsigned char) b) +
  50          (A < (unsigned long) b) +
  51          (A < (unsigned int) b) +
  52          (A < (unsigned short) b) +
  53          (A < (unsigned char) b) +
  54          ((long) A < b) +
  55          ((int) A < b) +
  56          ((short) A < b) +
  57          ((signed char) A < b) +
  58          ((long) A < (unsigned long) b) +
  59          ((int) A < (unsigned int) b) +
  60          ((short) A < (unsigned short) b) +
  61          ((signed char) A < (unsigned char) b) +
  62
  63          // (a,B)
  64          (a == (unsigned long) B) +
  65          (a == (unsigned int) B) +
  66          (a == (unsigned short) B) +
  67          (a == (unsigned char) B) +
  68          ((long) a == B) +
  69          ((int) a == B) +
  70          ((short) a == B) +
  71          ((signed char) a == B) +
  72          ((long) a == (unsigned long) B) +
  73          ((int) a == (unsigned int) B) +
  74          ((short) a == (unsigned short) B) +
  75          ((signed char) a == (unsigned char) B) +
  76          (a < (unsigned long) B) +  // expected-warning {{comparison of integers of different signs}}
  77          (a < (unsigned int) B) +
  78          (a < (unsigned short) B) +
  79          (a < (unsigned char) B) +
  80          ((long) a < B) +
  81          ((int) a < B) +
  82          ((short) a < B) +
  83          ((signed char) a < B) +
  84          ((long) a < (unsigned long) B) +  // expected-warning {{comparison of integers of different signs}}
  85          ((int) a < (unsigned int) B) +  // expected-warning {{comparison of integers of different signs}}
  86          ((short) a < (unsigned short) B) +  // expected-warning {{comparison of integers of different signs}}
  87          ((signed char) a < (unsigned char) B) +  // expected-warning {{comparison of integers of different signs}}
  88
  89          // (C,b)
  90          (C == (unsigned long) b) +
  91          (C == (unsigned int) b) +
  92          (C == (unsigned short) b) +
  93          (C == (unsigned char) b) +
  94          ((long) C == b) +
  95          ((int) C == b) +
  96          ((short) C == b) +
  97          ((signed char) C == b) +
  98          ((long) C == (unsigned long) b) +
  99          ((int) C == (unsigned int) b) +
 100          ((short) C == (unsigned short) b) +
 101          ((signed char) C == (unsigned char) b) +
 102          (C < (unsigned long) b) +
 103          (C < (unsigned int) b) +
 104          (C < (unsigned short) b) +
 105          (C < (unsigned char) b) +
 106          ((long) C < b) +
 107          ((int) C < b) +
 108          ((short) C < b) +
 109          ((signed char) C < b) +
 110          ((long) C < (unsigned long) b) +
 111          ((int) C < (unsigned int) b) +
 112          ((short) C < (unsigned short) b) +
 113          ((signed char) C < (unsigned char) b) +
 114
 115          // (a,C)
 116          (a == (unsigned long) C) +
 117          (a == (unsigned int) C) +
 118          (a == (unsigned short) C) +
 119          (a == (unsigned char) C) +
 120          ((long) a == C) +
 121          ((int) a == C) +
 122          ((short) a == C) +
 123          ((signed char) a == C) +
 124          ((long) a == (unsigned long) C) +
 125          ((int) a == (unsigned int) C) +
 126          ((short) a == (unsigned short) C) +
 127          ((signed char) a == (unsigned char) C) +
 128          (a < (unsigned long) C) +  // expected-warning {{comparison of integers of different signs}}
 129          (a < (unsigned int) C) +
 130          (a < (unsigned short) C) +
 131          (a < (unsigned char) C) +
 132          ((long) a < C) +
 133          ((int) a < C) +
 134          ((short) a < C) +
 135          ((signed char) a < C) +
 136          ((long) a < (unsigned long) C) +  // expected-warning {{comparison of integers of different signs}}
 137          ((int) a < (unsigned int) C) +  // expected-warning {{comparison of integers of different signs}}
 138          ((short) a < (unsigned short) C) +  // expected-warning {{comparison of integers of different signs}}
 139          ((signed char) a < (unsigned char) C) +  // expected-warning {{comparison of integers of different signs}}
 140
 141          // (0x80000,b)
 142          (0x80000 == (unsigned long) b) +
 143          (0x80000 == (unsigned int) b) +
 144          (0x80000 == (unsigned short) b) +
 145          (0x80000 == (unsigned char) b) +
 146          ((long) 0x80000 == b) +
 147          ((int) 0x80000 == b) +
 148          ((short) 0x80000 == b) +
 149          ((signed char) 0x80000 == b) +
 150          ((long) 0x80000 == (unsigned long) b) +
 151          ((int) 0x80000 == (unsigned int) b) +
 152          ((short) 0x80000 == (unsigned short) b) +
 153          ((signed char) 0x80000 == (unsigned char) b) +
 154          (0x80000 < (unsigned long) b) +
 155          (0x80000 < (unsigned int) b) +
 156          (0x80000 < (unsigned short) b) +
 157          (0x80000 < (unsigned char) b) +
 158          ((long) 0x80000 < b) +
 159          ((int) 0x80000 < b) +
 160          ((short) 0x80000 < b) +
 161          ((signed char) 0x80000 < b) +
 162          ((long) 0x80000 < (unsigned long) b) +
 163          ((int) 0x80000 < (unsigned int) b) +
 164          ((short) 0x80000 < (unsigned short) b) +
 165          ((signed char) 0x80000 < (unsigned char) b) +
 166
 167          // (a,0x80000)
 168          (a == (unsigned long) 0x80000) +
 169          (a == (unsigned int) 0x80000) +
 170          (a == (unsigned short) 0x80000) +
 171          (a == (unsigned char) 0x80000) +
 172          ((long) a == 0x80000) +
 173          ((int) a == 0x80000) +
 174          ((short) a == 0x80000) +
 175          ((signed char) a == 0x80000) +
 176          ((long) a == (unsigned long) 0x80000) +
 177          ((int) a == (unsigned int) 0x80000) +
 178          ((short) a == (unsigned short) 0x80000) +
 179          ((signed char) a == (unsigned char) 0x80000) +
 180          (a < (unsigned long) 0x80000) +  // expected-warning {{comparison of integers of different signs}}
 181          (a < (unsigned int) 0x80000) +
 182          (a < (unsigned short) 0x80000) +
 183          (a < (unsigned char) 0x80000) +
 184          ((long) a < 0x80000) +
 185          ((int) a < 0x80000) +
 186          ((short) a < 0x80000) +
 187          ((signed char) a < 0x80000) +
 188          ((long) a < (unsigned long) 0x80000) +  // expected-warning {{comparison of integers of different signs}}
 189          ((int) a < (unsigned int) 0x80000) +  // expected-warning {{comparison of integers of different signs}}
 190          ((short) a < (unsigned short) 0x80000) +  // expected-warning {{comparison of integers of different signs}}
 191          ((signed char) a < (unsigned char) 0x80000) +  // expected-warning {{comparison of integers of different signs}}
 192
 193          10
 194     ;
 195 }
 196
 197 int test1(int i) {
 198   enum en { zero };
 199   return i > zero;
 200 }