[Bug middle-end/66984] ICE: fold_binary changes type of operand, causing failure in verify_gimple_assign_binary

[gary at intrepid dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66984

--- Comment #5 from Gary Funck <gary at intrepid dot com> ---
(In reply to Jay from comment #2)
> 2 I suggest that gcc's C/C++ frontends expose these other forms of division,
> for the sake of testability.

Perhaps defining a builtin for CEIL_DIV_EXPR and FLOOR_DIV_EXPR might work.

For the builtins, you could file an RFE and post a suggested patch (with test
cases) for review.