[Bug ada/26678] New: "GNAT BUG DETECTED" when compiling AWS.

[Bug ada/26678] New: "GNAT BUG DETECTED" when compiling AWS.

[krischik at users dot sourceforge dot net]

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

gcc -c -O2 -gnatws -gnatn -I- -gnatA
/work/rpm/BUILD/AWS-release_2_1a/src/aws-client.adb
gcc -c -O2 -gnatws -gnatn -I- -gnatA
/work/rpm/BUILD/AWS-release_2_1a/src/aws-net-sets.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 (i586-suse-linux-gnu) GCC error:                                   |
| in get_constraint_for_component_ref, bei tree-ssa-structalias.c:2148     |
| Error detected at aws-net-generic_sets.adb:395:1 [aws-net-sets.ads:36: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.

/work/rpm/BUILD/AWS-release_2_1a/src/aws-net-sets.ads
/work/rpm/BUILD/AWS-release_2_1a/src/aws-net.ads
/work/rpm/BUILD/AWS-release_2_1a/src/aws.ads
/work/rpm/BUILD/AWS-release_2_1a/src/aws-utils.ads
/work/rpm/BUILD/AWS-release_2_1a/include/zlib.ads
/work/rpm/BUILD/AWS-release_2_1a/src/aws-net-generic_sets.ads
/work/rpm/BUILD/AWS-release_2_1a/src/aws-net-generic_sets.adb
/work/rpm/BUILD/AWS-release_2_1a/src/aws-net-thin.ads
/work/rpm/BUILD/AWS-release_2_1a/src/aws-os_lib.ads
/work/rpm/BUILD/AWS-release_2_1a/src/aws-os_lib-definitions.ads
/work/rpm/BUILD/AWS-release_2_1a/src/aws-net-sets.ads


Execution terminated by unhandled exception
Exception name: TYPES.UNRECOVERABLE_ERROR
Message: comperr.adb:380
Call stack traceback locations:
0x8094160 0x8058bae 0x82e118a 0x82e124a 0x82e1294 0x84c4ad0 0x84c48c9 0x84c4931
0x84c5cac 0x84c6427 0x82857f2 0x84affe1 0x84b010c 0x84b0120 0x826eef2 0x805865e
0x84e841d 0x84e90e1 0x8058aba 0x8493ed8 0x826c096 0x40049b0e
gnatmake: "/work/rpm/BUILD/AWS-release_2_1a/src/aws-net-sets.ads" compilation
error
make[1]: *** [build] Fehler 4
make: *** [src_build] Fehler 2
error: Bad exit status from /var/tmp/rpm-tmp.88372 (%build)


RPM build errors:
    Bad exit status from /var/tmp/rpm-tmp.88372 (%build)

With Regards

Martin


-- 
           Summary: "GNAT BUG DETECTED" when compiling AWS.
           Product: gcc
           Version: 4.1.0
            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: i586-suse-linux
  GCC host triplet: i586-suse-linux
GCC target triplet: i586-suse-linux


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[charlet at gcc dot gnu dot org]

------- Comment #1 from charlet at gcc dot gnu dot org  2006-03-14 13:38 -------
Well, if it's CVS HEAD, it's not a "release".

Anyway, please post self contained (reduced if possible) sources showing
the problem, as well as standalone command line (simplified if possible).

Thanks.

Arno


-- 

charlet at gcc dot gnu dot org changed:

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


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[krischik at users dot sourceforge dot net]

------- Comment #2 from krischik at users dot sourceforge dot net  2006-03-14 13:45 -------
Created an attachment (id=11047)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11047&action=view)
The sources, concaternated and ziped.


-- 


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[krischik at users dot sourceforge dot net]

-- 

krischik at users dot sourceforge dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |major


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[charlet at gcc dot gnu dot org]

------- Comment #3 from charlet at gcc dot gnu dot org  2006-03-14 13:52 -------
Thanks for the sources. If you get a chance to reduce the problem, that
will certainly give this report higher priority.

I am also surprised by the location: tree-ssa-structalias.c, I thought
strict aliasing was disabled for Ada. Are you using FSF GCC sources or sources
modified ?

(btw, is there a way to remove the 'waiting' state without confirming the PR ?)

Arno


-- 


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[krischik at users dot sourceforge dot net]

------- Comment #4 from krischik at users dot sourceforge dot net  2006-03-14 14:02 -------
Hi Arnaud,

The HEAD is indeed a typo - should have been release_2_1a.  For head we have a
different problem (bug:26162).

As for the compiler, it is the unmodified release version:

GNAT 4.1.0
gcc (GCC) 4.1.0

With Regards

Martin


-- 


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[ebotcazou at gcc dot gnu dot org]

