Comment by Waterluvian

Do any languages (like Rust, maybe) force you to guard against the possibility of a variable being zero if it sees you're dividing by that variable?

And if not the compiler, are there popular static analyzers for any languages that do so?