int
example(int x)
{
/* expect+1: warning: negative shift [121] */
return x << (3 - 5);
}
void /*ARGSUSED*/
shift_by_double(int x, double amount)
{
/*
* This is already caught by typeok_scalar, so it doesn't reach
* typeok_shift via typeok_op.
*/
/* expect+1: error: operands of '<<' have incompatible types 'int' and 'double' [107] */
return x << amount;
}