question(interpreter): what's the semantics for overflow

[hsqStephenZhang]

Current interpreter did not handle overflow

koopa/koopa/examples/interpreter/interpreter.rs

Line 301 in 5167940

fn eval_binary(&mut self, inst: &ValueData, bin: &Binary) {

, what's the semantics defined by sysy? Since it's a subset of C, should it also be a undefined behavior?

What's the best handling strategy in interpreter then?

[MaxXSoft]

It's UB: https://pku-minic.github.io/online-doc/#/lv3-expr/?id=%e8%af%ad%e4%b9%89%e8%a7%84%e8%8c%83

What's the best handling strategy in interpreter then?

This depends on the purpose of the interpreter: if it's for debugging, I think it should report the error and exit.