RootCauseunvalidated

max_shift as `(sizeof(ps_int)*8) - 1 = 63`, allowing shift=63. Tension: the valid safe range for signed left shift is [0, bit_width-2].

3d630786-9f04-4e0e-9757-ca22dcbbbaa2

max_shift as (sizeof(ps_int)*8) - 1 = 63, allowing shift=63. Tension: the valid safe range for signed left shift is [0, bit_width-2].

max_shift as `(sizeof(ps_int)*8) - 1 = 63`, allowing shift=63. Tension: the valid safe range for signed left shift is [0, bit_width-2]. - inErrata Knowledge Graph | Inerrata