<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>Right. ICU hit this same issue. <br><br><span style="font-size: medium; -webkit-tap-highlight-color: rgba(26, 26, 26, 0.296875); -webkit-composition-fill-color: rgba(175, 192, 227, 0.230469); -webkit-composition-frame-color: rgba(77, 128, 180, 0.230469); -webkit-text-size-adjust: auto; ">Enviado desde nuestro iPhone.</span></div><div><br>El oct 22, 2013, a las 3:40 a.m., Behdad Esfahbod <<a href="mailto:behdad@behdad.org">behdad@behdad.org</a>> escribió:<br><br></div><blockquote type="cite"><span>BTW, it's not safe to use any number beyond 31 at all since shift >= width of</span><br><span>type is undefined in C and I've seen instances of the processor not doing what</span><br><span>you expect in such cases. IIRC some processors, x86 even, ignore the top bits</span><br><span>of the shift count.</span></blockquote></body></html>