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:
   <Current_Directory>
   /opt/gnat/gcc/lib/gcc/i686-pc-cygwin/4.1.0/adainclude/


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


Project Search Path:
   <Current_Directory>
   /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

Reply via email to