gcc/testsuite/gcc.dg/c99-intprom-1.c

   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 }