Fact is, in Ada they did. At any rate, UB is hard to justify here IMHO, esp w/o UBsan. BTW Android sort-of doing trap with the new UB-runtim
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.
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.