[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-bugs] Undefined behavior in safe_math: Bitwise operation produces negative zero

For two's complement integers, I'd propose to change this to
INT{8,16,32,64}_MIN, but I am not sure at all if this is the right thing
to do on other architectures.

The short answer here is that we do not care about C implementations that are not two's complement.

There is roughly one of these in existence as far as I know and I doubt that its authors are interested in fuzzing it.