let div ~with_alarms e1 e2 =
if equal e2 singleton_one
then e1
else begin
if (with_alarms.others <> Aignore) && contains_zero e2 then CilE.warn_div with_alarms;
arithmetic_function ~with_alarms "/" Ival.div e1 e2
end