Paolo Carlini wrote: > We are already aware of this issue, since you have already reported > it ;) The relevant PR is middle-end/18902. Forgot to add: for other issues, related in particular to multiplication, not only division, please file appropriate Bugzilla PRs. Thanks! Paolo.