This is the mail archive of the
mailing list for the GCC project.
Re: std::pow implementation
- From: dewar at gnat dot com (Robert Dewar)
- To: dewar at gnat dot com, gdr at integrable-solutions dot net
- Cc: aoliva at redhat dot com, bernds at redhat dot com, gcc at gcc dot gnu dot org,jbuck at synopsys dot com, rguenth at tat dot physik dot uni-tuebingen dot de,s dot bosscher at student dot tudelft dot nl
- Date: Mon, 4 Aug 2003 13:59:25 -0400 (EDT)
- Subject: Re: std::pow implementation
> I do insist on the fact that it is not just an "as-if" rule.
You can insist all you like, but every rule in a standard of this kind
is an as-if rule. It would require a formal apparatus and set of definitions
far beyond what the C++ standard attempts for it to be otherwise.
The standard describes the meaning of a program in formal semantic terms
by giving a formal semantics to C++ programs. It does not specify what
code should be generated, only what that code must mean when it is executed.