(j3.2006) F03/0084, was Re: Interp letter ballot #25

[Van Snyder]

On Mon, 2012-05-14 at 17:05 -0600, Dan Nagle wrote:
> Hi,
> 
> On May 14, 2012, at 16:20 , Van Snyder wrote:
> > 
> > If we want to get this right, and avoid further controversy and
> > confusion, we should specify that mathematical equivalence does not
> > apply to expressions that might be evaluated with different rounding
> > modes in effect, that involve operands whose values might have changed
> > (including but not limited to those that have the VOLATILE attribute),
> > or that are evaluated in different segments.
> 
> I believe this is called "processor-dependent approximation"
> and means the applications programmer should consult
> the processor's documentation for assistance with special cases.

"Mathematical equivalence" has nothing to do with "processor-dependent
approximation."