[Bug ada/103014] New: gnat1 segfaults in tree_could_trap_p when C double parameter, -O2 -gnatn -gnatVa

[Bug ada/103014] New: gnat1 segfaults in tree_could_trap_p when C double parameter, -O2 -gnatn -gnatVa

[nicolas at debian dot org]

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

            Bug ID: 103014
           Summary: gnat1 segfaults in tree_could_trap_p when C double
                    parameter, -O2 -gnatn -gnatVa
           Product: gcc
           Version: 11.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nicolas at debian dot org
  Target Milestone: ---

Hello.

The following valid Ada sources crash 'gcc-11 -O2 -gnatn -gnatVa' as shown
below.
All goes well with gcc-10, with -O1, without inlining or without validity
checks.

The tests have been performed on Debian/x86_64-linux-gnu, with gcc-11/11.2.0-10
and gcc-10/10.3.12.

cat > p.ads <<EOF
package P is
   procedure P3;
end P;
EOF
cat > p.adb <<EOF
with Interfaces.C;
package body P is
   procedure P1 (A : Interfaces.C.double) is null;
   procedure P2 (A : Interfaces.C.double) is
   begin
      P1 (A);
   end P2;
   procedure P3 is
   begin
      P2 (0.0);
   end P3;
end P;
EOF
gdb /usr/lib/gcc/x86_64-linux-gnu/11/gnat1
(gdb) run -O2 -dumpbase p.adb -gnatn -gnatVa p.adb
Starting program: /usr/lib/gcc/x86_64-linux-gnu/11/gnat1 -O2 -dumpbase p.adb
-gnatn -gnatVa p.adb
[...]
P.P1 P.P2 P.P3 System.Fat_Lflt.Attr_Long_Float.Valid
Analyzing compilation unit
Performing interprocedural optimizations
<*free_lang_data> {heap 2040k} <visibility> {heap 2040k} <build_ssa_passes>
{heap 2040k} <opt_local_passes> {heap 2040k} <remove_symbols> {heap 2936k}
<targetclone> {heap 2936k} <free-fnsummary> {heap 2936k}Streaming LTO
<whole-program> {heap 2936k} <profile_estimate> {heap 2936k} <icf> {heap 2936k}
<devirt> {heap 2936k} <cp> {heap 2936k} <sra> {heap 2936k} <fnsummary> {heap
2936k} <inline> {heap 2936k} <pure-const> {heap 2936k} <modref> {heap 2936k}
<fre\
e-fnsummary> {heap 2936k} <static-var> {heap 2936k} <single-use> {heap 2936k}
<comdats> {heap 2936k}Assembling functions:
<simdclone> {heap 2936k} P.P3
Program received signal SIGSEGV, Segmentation fault.
0x000000000119a4f6 in tree_could_trap_p(tree_node*) ()

[Bug ada/103014] [11/12 Regression] gnat1 segfaults in tree_could_trap_p when C double parameter, -O2 -gnatn -gnatVa

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|gnat1 segfaults in          |[11/12 Regression] gnat1
                   |tree_could_trap_p when C    |segfaults in
                   |double parameter, -O2       |tree_could_trap_p when C
                   |-gnatn -gnatVa              |double parameter, -O2
                   |                            |-gnatn -gnatVa
   Target Milestone|---                         |11.3
           Keywords|                            |ice-on-valid-code

[Bug ada/103014] [11/12 Regression] gnat1 segfaults in tree_could_trap_p when C double parameter, -O2 -gnatn -gnatVa

[rguenth at gcc dot gnu.org]

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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
cannot reproduce on trunk and x86_64-linux.

[Bug ada/103014] gnat1 segfaults in tree_could_trap_p when C double parameter, -O2 -gnatn -gnatVa

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
            Summary|[11/12 Regression] gnat1    |gnat1 segfaults in
                   |segfaults in                |tree_could_trap_p when C
                   |tree_could_trap_p when C    |double parameter, -O2
                   |double parameter, -O2       |-gnatn -gnatVa
                   |-gnatn -gnatVa              |
                 CC|                            |ebotcazou at gcc dot gnu.org
         Resolution|---                         |WORKSFORME

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I can reproduce neither on mainline nor on 11 branch, so this might come from
Debian.  Please concatenate the sources and upload them as an attachment in the
PR next time.