Bug 82637 - Compiler crash
Summary: Compiler crash
Status: NEW
Alias: None
Product: gcc
Classification: Unclassified
Component: ada (show other bugs)
Version: 7.2.0
: P3 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-10-20 14:26 UTC by Victor Porton
Modified: 2017-10-20 18:09 UTC (History)
1 user (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2017-10-20 00:00:00


Attachments
Compiler input triggering bug (419 bytes, text/plain)
2017-10-20 14:26 UTC, Victor Porton
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Victor Porton 2017-10-20 14:26:11 UTC
Created attachment 42413 [details]
Compiler input triggering bug

The files are attached. Use gnatchop to extract them.

$ gnatgcc -c uri.adb
+===========================GNAT BUG DETECTED==============================+
| 7.2.0 (x86_64-linux-gnu) Storage_Error stack overflow or erroneous memory access|
| Error detected at uri.ads:10:28                                          |
| 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).

uri.adb
uri.ads
auxiliary.ads
handled_record.ads

compilation abandoned
Comment 1 Victor Porton 2017-10-20 14:43:44 UTC
Possibly related bug:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82638
Comment 2 Eric Botcazou 2017-10-20 18:09:17 UTC
It's an assertion failure on the mainline:

eric@polaris:~/build/gcc/native> gcc/xgcc -Bgcc -S uri.adb
+===========================GNAT BUG DETECTED==============================+
| 8.0.0 20171020 (experimental) [trunk revision 253921] (x86_64-suse-linux) |
| Assert_Failure atree.adb:979                                             |
| Error detected at uri.ads:4:1                                            |