[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 #4 from Gary Funck <gary at intrepid dot com> ---
(In reply to Jay from comment #2)
> 1 please be sure that dividing the most negative number by -1 "works". 
> Perhaps just don't optimize anything with negstive numbers.

- Checking for negative numbers at compile-time can only be done on integer
constant values.

- Whether dividing the max negative number by -1 just "works" depends upon the
definition and implementation of FLOOR_DIV_EXPR.

- For UPC's use of FLOOR_DIV_EXPR, it isn't possible to construct that
scenario.