Hack of the day: Integer comparison can be used to compare positive IEEE floats. I need this bc there's no atomicMax() for floats in CUDA.pic.twitter.com/RMsQrfALEj
-
Well. Any C checker will tell you your programs behavior is undefined.
jfyi: I've now tested two implementations of formal tests for this: mine and the one by @rrika9. Both pass in CBMC and fail in ESBMC.pic.twitter.com/dJAZyAXk9H
-
-
The code can be found here: http://svn.clifford.at/handicraft/2017/fpintcmp/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
It depends on the C std. Type punning via unions is only legal in >= C99. The type punning in test2 is illegal everywhere
-
test2 breaks strict aliasing rules, right?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.