Mark Mitchell wrote:
Yes, that's useful -- but it's not actually *necessary* for a conforming C++ compiler to be able to fold floating-point constants.
Also, note that strictly speaking, folding floating-point operations usually violates the IEEE standard, which requires rounding mode to be able to be set dynamically. So at least there should be an option to disable such folding if it is not defined in the language (in Ada, such folding is well defined and so is required to happen at compile time).
