shift-count-overflow possible issue on 64bit type

[Florian Weimer]

* Jonathan Wakely:

> Why do you expect a different result for these?
>
> A small = 1 << 40;
> B big = 1 << 40;
>
> In both cases the expression is 1 << 40, the type of A or B is irrelevant.

Some languages define integer literals in such a way that they have
types which do not exist at run time and evaluate constant expressions
with infinite precision.

Thanks,
Florian