[splint.git] / test / shifts.c

/*@constant int SHIFT_CONST = 5@*/
# define SHIFT_CONST 5

/*@constant int BAD_CONST = -2@*/
# define BAD_CONST -2

int f (int i1, unsigned int u1, unsigned int u2)
{
  int j1;
  unsigned int v1, v2;

  v1 = u1 << i1; /* Right operand may be negative */
  j1 = i1 << i1; /* Left, right oprands */
  
  v2 = u2 << 5;
  v2 = u2 << SHIFT_CONST;
  v2 = u2 << BAD_CONST; /* Right operand */

  return 3;
}
Commit	Line	Data
a956d444	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	}