On 2013/03/13 20:40:36, dak wrote:
"Keith OHara" <mailto:k-ohara5...@oco.net> writes:
> The C standard requires the variables to be equal after assignment. > C99 5.4.2.2: "Except for assignment and cast (which remove all extra > range and precision), the values of operations with floating
operands
> [...] are evaluated to a format whose range and precision may be > greater than required by the type."
"May be". It may be greater for left*factor, and not greater for right*factor. The reduction of extra precision happens only _after_ adding offset.
There may be further sentences in the C standard that specify consistent use of precision. On there other hand, there may be an option for an implementation to say its use of precision is "indeterminable". This still describes possible problems with floating point. I have found no specific problem with this patch. https://codereview.appspot.com/7310075/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
