1 /*@constant int SHIFT_CONST = 5@*/
4 /*@constant int BAD_CONST = -2@*/
7 int f (int i1, unsigned int u1, unsigned int u2)
12 v1 = u1 << i1; /* Right operand may be negative */
13 j1 = i1 << i1; /* Left, right oprands */
16 v2 = u2 << SHIFT_CONST;
17 v2 = u2 << BAD_CONST; /* Right operand */