gcc/testsuite/c-c++-common/Wsign-compare-2.c

   1 /* { dg-do compile { target { ilp32 || lp64 } } } */
   2 /* { dg-options "-Wsign-compare" } */
   3
   4 int
   5 f1 (unsigned char x)
   6 {
   7   return (unsigned short) (~(unsigned short) x) == 0;           /* { dg-warning "promoted bitwise complement of an unsigned value is always nonzero" "" { target c } } */
   8 }
   9
  10 int
  11 f2 (unsigned char x)
  12 {
  13   return (unsigned short) (~(unsigned short) x) == 5;           /* { dg-warning "comparison of promoted bitwise complement of an unsigned value with constant" "" { target c }  } */
  14 }
  15
  16 int
  17 f3 (unsigned char x)
  18 {
  19   return (unsigned int) (~(unsigned short) x) == 0xffff0005U;   /* { dg-warning "comparison of promoted bitwise complement of an unsigned value with constant" } */
  20 }
  21
  22 int
  23 f4 (unsigned char x)
  24 {
  25   return (unsigned int) (~(unsigned short) x) == 0xffff0005ULL; /* { dg-warning "comparison of promoted bitwise complement of an unsigned value with constant" } */
  26 }
  27
  28 int
  29 f5 (unsigned char x)
  30 {
  31   return (unsigned int) (~(unsigned short) x) == 0xffffff05U;   /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with constant" } */
  32 }
  33
  34 int
  35 f6 (unsigned char x)
  36 {
  37   return (unsigned int) (~(unsigned short) x) == 0xffffff05ULL; /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with constant" } */
  38 }
  39
  40 int
  41 f7 (unsigned char x)
  42 {
  43   return (unsigned long long) (~(unsigned short) x) == 0xffffffffffffff05ULL;   /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with constant" } */
  44 }
  45
  46 typedef unsigned short T;
  47
  48 int
  49 f8 (T x)
  50 {
  51   return (unsigned short) (~(unsigned short) x) == 0;           /* { dg-bogus "promoted bitwise complement of an unsigned value is always nonzero" } */
  52 }
  53
  54 int
  55 f9 (T x)
  56 {
  57   return (unsigned short) (~(unsigned short) x) == 5;           /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with constant" } */
  58 }
  59
  60 int
  61 f10 (T x, unsigned char y)
  62 {
  63   return (unsigned short) (~(unsigned short) x) == y;           /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with unsigned" } */
  64 }
  65
  66 int
  67 f11 (T x, unsigned char y)
  68 {
  69   return (unsigned short) (~(unsigned short) x) == y;           /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with unsigned" } */
  70 }
  71
  72 int
  73 f12 (unsigned char x, unsigned char y)
  74 {
  75   return (unsigned short) (~(unsigned short) x) == y;           /* { dg-warning "comparison of promoted bitwise complement of an unsigned value with unsigned" "" { target c } } */
  76 }
  77
  78 int
  79 f13 (unsigned char x, unsigned char y)
  80 {
  81   return (unsigned short) (~(unsigned short) x) == y;           /* { dg-warning "comparison of promoted bitwise complement of an unsigned value with unsigned" "" { target c } } */
  82 }
  83
  84 int
  85 f14 (unsigned char x, unsigned int y)
  86 {
  87   return (unsigned long long) (~x) == y;                        /* { dg-warning "comparison of promoted bitwise complement of an unsigned value with unsigned" } */
  88 }
  89
  90 int
  91 f15 (unsigned short x, unsigned int y)
  92 {
  93   return (long long) (~x) == y;                                 /* { dg-warning "comparison of promoted bitwise complement of an unsigned value with unsigned" } */
  94 }
  95
  96 int
  97 f16 (unsigned char x, unsigned short y)
  98 {
  99   return (unsigned short) (~(unsigned short) x) == y;           /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with unsigned" } */
 100 }
 101
 102 int
 103 f17 (unsigned char x, unsigned short y)
 104 {
 105   return (unsigned short) (~(unsigned short) x) == y;           /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with unsigned" } */
 106 }
 107
 108 int
 109 f18 (unsigned char x)
 110 {
 111   return (unsigned int) (short) (~(unsigned short) x) == 0xffffff05ULL; /* { dg-bogus "comparison of promoted bitwise complement of an unsigned value with constant" } */
 112 }