On Mon, Oct 31, 2022 at 01:30:57PM +0100, Peter Zijlstra wrote:
On Mon, Oct 31, 2022 at 07:43:40PM +0800, Gaosheng Cui wrote:-fno-strict-overflow that is, which implies -fwrapv which ensures 2s
Shifting signed 32-bit value by 31 bits is undefined, so changingIs it really? Shouldn't -fstrict-overflow define this case?
significant bit to unsigned. The UBSAN warning calltrace like below:
UBSAN: shift-out-of-bounds in arch/x86/kernel/cpu/intel.c:948:21
left shift of 1 by 31 places cannot be represented in type 'int'
complement, at which point shifting signed numbers is fully defined.
.