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

2006-04-25 Thread 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/27186] GNAT BUG DETECTED with Booch Components Set_Test_Support

2006-04-25 Thread george dot chapman at lmco dot com


--- Comment #8 from george dot chapman at lmco dot com  2006-04-25 21:32 
---


*** This bug has been marked as a duplicate of 26678 ***


-- 

george dot chapman at lmco dot com changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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



[Bug ada/27186] GNAT BUG DETECTED with Booch Components Set_Test_Support

2006-04-25 Thread george dot chapman at lmco dot com


--- Comment #7 from george dot chapman at lmco dot com  2006-04-25 21:31 
---
I agree.


-- 


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



[Bug ada/27186] GNAT BUG DETECTED with Booch Components Set_Test_Support

2006-04-17 Thread george dot chapman at lmco dot com


--- Comment #5 from george dot chapman at lmco dot com  2006-04-18 00:40 
---
Compiles at "-O0" but not "-O1" and subsequent.


-- 


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



[Bug ada/27186] GNAT BUG DETECTED with Booch Components Set_Test_Support

2006-04-17 Thread george dot chapman at lmco dot com


--- Comment #4 from george dot chapman at lmco dot com  2006-04-18 00:36 
---
Created an attachment (id=11289)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11289&action=view)
gnatchop input


-- 


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



[Bug ada/27186] GNAT BUG DETECTED with Booch Components Set_Test_Support

2006-04-17 Thread george dot chapman at lmco dot com


--- Comment #3 from george dot chapman at lmco dot com  2006-04-18 00:35 
---
(From update of attachment 11287)
Missing body for Managed_Storage.


-- 

george dot chapman at lmco dot com changed:

   What|Removed |Added

  Attachment #11287|0   |1
is obsolete||


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



[Bug ada/27186] GNAT BUG DETECTED with Booch Components Set_Test_Support

2006-04-17 Thread george dot chapman at lmco dot com


--- Comment #2 from george dot chapman at lmco dot com  2006-04-17 22:01 
---
Created an attachment (id=11288)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11288&action=view)
shell input


-- 


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



[Bug ada/27186] GNAT BUG DETECTED with Booch Components Set_Test_Support

2006-04-17 Thread george dot chapman at lmco dot com


--- Comment #1 from george dot chapman at lmco dot com  2006-04-17 22:00 
---
Created an attachment (id=11287)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11287&action=view)
gnatchop input


-- 


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



[Bug ada/27186] New: GNAT BUG DETECTED with Booch Components Set_Test_Support

2006-04-17 Thread george dot chapman at lmco dot com
Compiles Booch Components but does not compile a package used for testing the
components.  Compiler creates the ali file but no object file.
Cygwin from http://sources.redhat.com/cygwin/
Compiler (GNU Ada, package GNAT/GCC MS-Windows Cygwin, release 4.1.0 R4) from
http://sourceforge.net/project/showfiles.php?group_id=12974&package_id=185727
Booch Components (version 20051222) from
http://sourceforge.net/project/showfiles.php?group_id=135616

Attached will be the gnatchop input.
Attached will be a BASH file 'build.sh' for reproducing the problem; its output
is:

gcc -v
Using built-in specs.
Target: i686-pc-cygwin
Configured with: ../gcc-4.1.0/configure --enable-gmp --enable-mpfr
--enable-threads=posix --prefix=/opt/gnat/gcc
--enable-languages=c,ada,c++,fortran,java,objc,obj-c++ i686-pc-cygwin
Thread model: posix
gcc version 4.1.0

uname -a
CYGWIN_NT-5.1 DAL1K0496 1.5.19(0.150/4/2) 2006-01-20 13:28 i686 Cygwin

gnatls -v

GNATLS 4.1.0
Copyright 1997-2005 Free Software Foundation, Inc.

Source Search Path:
   
   /opt/gnat/gcc/lib/gcc/i686-pc-cygwin/4.1.0/adainclude/


Object Search Path:
   
   /opt/gnat/gcc/lib/gcc/i686-pc-cygwin/4.1.0/adalib/


Project Search Path:
   
   /opt/gnat/gcc/lib/gnat/


gnatchop set-test-support-gnatchop-input.txt
splitting set-test-support-gnatchop-input.txt into:
   bc.ads
   bc-containers.ads
   bc-containers-sets.ads
   bc-containers-sets-bounded.ads
   bc-support.ads
   bc-support-bounded_hash_tables.ads
   bc-containers-sets-dynamic.ads
   bc-support-dynamic.ads
   bc-support-hash_tables.ads
   bc-containers-sets-unbounded.ads
   bc-support-unbounded.ads
   bc-containers-sets-unmanaged.ads
   bc-support-unmanaged.ads
   bc-support-standard_storage.ads
   bc-support-managed_storage.ads
   bc-support-bounded_hash_tables.adb
   bc-support-hash_tables.adb
   bc-containers.adb
   bc-containers-sets.adb
   bc-containers-sets-bounded.adb
   bc-containers-sets-dynamic.adb
   bc-support-dynamic.adb
   bc-containers-sets-unbounded.adb
   bc-support-unbounded.adb
   bc-containers-sets-unmanaged.adb
   bc-support-unmanaged.adb
   global_heap.ads
   set_test_support.ads
   set_test_support.adb

gnatmake -O2 -g -gnatqQafy -gnatwaL set_test_support
gcc -c -O2 -g -gnatqQafy -gnatwaL set_test_support.adb
+===GNAT BUG DETECTED==+
| 4.1.0 (i686-pc-cygwin) GCC error:|
| in get_constraint_for_component_ref, at tree-ssa-structalias.c:2148  |
| Error detected at set_test_support.adb:25: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.

set_test_support.adb
set_test_support.ads
bc.ads
bc-containers.ads
bc-containers-sets.ads
bc-containers-sets-bounded.ads
bc-support.ads
bc-support-bounded_hash_tables.ads
bc-containers-sets-dynamic.ads
bc-support-dynamic.ads
bc-support-hash_tables.ads
bc-containers-sets-unbounded.ads
bc-support-unbounded.ads
bc-containers-sets-unmanaged.ads
bc-support-unmanaged.ads
bc-support-standard_storage.ads
global_heap.ads
bc-support-managed_storage.ads
bc-support-bounded_hash_tables.adb
bc-support-hash_tables.adb
bc-containers.adb
bc-containers-sets.adb
bc-containers-sets-bounded.adb
bc-containers-sets-dynamic.adb
bc-support-dynamic.adb
bc-containers-sets-unbounded.adb
bc-support-unbounded.adb
bc-containers-sets-unmanaged.adb
bc-support-unmanaged.adb


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:380
gnatmake: "set_test_support.adb" compilation error


-- 
   Summary: GNAT BUG DETECTED with Booch Components Set_Test_Support
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: george dot chapman at lmco dot com
  GCC host triplet: i686-pc-cygwin
GCC target triplet: i686-pc-cygwin


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