test/shifts.c

   1 /*@constant int SHIFT_CONST = 5@*/
   2 # define SHIFT_CONST 5
   3
   4 /*@constant int BAD_CONST = -2@*/
   5 # define BAD_CONST -2
   6
   7 int f (int i1, unsigned int u1, unsigned int u2)
   8 {
   9   int j1;
  10   unsigned int v1, v2;
  11
  12   v1 = u1 << i1; /* Right operand may be negative */
  13   j1 = i1 << i1; /* Left, right oprands */
  14
  15   v2 = u2 << 5;
  16   v2 = u2 << SHIFT_CONST;
  17   v2 = u2 << BAD_CONST; /* Right operand */
  18
  19   return 3;
  20 }