A pragma comparable to STDC FENV_ACCESS would be nice here, IF compilers even implemented stuff like that...
Your musl example was bad because that was one of the few pieces of imported code, but the IPv6 & DNS parsing vulns were real examples.
-
-
The latter were just me being overly clever & wrong about assuming loop invariants rather than using easily-provably-correct conditions.
-
Future direction for musl is to reduce cleverness, optimize for simplicity whenever there's not a demonstrable need for cleverness.
End of conversation
New conversation -
-
-
(being unable to scrutinize existing code also means it's not _easy_ IMHO, but thanks, didn't know that. Musl is very impressive eitherways)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.