@BRIAN_____ @rustlang @SwiftLang Rust's overflow checking is much more expensive than the trapping mode of UBSan due to it using exceptions.
-
-
-
@BRIAN_____@rustlang@SwiftLang There's a very high cost to having unique exceptions thrown compared to using uniform nounwind trapping. -
@BRIAN_____@rustlang@SwiftLang That also applies to Rust's bounds checking. LLVM getting better at optimizing leaves Rust further behind. -
@BRIAN_____@rustlang@SwiftLang i.e. if it gets better at merging cases, Rust's exceptions are causing more and more missed optimizations. -
@CopperheadSec@rustlang@SwiftLang The Rust team is considering adding a compiler switch to make panics abort instead of unwind... -
@CopperheadSec@rustlang@SwiftLang ...In theory, with that switch, the compiler could optimize more fully like Swift. But... -
@CopperheadSec@rustlang ...it seems unlikely that significant optimizations would be made just for that non-default mode. -
@BRIAN_____@CopperheadSec@rustlang I doubt we would ignore significant optimizations because we have an unwinding mode. - 5 more 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.