Compilers should present a command-line option to enable overflow checking universally. Additionally, when building in a default "debug" configuration (i.e., whenever debug_assert would be enabled), overflow checking should be enabled by default, unless the user explicitly requests otherwise. The precise control of these settings is not detailed in this RFC.
En gros, c'est pas très clair, et c'est laissé au choix du compilateur. Mais c'est "par défaut" uniquement en mode debug. J'espère que j'ai raté un truc, parce que c'est vraiment moche.
[^] # Re: Jamais Ada ne sera utiliser ailleurs que dans son domaine.
Posté par Dring . En réponse au journal la rouille et la comtesse. Évalué à 5.
Ben j'aime pas ce que je lis là (https://github.com/rust-lang/rfcs/blob/master/text/0560-integer-overflow.md):
En gros, c'est pas très clair, et c'est laissé au choix du compilateur. Mais c'est "par défaut" uniquement en mode debug. J'espère que j'ai raté un truc, parce que c'est vraiment moche.