[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! :)