[Bug c/119845] New: Something triggered by -march=native create code that is not compliant with floating point standards

[gabriel.fougeron at hotmail dot fr via Gcc-bugs]

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

            Bug ID: 119845
           Summary: Something triggered by -march=native create code that
                    is not compliant with floating point standards
           Product: gcc
           Version: 13.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gabriel.fougeron at hotmail dot fr
  Target Milestone: ---

Created attachment 61149
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61149&action=edit
Source code, build commands and output highlighting the bug

Hi,

Using compiler option -march=native create code that is not compliant with
floating point standards for multiplication.

See the zip archive in attached piece for:
 - The MWE program in main.c
 - The build_execute.sh script that reproduces the problem on my machine
 - all *.i *.o, *.s files that gcc created during compilation.
 - OUTPUT_ON_MY_MACHINE.txt that highlights the bug and details relevant
specifics of my machine


Regards,