(j3.2006) SQRT of square to ABS

[Robert Corbett]

If the modules IEEE_EXCEPTIONS and IEEE_FEATURES are used in a
program unit, may a standard-conforming implementation transform
the expression SQRT(X**2) into ABS(X)?  The first expression
might signal invalid operand, overflow, underflow and imprecise
exception.  However, it might also be implemented, for example
on an x87, in a way that produces only the invalid exception.
The second expression might signal an invalid operand exception,
or it might signal no exception at all.

Bob Corbett