------- Comment #5 from ebotcazou at gcc dot gnu dot org  2006-03-14 14:47 -------
> I am also surprised by the location: tree-ssa-structalias.c, I thought
> strict aliasing was disabled for Ada. Are you using FSF GCC sources or sources
> modified ?

Structure aliasing is indeed disabled for Ada but tree-ssa-structalias.c
contains the generic points-to analyser, aka "constraint solver".


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2006-03-14 14:53 -------
A note is that it works on x86_64 (and I cannot test i686 because Ada does not
have mulitilib support:( ).

if Ada did have multilib support I could reduce this easier.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-03-16 18:33 -------
Hmm, this source works for me just fine on powerpc-darwin.


-- 


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[krischik at users dot sourceforge dot net]

------- Comment #8 from krischik at users dot sourceforge dot net  2006-03-23 20:07 -------
Hello Andrew, 

you are right - the hole of AWS compiles nicely with x86_64.

Martin


-- 


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[george dot chapman at lmco dot com]

------- Comment #9 from george dot chapman at lmco dot com  2006-04-25 21:32 -------
*** Bug 27186 has been marked as a duplicate of this bug. ***


-- 

george dot chapman at lmco dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |george dot chapman at lmco
                   |                            |dot com


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[matz at suse dot de]

------- Comment #10 from matz at suse dot de  2006-05-03 15:40 -------
We also got a bugreport about an ICE in get_constraint_for_component_ref,
but have a C testcase.  In the hope that it's the same reason I paste it
here:
---------------------------------
/* compile with gcc -c -O2 -o foo.o foo.c */
typedef struct {
        struct { } z;
} thang_t;
struct widget {
        struct widget *p, *q;
};
typedef struct thing {
        struct widget   x;
} thing_t;
struct {
        int             a;
        int             b;
        int             c;
        int             d;
        int             e;
        thang_t         f;
        thing_t         g;
} my_struct;
static void foo(thang_t *r)
{ splat(r);}

void function(int blaz)
{ foo(&my_struct.f);}
--------------------------------------

This fails with 4.1.x on x86_64 with -O1 and beyond.


-- 

matz at suse dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |matz at suse dot de


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[pinskia at gcc dot gnu dot org]

------- Comment #11 from pinskia at gcc dot gnu dot org  2006-05-03 15:43 -------
(In reply to comment #10)
> We also got a bugreport about an ICE in get_constraint_for_component_ref,
> but have a C testcase.  In the hope that it's the same reason I paste it
> here:
File as a seperate bug please.


-- 


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

[Bug ada/26678] "GNAT BUG DETECTED" when compiling AWS.

[matz at suse dot de]

------- Comment #12 from matz at suse dot de  2006-05-03 15:48 -------
It's bug 27409 now.


-- 


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

[Bug tree-optimization/26678] [4.1/4.2 Regression] "GNAT BUG DETECTED" when compiling AWS.

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2006-05-03 15:53 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|WAITING                     |ASSIGNED
          Component|ada                         |tree-optimization
     Ever Confirmed|0                           |1
      Known to fail|                            |4.1.0 4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-03 15:53:47
               date|                            |
            Summary|"GNAT BUG DETECTED" when    |[4.1/4.2 Regression] "GNAT
                   |compiling AWS.              |BUG DETECTED" when compiling
                   |                            |AWS.
   Target Milestone|---                         |4.1.1


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

[Bug tree-optimization/26678] [4.1/4.2 Regression] "GNAT BUG DETECTED" when compiling AWS.

[rguenth at gcc dot gnu dot org]

------- Comment #14 from rguenth at gcc dot gnu dot org  2006-05-09 14:34 -------
Can someone check, if this is now fixed with the fix for 27409?


-- 


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

[Bug tree-optimization/26678] [4.1/4.2 Regression] "GNAT BUG DETECTED" when compiling AWS.

[mmitchel at gcc dot gnu dot org]

------- Comment #15 from mmitchel at gcc dot gnu dot org  2006-05-14 22:29 -------
P5: Ada is not release-critical.


-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/26678] [4.1/4.2 Regression] "GNAT BUG DETECTED" when compiling AWS.

[rguenth at gcc dot gnu dot org]

------- Comment #16 from rguenth at gcc dot gnu dot org  2006-05-16 19:14 -------
I'm not working on the Ada problem.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|rguenth at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW


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

[Bug tree-optimization/26678] [4.1/4.2 Regression] "GNAT BUG DETECTED" when compiling AWS.

[laurent at guerby dot net]

------- Comment #17 from laurent at guerby dot net  2006-05-21 10:24 -------
This is fixed with:

gcc version 4.2.0 20060518 (experimental)
gcc version 4.1.1 20060517 (prerelease)


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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