https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116551
Bug ID: 116551
Summary: Internal error with Volatile_Full_Access
Product: gcc
Version: 14.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: simon at pushface dot org
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Created attachment 59031
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59031&action=edit
Reproducer
gnatmake -c -u -f bank0_patched.ads
gcc -c bank0_patched.ads
+===========================GNAT BUG DETECTED==============================+
| 14.2.0 (aarch64-apple-darwin23.6.0) in tree_to_uhwi, at tree.h:4951 |
| Error detected at bank0_patched.ads:21:4 |
| Compiling bank0_patched.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. |
+==========================================================================+
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).
bank0_patched.ads
compilation abandoned
gnatmake: "bank0_patched.ads" compilation error
This report is very like that in PR115591, but in that case it was riscv64-elf
only.
Compiling with riscv64-elf gives very similar results:
riscv64-elf-gnatmake -c -u -f bank0_patched.ads --RTS=rts
riscv64-elf-gcc -c --RTS=rts bank0_patched.ads
+===========================GNAT BUG DETECTED==============================+
| 14.2.0 (riscv64-elf) in tree_to_uhwi, at tree.h:4951 |
| Error detected at bank0_patched.ads:21:4 |
| Compiling bank0_patched.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. |
+==========================================================================+
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).
/Users/simon/Developer/bugs/gcc/115591-alike/reproducer/rts/adainclude/system.ads
bank0_patched.ads
/Users/simon/Developer/bugs/gcc/115591-alike/reproducer/rts/adainclude/s-unstyp.ads
compilation abandoned
riscv64-elf-gnatmake: "bank0_patched.ads" compilation error
