[Bug ada/42168] New: GNAT bug box with invalid anonymous access declaration

[Bug ada/42168] New: GNAT bug box with invalid anonymous access declaration

[gcc at coreland dot ath dot cx]

Minor problem as the code isn't really valid. GNAT probably shouldn't
explode in this manner, however.

gcc -c timer2.adb

+===========================GNAT BUG DETECTED==============================+
| 4.4.0 (x86_64-portbld-freebsd7.2) Assert_Failure sinfo.adb:2362          |
| Error detected at timer2.adb:6:25                                        |
| 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 gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

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.

timer2.adb
list may be incomplete
timer2.adb:6:33: extra ")" ignored
compilation abandoned

gcc -c timer3.adb

+===========================GNAT BUG DETECTED==============================+
| 4.4.0 (x86_64-portbld-freebsd7.2) Assert_Failure sinfo.adb:2362          |
| Error detected at timer3.adb:4:25                                        |
| 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 gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

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.

list may be incomplete

raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : namet.adb:616

/gnat/svn/builds/r154285/bin/gcc-r154285 -c timer2.adb
+===========================GNAT BUG DETECTED==============================+
| 4.5.0 20091118 (experimental) (x86_64-unknown-freebsd7.2) Assert_Failure
sinfo.adb:2412|
| Error detected at timer2.adb:6:25                                        |
| 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 gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

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).

timer2.adb


timer2.adb:6:33: extra ")" ignored
compilation abandoned

/gnat/svn/builds/r154285/bin/gcc-r154285 -c timer3.adb
+===========================GNAT BUG DETECTED==============================+
| 4.5.0 20091118 (experimental) (x86_64-unknown-freebsd7.2) Assert_Failure
sinfo.adb:2412|
| Error detected at timer3.adb:4:25                                        |
| 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 gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

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).

timer3.adb


raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : namet.adb:616


Using built-in specs.
Target: x86_64-portbld-freebsd7.2
Configured with: ./..//gcc-4.4.0/configure --enable-languages=c,ada
--disable-nls --with-system-zlib --with-libiconv-prefix=/usr/local
--program-suffix=44 --bindir=/usr/local/bin/gcc44
--libdir=/usr/local/lib/gcc-4.4.0 --prefix=/usr/local --mandir=/usr/local/man
--infodir=/usr/local/info/gcc44 --build=x86_64-portbld-freebsd7.2
Thread model: posix
gcc version 4.4.0 (GCC) 

Using built-in specs.
COLLECT_GCC=/gnat/svn/builds/r154285/bin/gcc-r154285
COLLECT_LTO_WRAPPER=/gnat/svn/builds/r154285/libexec/gcc/x86_64-unknown-freebsd7.2/4.5.0/lto-wrapper
Target: x86_64-unknown-freebsd7.2
Configured with: /gnat/svn/src/configure --enable-languages=c,c++,ada,fortran
--prefix=/gnat/svn/builds/r154285 --with-system-zlib --disable-nls
--program-suffix=-r154285 --enable-libstdcxx-debug
Thread model: posix
gcc version 4.5.0 20091118 (experimental) (GCC)


-- 
           Summary: GNAT bug box with invalid anonymous access declaration
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gcc at coreland dot ath dot cx
  GCC host triplet: x86_64-portbld-freebsd7.2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

[Bug ada/42168] GNAT bug box with invalid anonymous access declaration

[gcc at coreland dot ath dot cx]

------- Comment #1 from gcc at coreland dot ath dot cx  2009-11-24 20:20 -------
Created an attachment (id=19112)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19112&action=view)
case 1


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

[Bug ada/42168] GNAT bug box with invalid anonymous access declaration

[gcc at coreland dot ath dot cx]

------- Comment #2 from gcc at coreland dot ath dot cx  2009-11-24 20:21 -------
Created an attachment (id=19113)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19113&action=view)
Assertion failure with with_clause removed.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

[Bug ada/42168] [4.4/4.5 Regression] GNAT bug box with invalid anonymous access declaration

[laurent at guerby dot net]

------- Comment #3 from laurent at guerby dot net  2009-11-24 20:52 -------
Confirmed and this is a regression from 4.3.

$ gcc -c timer3.adb 
+===========================GNAT BUG DETECTED==============================+
| 4.5.0 20091109 (experimental) [trunk revision 154026]
(x86_64-unknown-linux-gnu) |
| Assert_Failure sinfo.adb:2412                                            |
| Error detected at timer3.adb:4:25                                        |

$ gcc -c timer3.adb
+===========================GNAT BUG DETECTED==============================+
| 4.4.1 (x86_64-unknown-linux-gnu) Assert_Failure sinfo.adb:2362           |
| Error detected at timer3.adb:4:25                                        |

$ gcc -c timer3.adb
timer3.adb:4:33: unexpected right parenthesis


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |laurent at guerby dot net
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   GCC host triplet|x86_64-portbld-freebsd7.2   |
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2009-11-24 20:52:44
               date|                            |
            Summary|GNAT bug box with invalid   |[4.4/4.5 Regression] GNAT
                   |anonymous access declaration|bug box with invalid
                   |                            |anonymous access declaration


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

[Bug ada/42168] [4.4/4.5 Regression] GNAT bug box with invalid anonymous access declaration

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.4.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

[Bug ada/42168] [4.4/4.5 Regression] GNAT bug box with invalid anonymous access declaration

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

[Bug ada/42168] [4.4/4.5 Regression] GNAT bug box with invalid anonymous access declaration

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.3                       |4.4.4


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

[Bug ada/42168] [4.4/4.5/4.6 Regression] GNAT bug box with invalid anonymous access declaration

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.4                       |4.4.5


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

[Bug ada/42168] [4.4/4.5 Regression] GNAT bug box with invalid anonymous access declaration

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42168

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org
      Known to work|                            |4.3.6
         Resolution|                            |FIXED
   Target Milestone|4.4.6                       |4.6.0
            Summary|[4.4/4.5/4.6 Regression]    |[4.4/4.5 Regression] GNAT
                   |GNAT bug box with invalid   |bug box with invalid
                   |anonymous access            |anonymous access
                   |declaration                 |declaration
      Known to fail|                            |4.4.6, 4.5.3

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-01-07 10:09:20 UTC ---
Works on the mainline.