https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113195
Bug ID: 113195
Summary: gnat bug box when comparing access to subtype with
access inside record
Product: gcc
Version: 13.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: nicolas at debian dot org
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Hello.
If the 'p.ads' file contains this:
--
package P is
subtype I is Integer;
A : access I := null;
type Rec is record
Acc : access Integer;
end record;
R : Rec := (Acc => null);
B : Boolean := A = R.Acc;
end P;
--
Then 'gnatmake p' triggers this bug box.
x86_64-linux-gnu-gcc-13 -c p.ads
+===========================GNAT BUG DETECTED==============================+
| 13.2.0 (x86_64-linux-gnu) GCC error: |
| in build_binary_op, at ada/gcc-interface/utils2.cc:1142 |
| Error detected at p.ads:10:23 |
| Compiling p.ads |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ . |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box in the report. |
| Include the exact command that you entered. |
| Also include sources listed below. |
+==========================================================================+
I have found no shorter reproducer.
