git.gag.com Git - debian/cc1111/blob - support/valdiag/tests/overflow.c

   1 volatile char c;
   2 volatile unsigned char uc;
   3 volatile int i;
   4 volatile unsigned u;
   5 volatile long l;
   6 volatile unsigned long ul;
   7
   8 #ifdef TEST0
   9 void foo(void)
  10 {
  11   i = 10000 * 10000;    /* WARNING(SDCC) */
  12   i = 0x4000 * 0x4000;  /* WARNING(SDCC) */
  13 }
  14 #endif
  15
  16 #ifdef TEST1
  17 void foo(void)
  18 {
  19   c = 1  <<  7;
  20
  21   i = c  << 10;
  22   i = 1  << 10;
  23   i = c  << 16;         /* WARNING(SDCC) */
  24   i = 1  << 16;         /* WARNING(SDCC) */
  25   i = uc << 16;         /* WARNING(SDCC) */
  26
  27   l = l  << 31;
  28   l = l  << 32;         /* WARNING */
  29   l = ul << 32;         /* WARNING */
  30 }
  31 #endif
  32
  33
  34 #ifdef TEST2
  35 void foo(void)
  36 {
  37   i = 1  >> 40;         /* WARNING       */
  38
  39   i = uc >>  7;
  40   i = 1  >>  7;
  41   i = uc >>  8;         /* WARNING(SDCC) */
  42 #if 0
  43   i = 1  >>  8;         /* WARN___(SDCC) */
  44 #endif
  45
  46   i = i  >> 40;         /* WARNING(GCC)  */
  47
  48   i = u  >> 15;
  49   i = u  >> 16;         /* WARNING(SDCC) */
  50
  51   i = l  >> 40;         /* WARNING(GCC)  */
  52
  53   i = ul >> 31;
  54   i = ul >> 32;         /* WARNING       */
  55 }
  56 #endif
  57