https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61747
--- Comment #4 from vincenzo Innocente <vincenzo.innocente at cern dot ch> --- confirm that -ffinite-math-only -fno-signed-zeros is equivalent to Ofast in this case so we conclude that the code generated at O2 is wrong and -ffinite-math-only -fno-signed-zeros is required to trigger min/max?