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.
