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 */