Ada has had overflow checks for decades: https://learn.adacore.com/courses/intro-to-ada/chapters/strongly_typed_language.html#operational-semantics https://lea

Ada has had overflow checks for decades: https://learn.adacore.com/courses/intro-to-ada/chapters/strongly_typed_language.html#operational-semantics https://learn.adacore.com/courses/intro-to-ada/chapters/stro... And there is an Ada implementation that is part of GCC: https://www.gnu.org/software/gnat/ https://www.gnu.org/software/gnat/