[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

Hi Chris, that is great that you are working on kcc!

This seems to be pretty explicit about the potential for "sign bit 1
and all value bits zero" to be a trap representation on two's
complement implementations (but I guess it's never actually a negative
zero, as you point out). What am I missing?

I don't think you are missing anything, I think that the standard is quite poorly worded here.

zero). Sorry for any false positives, though, I didn't realize people
were actually using recent versions of the tool. I'll try to work on
usability in the near future.

It's always good to have users! :)