public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/25117]  New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR
@ 2005-11-27 12:14 bauhaus at futureapps dot de
  2005-11-27 12:31 ` [Bug ada/25117] " bauhaus at futureapps dot de
                   ` (8 more replies)
  0 siblings, 9 replies; 10+ messages in thread
From: bauhaus at futureapps dot de @ 2005-11-27 12:14 UTC (permalink / raw)
  To: gcc-bugs

Happens when compiling the sources of AdaCore's
AWS, checked out 2005-11-26, public CVS,

cvs -d :pserver:anoncvs@libre.adacore.com:/anoncvs co AWS

$ make setup
$ make build
...
gcc -c -gnatwecfijkmruv -gnaty3abcefhiklmnoprstx -Wall -O2 -gnatn -I- -gnatA
/werkstatt/src/AWS/src/aws-containers-key_value.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20051124 (prerelease) (i686-pc-linux-gnu) GCC error:               |
| in expand_expr_addr_expr_1, at expr.c:6306                               |
| No source file position information available                            |
| 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.

/werkstatt/src/AWS/src/aws-containers-key_value.ads
/werkstatt/src/AWS/src/aws-containers.ads
/werkstatt/src/AWS/src/aws.ads
/werkstatt/src/AWS/include/strings_maps.ads
/werkstatt/src/AWS/include/ai302/ai302.ads
/werkstatt/src/AWS/include/ai302/ai302-containers.ads
/werkstatt/src/AWS/include/ai302/ai302-containers-indefinite_hashed_maps.ads
/werkstatt/src/AWS/include/ai302/ai302-containers-hash_tables.ads
/werkstatt/src/AWS/include/ai302/ai302-strings.ads
/werkstatt/src/AWS/include/ai302/ai302-strings-hash.ads
/werkstatt/src/AWS/include/ai302/ai302-containers-indefinite_hashed_maps.adb
/werkstatt/src/AWS/include/ai302/ai302-containers-hash_tables.adb
/werkstatt/src/AWS/include/ai302/ai302-containers-prime_numbers.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:380
gnatmake: "/werkstatt/src/AWS/src/aws-containers-key_value.ads" compilation
error
make[1]: *** [build] Error 4
make: *** [src_build] Error 2


Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../src/gcc/configure --enable-languages=c,ada,c++,fortran
--disable-nls
Thread model: posix
gcc version 4.1.0 20051124 (prerelease)

Linux sonnenregen 2.6.12-10-386 #1 Fri Nov 18 11:51:02 UTC 2005 i686 GNU/Linux


