Bug 82638 - Legal program rejected with a weird error message
Summary: Legal program rejected with a weird error message
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: rejects-valid
Depends on:
Blocks:
 
Reported: 2017-10-20 14:35 UTC by Victor Porton
Modified: 2017-11-27 22:54 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 (280 bytes, text/plain)
2017-10-20 14:35 UTC, Victor Porton 		Details
View All Add an attachment (proposed patch, testcase, etc.)

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

GNAT 7.2.0 for Debian.

This bug may be related with https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82637 because I found them working on the same source.

Extract attached all2.chop with gnatchop.

$ gnatgcc -c uri.adb
uri.ads:7:28: "" is undefined
uri.ads:7:28: subtype mark required in this context
uri.ads:7:28: found <empty> declared at unknown location
Comment 1 Eric Botcazou 2017-10-20 18:11:33 UTC 
Same 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:3:1