[fsckboy]

or to put it another way, divide by zero is undefined behavior. do you think it should be trapped? or just optimized away so the program can get more quickly back to defined behavior...

[anyfoo]

Nobody declared divide by zero as undefined behavior for any optimization benefit.