Clang warned us about it, so perhaps there are paths that aren't always like that? I can try to find a trace.

Doing the shift unsigned is definitely the safer option when bit twiddling.

On Sat, Aug 1, 2015, 6:34 AM Bill Allombert <Bill.Allombert@math.u-bordeaux.fr> wrote:

Well, then it is not that bad because the sign can only be 0,1 or -1, so E1×2E2
will be representable, as I understand.

Cheers,
Bill.