Bug 79445 - Address clause on named number gives Assert_Failure in the compiler
Summary: Address clause on named number gives Assert_Failure in the compiler
Status: NEW
Alias: None
Product: gcc
Classification: Unclassified
Component: ada (show other bugs)
Version: 7.0
: P3 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords: ice-on-invalid-code
Depends on:
Blocks:
 
Reported: 2017-02-09 17:20 UTC by Georg
Modified: 2017-02-09 21:31 UTC (History)
1 user (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2017-02-09 00:00:00

Attachments
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 Georg 2017-02-09 17:20:28 UTC 
procedure Address_Clause_on_Named_Number is
    C : constant := 5 with Address => Anything;
begin
    null;
end ;

$ gcc -c -gnatl -gnatwa -gnatd.n address_clause_on_named_number.adb 
/home/bauhaus/opt/gcc-7/lib/gcc/x86_64-pc-linux-gnu/7.0.0/adainclude/system.ads

GNAT 7.0.0 20161104 (experimental) [trunk revision 241862]
Copyright 1992-2016, Free Software Foundation, Inc.
address_clause_on_named_number.adb
+===========================GNAT BUG DETECTED==============================+
| 7.0.0 20161104 (experimental) [trunk revision 241862] (x86_64-pc-linux-gnu) |
| Assert_Failure aspects.adb:647                                           |
| Error detected at address_clause_on_named_number.adb:2:39                |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| 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).

address_clause_on_named_number.adb




raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : namet.adb:146
Comment 1 Eric Botcazou 2017-02-09 21:31:40 UTC 
.