-- 
           Summary: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bauhaus at futureapps dot de
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
@ 2005-11-27 12:31 ` bauhaus at futureapps dot de
  2005-11-27 17:26 ` [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed charlet at gcc dot gnu dot org
                   ` (7 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: bauhaus at futureapps dot de @ 2005-11-27 12:31 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from bauhaus at futureapps dot de  2005-11-27 12:31 -------
another one when using a 4.2 compiler instead.

$ make clean
$ make setup
$ make build

gcc -c -gnatwecfijkmruv -gnaty3abcefhiklmnoprstx -Wall -O2 -gnatn -I- -gnatA
/werkstatt/src/AWS/src/aws-attachments.adb
/werkstatt/src/AWS/include/ai302/ai302-containers-indefinite_vectors.adb: In
function 'AWS.ATTACHMENTS.ATTACHMENT_TABLE.INSERT':
/werkstatt/src/AWS/include/ai302/ai302-containers-indefinite_vectors.adb:1790:
error: definition in block 36 does not dominate use in block 32
for SSA_NAME: D.5829_572 in statement:
ivtmp.6117_476 = &(*D.5788_262)[iftmp.540_8 ...]{lb: D.5829_572 sz:
4}[D.18768_320]{lb: before_25 sz: 4};
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20051120 (experimental) (i686-pc-linux-gnu) verify_ssa failed      |
| Error detected at aws-attachments.adb:380:1                              |
| 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.

/werkstatt/src/AWS/src/aws-attachments.adb
/werkstatt/src/AWS/src/aws-attachments.ads
/werkstatt/src/AWS/src/aws.ads
/werkstatt/src/AWS/include/ai302/ai302.ads
/werkstatt/src/AWS/include/ai302/ai302-containers.ads
/werkstatt/src/AWS/include/ai302/ai302-containers-indefinite_vectors.ads
/werkstatt/src/AWS/src/aws-headers.ads
/werkstatt/src/AWS/src/aws-containers.ads
/werkstatt/src/AWS/src/aws-containers-tables.ads
/werkstatt/src/AWS/include/ai302/ai302-containers-indefinite_hashed_maps.ads
/werkstatt/src/AWS/include/ai302/ai302-containers-hash_tables.ads
/werkstatt/src/AWS/include/ai302/ai302-strings.ads
/werkstatt/src/AWS/include/ai302/ai302-strings-hash.ads
/werkstatt/src/AWS/include/ai302/ai302-containers-vectors.ads
/werkstatt/src/AWS/src/aws-net.ads
/werkstatt/src/AWS/src/aws-headers-set.ads
/werkstatt/src/AWS/src/aws-messages.ads
/werkstatt/src/AWS/src/aws-mime.ads
/werkstatt/src/AWS/src/aws-net-buffered.ads
/werkstatt/src/AWS/src/aws-os_lib.ads
/werkstatt/src/AWS/include/ai302/ai302-containers-indefinite_hashed_maps.adb
/werkstatt/src/AWS/include/ai302/ai302-containers-indefinite_vectors.adb
/werkstatt/src/AWS/include/ai302/ai302-containers-generic_array_sort.ads
/werkstatt/src/AWS/config/aws-os_lib__gnat.adb
/werkstatt/src/AWS/src/aws-headers-set.adb
/werkstatt/src/AWS/src/aws-containers-tables-set.ads
/werkstatt/src/AWS/src/aws-net-buffered.adb
/werkstatt/src/AWS/src/aws-translator.ads
/werkstatt/src/AWS/src/aws-resources.ads
/werkstatt/src/AWS/src/aws-resources-streams.ads
/werkstatt/src/AWS/src/aws-resources-streams-memory.ads
/werkstatt/src/AWS/src/aws-utils.ads
/werkstatt/src/AWS/include/zlib.ads
/werkstatt/src/AWS/include/memory_streams.ads
/werkstatt/src/AWS/src/aws-resources-streams-memory-zlib.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:380
gnatmake: "/werkstatt/src/AWS/src/aws-attachments.adb" compilation error
make[1]: *** [build] Error 4
make: *** [src_build] Error 2


-- 


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
  2005-11-27 12:31 ` [Bug ada/25117] " bauhaus at futureapps dot de
@ 2005-11-27 17:26 ` charlet at gcc dot gnu dot org
  2005-11-27 21:26 ` bauhaus at futureapps dot de
                   ` (6 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2005-11-27 17:26 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from charlet at gcc dot gnu dot org  2005-11-27 17:26 -------
Please file a self contained test case, it is inappropriate to reference
third party CVS in particular if a specific date must be used.

Also please extract proper sources and remove the need to for any extra
step (configure in particular), thanks.

Arno


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
            Summary|GNAT Bug Box, GCC error,    |GNAT Bug Box, GCC error,
                   |TYPES.UNRECOVERABLE_ERROR   |verify_ssa failed


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
  2005-11-27 12:31 ` [Bug ada/25117] " bauhaus at futureapps dot de
  2005-11-27 17:26 ` [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed charlet at gcc dot gnu dot org
@ 2005-11-27 21:26 ` bauhaus at futureapps dot de
  2005-11-28  7:11 ` charlet at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: bauhaus at futureapps dot de @ 2005-11-27 21:26 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #3 from bauhaus at futureapps dot de  2005-11-27 21:26 -------
OK if I attach an archive of (most of) the sources
of AWS, ready for make build? Otherwise I'll have to see
whether I can cut some of the .gpr dependenies in AWS
modules in order to downsize the sources.


-- 


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
                   ` (2 preceding siblings ...)
  2005-11-27 21:26 ` bauhaus at futureapps dot de
@ 2005-11-28  7:11 ` charlet at gcc dot gnu dot org
  2005-11-29  8:56 ` bauhaus at futureapps dot de
                   ` (4 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2005-11-28  7:11 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #4 from charlet at gcc dot gnu dot org  2005-11-28 07:11 -------
<<OK if I attach an archive of (most of) the sources
of AWS, ready for make build?>>

No, the compiler is giving you a list of source files, so you should only
include those source files, and verify that the bug can indeed
be reproduced with these sources only (some additional source files
may still be needed).

Also, any reducing of the size of the code (and command line simplification)
will make it more likely that someone will look at this bug.

Arno


-- 


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
                   ` (3 preceding siblings ...)
  2005-11-28  7:11 ` charlet at gcc dot gnu dot org
@ 2005-11-29  8:56 ` bauhaus at futureapps dot de
  2005-11-29  9:30 ` bauhaus at futureapps dot de
                   ` (3 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: bauhaus at futureapps dot de @ 2005-11-29  8:56 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #5 from bauhaus at futureapps dot de  2005-11-29 08:56 -------
Created an attachment (id=10359)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10359&action=view)
source file set for the 4.1 Bug Box

To reproduce,

$ cd src
$ gcc -c -gnatwecfijkmruv -gnaty3abcefhiklmnoprstx -Wall \
 -O2 -gnatn -I- -I../include/ai302 -I../include -I. \
-gnatA aws-containers-key_value.ads


-- 


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
                   ` (4 preceding siblings ...)
  2005-11-29  8:56 ` bauhaus at futureapps dot de
@ 2005-11-29  9:30 ` bauhaus at futureapps dot de
  2007-02-03  9:51 ` tbm at cyrius dot com
                   ` (2 subsequent siblings)
  8 siblings, 0 replies; 10+ messages in thread
From: bauhaus at futureapps dot de @ 2005-11-29  9:30 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #6 from bauhaus at futureapps dot de  2005-11-29 09:30 -------
Created an attachment (id=10360)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10360&action=view)
source file set for the 4.2 Bug Box

To reproduce,

$ cd src
$ gcc -c -gnatwecfijkmruv -gnaty3abcefhiklmnoprstx -Wall \
-O2 -gnatn -I- -gnatA -I../include/ai302 -I../include -I. \
aws-attachments.adb


-- 


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
                   ` (5 preceding siblings ...)
  2005-11-29  9:30 ` bauhaus at futureapps dot de
@ 2007-02-03  9:51 ` tbm at cyrius dot com
  2007-02-03 21:04 ` bauhaus at futureapps dot de
  2007-04-30  9:36 ` charlet at gcc dot gnu dot org
  8 siblings, 0 replies; 10+ messages in thread
From: tbm at cyrius dot com @ 2007-02-03  9:51 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #7 from tbm at cyrius dot com  2007-02-03 09:51 -------
(In reply to comment #6)
> Created an attachment (id=10360)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10360&action=view) [edit]
> source file set for the 4.2 Bug Box
> 
> To reproduce,

Can you still reproduce this problem?  I cannot with 4.2.0 20070131.


-- 


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
                   ` (6 preceding siblings ...)
  2007-02-03  9:51 ` tbm at cyrius dot com
@ 2007-02-03 21:04 ` bauhaus at futureapps dot de
  2007-04-30  9:36 ` charlet at gcc dot gnu dot org
  8 siblings, 0 replies; 10+ messages in thread
From: bauhaus at futureapps dot de @ 2007-02-03 21:04 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #8 from bauhaus at futureapps dot de  2007-02-03 21:04 -------
Subject: Re:  GNAT Bug Box, GCC error, verify_ssa failed

On Sat, 2007-02-03 at 09:51 +0000, tbm at cyrius dot com wrote:
> 
> ------- Comment #7 from tbm at cyrius dot com  2007-02-03 09:51 -------
> (In reply to comment #6)
> > Created an attachment (id=10360)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10360&action=view)
>  --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10360&action=view) [edit]
> > source file set for the 4.2 Bug Box
> > 
> > To reproduce,
> 
> Can you still reproduce this problem?  I cannot with 4.2.0 20070131.
> 
> 

Thanks for reminding me.
I have tried again using

Target: i686-pc-linux-gnu
Configured with: ../gcc/configure --prefix=/opt/GCC/4 --enable-threads=posix
--enable-languages=c,ada,c++,fortran
Thread model: posix
gcc version 4.3.0 20070127 (experimental)

This compiler appears to be working.

***

FWIW, the Ubuntu 6.10 system compiler gives a variation of the
original error for attachment 10359.

$ gcc -c -gnatwecfijkmruv -gnaty3abcefhiklmnoprstx -Wall \
>  -O2 -gnatn -I- -I../include/ai302 -I../include -I. \
> -gnatA aws-containers-key_value.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20060928 (prerelease) (Ubuntu 4.1.1-15ubuntu1) (i486-pc-linux-gnu) GCC
error:|
| in referenced_var_lookup, at tree-dfa.c:578                              |
| No source file position information available                            |
| 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-4.1 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.

aws-containers-key_value.ads
./aws-containers.ads
./aws.ads
../include/strings_maps.ads
../include/ai302/ai302.ads
../include/ai302/ai302-containers.ads
../include/ai302/ai302-containers-indefinite_hashed_maps.ads
../include/ai302/ai302-containers-hash_tables.ads
../include/ai302/ai302-strings.ads
../include/ai302/ai302-strings-hash.ads
../include/ai302/ai302-containers-indefinite_hashed_maps.adb
../include/ai302/ai302-containers-hash_tables.adb
../include/ai302/ai302-containers-prime_numbers.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:380


-- 


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
* [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed
  2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
                   ` (7 preceding siblings ...)
  2007-02-03 21:04 ` bauhaus at futureapps dot de
@ 2007-04-30  9:36 ` charlet at gcc dot gnu dot org
  8 siblings, 0 replies; 10+ messages in thread
From: charlet at gcc dot gnu dot org @ 2007-04-30  9:36 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #9 from charlet at gcc dot gnu dot org  2007-04-30 10:35 -------
Closing, as per last message.

Arno


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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


^ permalink raw reply	[flat|nested] 10+ messages in thread
end of thread, other threads:[~2007-04-30  9:36 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-11-27 12:14 [Bug ada/25117] New: GNAT Bug Box, GCC error, TYPES.UNRECOVERABLE_ERROR bauhaus at futureapps dot de
2005-11-27 12:31 ` [Bug ada/25117] " bauhaus at futureapps dot de
2005-11-27 17:26 ` [Bug ada/25117] GNAT Bug Box, GCC error, verify_ssa failed charlet at gcc dot gnu dot org
2005-11-27 21:26 ` bauhaus at futureapps dot de
2005-11-28  7:11 ` charlet at gcc dot gnu dot org
2005-11-29  8:56 ` bauhaus at futureapps dot de
2005-11-29  9:30 ` bauhaus at futureapps dot de
2007-02-03  9:51 ` tbm at cyrius dot com
2007-02-03 21:04 ` bauhaus at futureapps dot de
2007-04-30  9:36 ` charlet at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).