我正在阅读thispaper关于未定义的行为，示例“优化”之一看起来非常可疑:if(arg2==0)ereport(ERROR,(errcode(ERRCODE_DIVISION_BY_ZERO),errmsg("divisionbyzero")));/*Nooverflowispossible*/PG_RETURN_INT32((int32)arg1/arg2);Figure2:Anunexpectedoptimizationvoidsthedivision-by-zerocheck,insrc/backend/utils/adt/int8.cofPostgreSQL.Thecall
