[Bug ada/104342] New: ICE with -gnata -fcallgraph-info=su

[Bug ada/104342] New: ICE with -gnata -fcallgraph-info=su

[simon at pushface dot org]

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

            Bug ID: 104342
           Summary: ICE with -gnata -fcallgraph-info=su
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: simon at pushface dot org
  Target Milestone: ---

Created attachment 52327
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52327&action=edit
Requested source files

I originally found this error compiling for STM32F4, using both
ravenscar-sfp-stm32f4 and my cortex-gnat-rts equivalent. However, it
also shows up in a native compilation.

Neither option on its own caused a problem.

Compiling from the attached source with

   gnatmake stm32-spi-dma.adb -c -u -f -gnata -fcallgraph-info=su

gives

   gcc -c -gnata -fcallgraph-info=su stm32-spi-dma.adb
     targetname: "+===========================GNAT BUG
DETECTED==============================+
   | 12.0.1 20220128 (experimental) (x86_64-apple-darwin15) Assert_Failure
exp_cg.adb:484|
   | No source file position information available                            |
   | Compiling stm32-spi-dma.adb                                              |
   | 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.                                       |
   +==========================================================================+

   Please include these source files with error report
   Note that list may not be accurate in some cases,
   so please double check that the problem can still
   be reproduced with the set of files listed.
   Consider also -gnatd.n switch (see debug.adb).

   stm32-spi-dma.adb
   stm32-spi-dma.ads
   stm32-spi.ads
   stm32.ads
   hal.ads
   stm32_svd.ads
   stm32_svd-spi.ads
   hal-spi.ads
   stm32-dma.ads
   stm32_svd-dma.ads
   stm32-dma-interrupts.ads

[Bug ada/104342] ICE with -gnata -fcallgraph-info=su

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-03-24
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Indeed, best not to mix both options for now.

[Bug ada/104342] [14 regression] ICE with -gnata -fcallgraph-info=su

[simon at pushface dot org]

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

simon at pushface dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE with -gnata             |[14 regression] ICE with
                   |-fcallgraph-info=su         |-gnata -fcallgraph-info=su

--- Comment #2 from simon at pushface dot org ---
This doesn’t occur in 12.2.0 or 13.1.0, but has reappeared in gcc version
14.0.1 20240218 (experimental) (GCC).

New reproducer uploaded (same files, new content).

gcc -c -gnata -fcallgraph-info=su stm32-spi-dma.adb
  targetname: "+===========================GNAT BUG
DETECTED==============================+
| 14.0.1 20240218 (experimental) (x86_64-apple-darwin21) Assert_Failure
exp_cg.adb:484|
| No source file position information available                            |
| Compiling stm32-spi-dma.adb                                              |
| 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.                                       |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

stm32-spi-dma.adb
stm32-spi-dma.ads
stm32-spi.ads
stm32.ads
hal.ads
stm32_svd.ads
stm32_svd-spi.ads
hal-spi.ads
stm32-dma.ads
stm32_svd-dma.ads
stm32-dma-interrupts.ads

compilation abandoned
gnatmake: "stm32-spi-dma.adb" compilation error

[Bug ada/104342] [14 regression] ICE with -gnata -fcallgraph-info=su

[simon at pushface dot org]

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

simon at pushface dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #52327|0                           |1
        is obsolete|                            |

--- Comment #3 from simon at pushface dot org ---
Created attachment 57530
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57530&action=edit
Reproducer (14.0.1)

[Bug ada/104342] ICE with -gnata -fcallgraph-info=su

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[14 regression] ICE with    |ICE with -gnata
                   |-gnata -fcallgraph-info=su  |-fcallgraph-info=su

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Release branches simply do not have assertions enabled.

[Bug ada/104342] ICE with -gnata -fcallgraph-info=su

[simon at pushface dot org]

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

--- Comment #5 from simon at pushface dot org ---
That thought occurred to me, but does that mean that if this code is compiled
with a release branch Bad Things will happen? (I guess the code would probably
have to get executed for that to occur)

[Bug ada/104342] ICE with -gnata -fcallgraph-info=su

[ebotcazou at gcc dot gnu.org]

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

--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> That thought occurred to me, but does that mean that if this code is
> compiled with a release branch Bad Things will happen? (I guess the code
> would probably have to get executed for that to occur)

It's related to -fcallgraph-info=su and this doesn't affect the generated code.