[PATCH] Fix bug in fold_div_compare

[Eric Botcazou]

> Presumably, you've now managed to complete more than "moderate"
> testing, such as a full bootstrap and regression test with no new
> failures.  If so, this is OK for mainline.

Thanks.

> I appreciate you're not a huge fan of my preference of applying
> patches first to mainline, and backporting them to the release
> branches once they've been demonstrated to be safe on several
> platforms.

The patch has been bootstrapped and regtested dozens of time on
8 platforms at AdaCore.

-- 
Eric Botcazou