[Bug ada/26162] New: "GNAT BUG DETECTED" in AWS

[Bug ada/26162] New: "GNAT BUG DETECTED" in AWS

[krischik at users dot sourceforge dot net]

When compiling the AWS HEAD release I get the following Error message:

+===========================GNAT BUG DETECTED==============================+
| 4.0.2 (x86_64-suse-linux-gnu) in emit_move_insn, bei expr.c:3092         |
| Error detected at aws-url.adb:709:1                                      |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| 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.

/work/act/AWS/src/aws-url.adb
/work/act/AWS/src/aws-url.ads
/work/act/AWS/src/aws.ads
/work/act/AWS/src/aws-messages.ads
/work/act/AWS/src/aws-utils.ads
/work/act/AWS/include/zlib.ads
/work/act/AWS/src/aws-url-raise_url_error.ads
/work/act/AWS/src/aws-messages.adb


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:387
gnatmake: "/work/act/AWS/src/aws-url.adb" compilation error

And the obligatoric gcc -v:

>LANG=C gcc -v
Using built-in specs.
Target: x86_64-suse-linux
Configured with: ../gcc-4.0.2/configure --with-gcc --with-gnu-ld --with-gnu-as
--enable-alloca=yes --enable-mpfr --enable-libada --enable-libgcj
--enable-multilib --enable-java-gc=boehm --enable-c99 --enable-threads=yes
--enable-interpreter --enable-hash-synchronization --enable-shared
--prefix=/opt/gnat/gcc --enable-languages=c,ada,c++,f95,java,objc
x86_64-suse-linux
Thread model: posix
gcc version 4.0.2

Martin


-- 
           Summary: "GNAT BUG DETECTED" in AWS
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: krischik at users dot sourceforge dot net
 GCC build triplet: x86_64-linux-gnu
  GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu


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

[Bug ada/26162] "GNAT BUG DETECTED" in AWS

[krischik at users dot sourceforge dot net]

------- Comment #1 from krischik at users dot sourceforge dot net  2006-02-07 17:51 -------
Created an attachment (id=10797)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10797&action=view)
The sources, concatternated and ziped up.


-- 


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

[Bug ada/26162] "GNAT BUG DETECTED" in AWS

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-02-07 18:11 -------
What options were you compiling with?


-- 


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

[Bug ada/26162] "GNAT BUG DETECTED" in AWS

[krischik at users dot sourceforge dot net]

------- Comment #3 from krischik at users dot sourceforge dot net  2006-02-07 20:23 -------
Sorry, allways forget. Here it comes:

gcc -c -gnatwecfijkmruv -gnaty3abcefhiklmnoprstx -Wall -O2 -gnatn -I- -gnatA
/work/act/AWS/src/aws-url.adb

With Regards

Martin


-- 


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

[Bug ada/26162] "GNAT BUG DETECTED" in AWS

[charlet at gcc dot gnu dot org]

------- Comment #4 from charlet at gcc dot gnu dot org  2006-11-01 18:32 -------
Is it still happening with GCC 4.2 or GCC 4.3 ?

Arno


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug ada/26162] "GNAT BUG DETECTED" in AWS

[charlet at gcc dot gnu dot org]

------- Comment #5 from charlet at gcc dot gnu dot org  2007-04-30 10:24 -------
No feedback in 5 monthes, closing.


-- 

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=26162