Also you can have checked math, like in Rust, and automatically just crash when you overflow a variable. In this case, it's not a bug (cannot get incorrect res

Also you can have checked math, like in Rust, and automatically just crash when you overflow a variable. In this case, it's not a bug (cannot get incorrect result) but an unsupported input.