[Bug ada/43769] New: Ada Bug Box when -O1 or higher

["ve3wwg at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

Using -O1 (or higher) in the compile:

gnatmake -O1 -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr z9.adb

provokes a bug box:

gnatmake -O1 -v -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9.adb

GNATMAKE  4.3.4 20090804 (release) 1
Copyright (C) 1995-2007, Free Software Foundation, Inc.
  "z9.ali" being checked ...
  -> "z9.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9.adb
  "z9-command_input.ali" being checked ...
  -> "z9-command_input.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9-command_input.adb
  "z9-command_options.ali" being checked ...
  -> "z9-command_options.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9-command_options.adb
  "z9-commands.ali" being checked ...
  -> "z9-commands.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9-commands.adb
  "z9-gc_styles.ali" being checked ...
  -> "z9-gc_styles.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9-gc_styles.adb
  "z9-global.ali" being checked ...
  -> "z9-global.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9-global.adb
  "z9-lex_streams.ali" being checked ...
  -> "z9-lex_streams.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9-lex_streams.adb
  "z9-lexers.ali" being checked ...
  -> "z9-lexers.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9-lexers.adb
  "z9-line_buffers.ali" being checked ...
  -> "z9-line_buffers.ali" missing.
gcc -c -O1 -save-temps -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
z9-line_buffers.adb
+===========================GNAT BUG DETECTED==============================+
| 4.3.4 20090804 (release) 1 (i686-pc-cygwin) GCC error:                   |
| in bitfield_overlaps_p, at tree-sra.c:2937                               |
| Error detected around z9-line_buffers.adb:1479                           |
| 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.

z9-line_buffers.adb
z9-line_buffers.ads
z9.ads
z9-global.ads
z9-string_containers.ads
simpmap.ads
z9-tokens.ads
z9-terminal.ads
z9-funcs.ads
z9-keywords.ads
z9-functions.ads
z9-error_codes.ads
z9-command_history.ads
rings.ads
z9-variables.ads
subscripts.ads
z9-lexers.ads
z9-lex_streams.ads
z9-gc_styles.ads
z9-vstrings.ads
z9-line_buffers-load_unnumbered.adb
simpmap.adb


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:398
End of compilation
gnatmake: "z9-line_buffers.adb" compilation error
make: *** [all] Error 4
----
$ cat Makefile

BUG = -v -save-temps
#DEBUG  = -g -O0
DEBUG  = -O1
AFLAGS = $(DEBUG) $(BUG) -gnat05 -Wall -gnatwl -gnata -gnatVa -gnatf -gnatwr
CFLAGS = $(DEBUG) -I.. $(BUG)
CXFLAGS = $(DEBUG) -I.. $(BUG)

all:    z9.adb
        gnatmake $(AFLAGS) z9.adb

z9.adb: z9.ada
        gnatchop z9.ada

clean:
        rm -f *.ali *.o *.exe *.exe.stackdump core *.a
        rm -f b~*.a* *.tmp *.s
        rm -f errs.t

clobber: clean
        rm *.adb *.ads
----
Where do I attach my 8,223 line z9.ada file in this Bug-zilla?  Surely
not in this message? First time using gcc bugzilla-- hopefully it lets
me attach it in the next step(s). Otherwise email me, and I'll gladly
forward the z9.ada (gnatchop-able) source code.

Warren


-- 
           Summary: Ada Bug Box when -O1 or higher
           Product: gcc
           Version: 4.3.4
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ve3wwg at gmail dot com
 GCC build triplet: i686-pc-cygwin
  GCC host triplet: i686-pc-cygwin
GCC target triplet: i686-pc-cygwin


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