[Bug ada/113195] New: gnat bug box when comparing access to subtype with access inside record

["nicolas at debian dot org" <gcc-bugzilla@gcc.gnu.org>]

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.