> Eric - you added these improvements so you might want to double-check
> effects on Ada code (and see if the above suggestion is worth
> the effort).
I think that all the relevant testcases are in the gnat.dg testsuite.
--
Eric Botcazou
I am testing the following patch to fix PR79666 - we may not create
a symbolic range with expressions that may introduce (not already present)
undefined overflow.
With a new predicate like operand_not_min_p we can possibly improve
this for symbolic ops with a useful range, but I'm not sure we'd
e
