https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90298
--- Comment #5 from David Binderman <dcb314 at hotmail dot com> --- Thanks for the explanation. Is it worthwhile to add a short comment summarising why it is not redundant code, to stop other folks falling into the same trap ? I'll look into enhancing cppcheck to avoid reporting on floating point variables in this way.