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.
This is a compile-time option in GCC and clang (fwrapv).