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