https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109817
Bug ID: 109817
Summary: -O2 and ./gnat.dg/sync_iface_call_pkg2.adb don't mix
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
CC: dkm at gcc dot gnu.org
Target Milestone: ---
$ ~/gcc/results.20230511.others/bin/gcc -c -O2
./gnat.dg/sync_iface_call_pkg2.adb
during IPA pass: icf
+===========================GNAT BUG DETECTED==============================+
| 14.0.0 20230511 (experimental) (x86_64-pc-linux-gnu) GCC error: |
| in former_thunk_p, at cgraph.cc:4229 |
| Error detected around
/home/dcb38/gcc/results.20230511.others/lib/gcc/x86_64-pc-linux-gnu/14.0.0/adainclude/s-atacco.ads:39:16|
| Compiling ./gnat.dg/sync_iface_call_pkg2.adb |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ .
-O1 seems fine:
$ ~/gcc/results.20230511.others/bin/gcc -c -O1
./gnat.dg/sync_iface_call_pkg2.adb
$
