ada/6942: Error detected at g-spipat.adb:4828:7 (cygwin)

[David.Billinghurst@riotinto.com]

>Number:         6942
>Category:       ada
>Synopsis:       Error detected at g-spipat.adb:4828:7 (cygwin)
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Jun 05 22:06:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     David Billinghurst
>Release:        gcc-3.2
>Organization:
>Environment:
i686-pc-cygwin
>Description:
cygwin bootstrap of 3.2 fails building g-spipat.ada

The failure was introduced:
 - after 2002-03-01 00:00 UTC
 - before 2002-03-14 00:00 UTC

../../xgcc -B../../ -c -g -O2 -g -O2 -W -Wall -gnatpg -I. -I/usr/local/src/gcc-j
/gcc/ada g-spipat.adb
g-spipat.adb: In function `gnat.spitbol.patterns.xmatch':
g-spipat.adb:3599: Call edges for non-call insn in bb 0
+===========================GNAT BUG DETECTED==============================+
| 3.1 (20020212) (i686-pc-cygwin) verify_flow_info failed                  |
| Error detected at g-spipat.adb:4828:7                                    |
| Please submit bug report by email to gcc-bugs@gcc.gnu.org.               |
| 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).                   |
| (use plain ASCII or MIME attachment).                                    |
| See gnatinfo.txt for full info on procedure for submitting bugs.         |
+==========================================================================+

Please include these source files with error report


compilation abandoned
make[2]: *** [g-spipat.o] Error 1
make[2]: Leaving directory `/usr/local/obj/gcc-ada-j/gcc/ada/rts'
make[1]: *** [gnatlib] Error 2
make[1]: Leaving directory `/usr/local/obj/gcc-ada-j/gcc/ada'
make: *** [gnatlib] Error 2
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: