https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83517
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- (div (mult @0 @1) @1) Maybe we are missing a :c here.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83517
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- (div (mult @0 @1) @1) Maybe we are missing a :c here.