News for hackers. Stuff that matters.
Re:Ferrous Systems ends partnership with AdaCore by blub on Saturday September 30, 2023 @07:02AM (#37714300)
> Just the fact that Rust has well defined semantics for overflows would save so much time and money

This is a compile-time option in GCC and clang (fwrapv).

Re:Ferrous Systems ends partnership with AdaCore by rcxdude on Saturday September 30, 2023 @09:05AM (#37715045)
The question is whether the certified version of them defines the behaviour of the flag sufficiently to be accepted as a means og achieving that outcome. It can be very difficult to do anything not endorsed by the standard, even if it's widely implemented.