[Bug c/70255] change of the order of summation of floating point numbers despite no-associative-math

[shatz at dsit dot co.il]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70255

--- Comment #20 from shatz at dsit dot co.il ---
(In reply to Marek Polacek from comment #19)
> Markus recently committed a patch (r235580) that points out that this
> attribute should only be used for debugging.

3 weeks after the patch I see no changes in official gcc-6.1.0 and gcc-5.3.0
manuals. Was it rejected by higher authority or the process is just slow?