[Bug c/111507] New: Floating point exception with '-O3'

[Bug c/111507] New: Floating point exception with '-O3'

[19373742 at buaa dot edu.cn]

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

            Bug ID: 111507
           Summary: Floating point exception with '-O3'
           Product: gcc
           Version: 13.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 55950
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55950&action=edit
The preprocessed file

*******************************************************************************
OS and Platform:
Ubuntu 20.04.4 LTS
*******************************************************************************
gcc version:
$ gcc -v

Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-13/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-13/libexec/gcc/x86_64-pc-linux-gnu/13.2.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-13
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.2.1 20230916 (GCC) 
*******************************************************************************
Command Lines:

$ gcc -I /home/ctc/csmith/include/csmith-2.3.0 -O3 -fno-dce
-fno-forward-propagate -fno-inline-functions-called-once
-fno-inline-small-functions -fno-ipa-reference-addressable
-fno-rerun-cse-after-loop -fno-tree-dce -fno-tree-dse a.c -o fails 2>tmp.out

$ ./fails

Floating point exception (core dumped)

[Bug c/111507] Floating point exception with '-O3'

[19373742 at buaa dot edu.cn]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 55951
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55951&action=edit
The compiler output

[Bug c/111507] Floating point exception with '-O3'

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
  _13 = removed_return.111_34(D) % _12;
  _14 = (long int) _13;
  _15 = -2446 % _14;


Same issue as PR 108007 .

*** This bug has been marked as a duplicate of bug 108007 ***