[Bug rtl-optimization/15937] New: miscompiles gengtype of HEAD as bootstrap compiler

[Bug rtl-optimization/15937] New: miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

3.3.4 miscompiles gengtype if used as host compiler during bootstrap:

gcc -c   -g  -DIN_GCC   -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes     -DHAVE_CONFIG_H -DGENERATOR_FILE    -I. -I.
-I../../src/gcc-3.5/gcc -I../../src/gcc-3.5/gcc/.
-I../../src/gcc-3.5/gcc/../include -I../../src/gcc-3.5/gcc/../libcpp/include
-I../../src/gcc-3.5/gcc/../libbanshee/libcompat
-I../../src/gcc-3.5/gcc/../libbanshee
-I../../src/gcc-3.5/gcc/../libbanshee/points-to 
../../src/gcc-3.5/gcc/gengtype.c -o gengtype.o
flex  -ogengtype-lex.c ../../src/gcc-3.5/gcc/gengtype-lex.l
bison  -d -o gengtype-yacc.c ../../src/gcc-3.5/gcc/gengtype-yacc.y
gcc -c   -g  -DIN_GCC   -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes   -Wno-error  -DHAVE_CONFIG_H -DGENERATOR_FILE    -I. -I.
-I../../src/gcc-3.5/gcc -I../../src/gcc-3.5/gcc/.
-I../../src/gcc-3.5/gcc/../include -I../../src/gcc-3.5/gcc/../libcpp/include
-I../../src/gcc-3.5/gcc/../libbanshee/libcompat
-I../../src/gcc-3.5/gcc/../libbanshee
-I../../src/gcc-3.5/gcc/../libbanshee/points-to  \
 gengtype-lex.c -o gengtype-lex.o
gengtype-lex.c:3245: warning: no previous prototype for `yyget_lineno'
gengtype-lex.c:3254: warning: no previous prototype for `yyget_in'
gengtype-lex.c:3262: warning: no previous prototype for `yyget_out'
gengtype-lex.c:3270: warning: no previous prototype for `yyget_leng'
gengtype-lex.c:3279: warning: no previous prototype for `yyget_text'
gengtype-lex.c:3288: warning: no previous prototype for `yyset_lineno'
gengtype-lex.c:3300: warning: no previous prototype for `yyset_in'
gengtype-lex.c:3305: warning: no previous prototype for `yyset_out'
gengtype-lex.c:3310: warning: no previous prototype for `yyget_debug'
gengtype-lex.c:3315: warning: no previous prototype for `yyset_debug'
gengtype-lex.c:3321: warning: no previous prototype for `yylex_destroy'
gcc -c   -g  -DIN_GCC   -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes   -Wno-error  -DHAVE_CONFIG_H -DGENERATOR_FILE    -I. -I.
-I../../src/gcc-3.5/gcc -I../../src/gcc-3.5/gcc/.
-I../../src/gcc-3.5/gcc/../include -I../../src/gcc-3.5/gcc/../libcpp/include
-I../../src/gcc-3.5/gcc/../libbanshee/libcompat
-I../../src/gcc-3.5/gcc/../libbanshee
-I../../src/gcc-3.5/gcc/../libbanshee/points-to  \
 gengtype-yacc.c -o gengtype-yacc.o
gcc   -g  -DIN_GCC   -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes     -DHAVE_CONFIG_H -DGENERATOR_FILE  -o gengtype \
 gengtype.o gengtype-lex.o gengtype-yacc.o ../libiberty/libiberty.a
./gengtype
../../src/gcc-3.5/gcc/rtl.h:265: duplicate structure definition
../../src/gcc-3.5/gcc/rtl.h:265: previous definition here
../../src/gcc-3.5/gcc/rtl.h:265: duplicate structure definition
../../src/gcc-3.5/gcc/rtl.h:265: previous definition here
../../src/gcc-3.5/gcc/rtl.h:265: duplicate structure definition
../../src/gcc-3.5/gcc/rtl.h:265: previous definition here
../../src/gcc-3.5/gcc/rtl.h:265: duplicate structure definition
../../src/gcc-3.5/gcc/rtl.h:265: previous definition here
../../src/gcc-3.5/gcc/rtl.h:265: duplicate structure definition
../../src/gcc-3.5/gcc/rtl.h:265: previous definition here
../../src/gcc-3.5/gcc/rtl.h:265: duplicate structure definition
../../src/gcc-3.5/gcc/rtl.h:265: previous definition here
../../src/gcc-3.5/gcc/rtl.h:265: duplicate structure definition
../../src/gcc-3.5/gcc/rtl.h:265: previous definition here
../../src/gcc-3.5/gcc/rtl.h:265: duplicate structure definition
../../src/gcc-3.5/gcc/rtl.h:265: previous definition here
make[2]: *** [s-gtype] Segmentation fault
make[2]: Leaving directory `/net/natasa/scratch/natasa/rguenth/gcc-obj-3.5/gcc'
make[1]: *** [stage1_build] Error 2
make[1]: Leaving directory `/net/natasa/scratch/natasa/rguenth/gcc-obj-3.5/gcc'
make: *** [bootstrap] Error 2

using 3.4.0 as host compiler makes it past this point.  This is the debian
version of the 3.3.4 release:
natasa:rguenth> gcc --version
gcc (GCC) 3.3.4 (Debian)
natasa:rguenth> dpkg -l gcc-3.3
ii  gcc-3.3          3.3.4-1          The GNU C compiler

-- 
           Summary: miscompiles gengtype of HEAD as bootstrap compiler
           Product: gcc
           Version: 3.3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: rtl-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at tat dot physik dot uni-tuebingen dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: ia64-unknown-linux-gnu
  GCC host triplet: ia64-unknown-linux-gnu
GCC target triplet: ia64-unknown-linux-gnu


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

[Bug rtl-optimization/15937] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-11 11:16 -------
Created an attachment (id=6516)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6516&action=view)
preprocessed testcase


-- 


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

[Bug rtl-optimization/15937] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-11 11:16 -------
Created an attachment (id=6517)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6517&action=view)
preprocessed testcase


-- 


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

[Bug rtl-optimization/15937] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-11 11:18 -------
Created an attachment (id=6518)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6518&action=view)
preprocessed testcase

Three-part preprocessed testcase attached.

-- 


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

[Bug rtl-optimization/15937] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-11 11:21 -------
Using -O / -O2 on the testcases, gengtype just segfaults

-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|rtl-optimization            |middle-end
           Keywords|                            |build, wrong-code
            Summary|miscompiles gengtype of HEAD|[3.3 only] miscompiles
                   |as bootstrap compiler       |gengtype of HEAD as
                   |                            |bootstrap compiler
   Target Milestone|---                         |3.3.4


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.4                       |3.3.5


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[wilson at gcc dot gnu dot org]

------- Additional Comments From wilson at gcc dot gnu dot org  2004-06-17 06:23 -------
I am not able to reproduce this problem.

I tried first on a debian testing system.  I bootstrapped the gcc-3.3.4 tarball
with --enable-languages=c, and then tried to bootstrap mainline.  gengtype
worked correctly.

I then tried on a debian unstable system.  I ran apt-get to make sure everything
was up to date, then tried to bootstrap mainline using /usr/bin/gcc which is
gcc-3.3.4-1.  gengtype worked correctly.

I suspect that this may be a bison/flex versioning problem rather than a gcc
optimizer bug.  Perhaps the debian folks have already updated the bison/flex
packages to make this problem go away, or perhaps you have out of date versions
of the bison/flex packages, or perhaps someone has already applied a patch to
the bison/flex input files on mainline that fixed the problem.  There is no easy
way for me to tell.

By the way, reporting a bug against mainline is a bit ambiguous, unless you
indicate when you checked out mainline.  If you use contrib/gcc_update, then you
can include the LAST_UPDATED file.  Otherwise, you can try attaching the top
entry of the relevant ChangeLog file, e.g. gcc/ChangeLog for gcc problems.

I notice that gengtype was compiled without optimization.  If you configure
normally, it will be compiled with -O2.  That implies that you did something
different when configuring that you failed to specify in the bug report.  This
could perhaps explain why I could not reproduce the problem.

-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-17 07:48 -------
Subject: Re:  [3.3 only] miscompiles gengtype of HEAD
 as bootstrap compiler

On Thu, 17 Jun 2004, wilson at gcc dot gnu dot org wrote:

>
> ------- Additional Comments From wilson at gcc dot gnu dot org  2004-06-17 06:23 -------
> I am not able to reproduce this problem.
>
> I tried first on a debian testing system.  I bootstrapped the gcc-3.3.4 tarball
> with --enable-languages=c, and then tried to bootstrap mainline.  gengtype
> worked correctly.
>
> I then tried on a debian unstable system.  I ran apt-get to make sure everything
> was up to date, then tried to bootstrap mainline using /usr/bin/gcc which is
> gcc-3.3.4-1.  gengtype worked correctly.
>
> I suspect that this may be a bison/flex versioning problem rather than a gcc
> optimizer bug.  Perhaps the debian folks have already updated the bison/flex
> packages to make this problem go away, or perhaps you have out of date versions
> of the bison/flex packages, or perhaps someone has already applied a patch to
> the bison/flex input files on mainline that fixed the problem.  There is no easy
> way for me to tell.

I'll try again soon.

> By the way, reporting a bug against mainline is a bit ambiguous, unless you
> indicate when you checked out mainline.  If you use contrib/gcc_update, then you
> can include the LAST_UPDATED file.  Otherwise, you can try attaching the top
> entry of the relevant ChangeLog file, e.g. gcc/ChangeLog for gcc problems.

Yes, sorry.  The day of the bugreport, of course.

> I notice that gengtype was compiled without optimization.  If you configure
> normally, it will be compiled with -O2.  That implies that you did something
> different when configuring that you failed to specify in the bug report.  This
> could perhaps explain why I could not reproduce the problem.

Really?  I expected (and experienced) the host compiler to be used only
with -O0 for compiling stage1.

Richard.


-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-17 08:04 -------
Subject: Re:  [3.3 only] miscompiles gengtype of HEAD
 as bootstrap compiler

On Thu, 17 Jun 2004, wilson at gcc dot gnu dot org wrote:

> I am not able to reproduce this problem.

It's still the same today.  Head of mainline ChangeLog shows

2004-06-17  Ben Elliston  <bje@au.ibm.com>

	* tree-alias-common.c: Add whitespace.
	* tree-inline.c: Correct comment about this file's purpose.
	* tree-optimize.c: Likewise.
	* tree-tailcall.c: Likewise.

bootstrapping on Debian ia64 unstable,
ii  bison                     1.875a-1.1
ii  flex                      2.5.31-24
ii  gcc                       3.3.4-1
ii  binutils                  2.14.90.0.7-8

configured with
--enable-threads=posix --enable-__cxa_atexit
--disable-libunwind-exceptions --disable-mudflap --disable-checking
--disable-libmudflap --enable-languages=c,c++

> I suspect that this may be a bison/flex versioning problem rather than a gcc
> optimizer bug.

Maybe it's a bug in the debian gcc version.  I'll open one there, too.


-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[wilson at specifixinc dot com]

------- Additional Comments From wilson at specifixinc dot com  2004-06-17 22:55 -------
Subject: Re:  [3.3 only] miscompiles gengtype of HEAD
 as bootstrap compiler

rguenth at tat dot physik dot uni-tuebingen dot de wrote:
> Really?  I expected (and experienced) the host compiler to be used only
> with -O0 for compiling stage1.

My mistake.  I do so many cross compiler builds that I forgot that make 
bootstrap behaves differently than make all-gcc.


-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[wilson at specifixinc dot com]

------- Additional Comments From wilson at specifixinc dot com  2004-06-17 23:02 -------
Subject: Re:  [3.3 only] miscompiles gengtype of HEAD
 as bootstrap compiler

rguenth at tat dot physik dot uni-tuebingen dot de wrote:
> bootstrapping on Debian ia64 unstable,
> ii  bison                     1.875a-1.1
> ii  flex                      2.5.31-24
> ii  gcc                       3.3.4-1
> ii  binutils                  2.14.90.0.7-8'

I have the same versions of these packages installed.

> configured with
> --enable-threads=posix --enable-__cxa_atexit
> --disable-libunwind-exceptions --disable-mudflap --disable-checking
> --disable-libmudflap --enable-languages=c,c++

I tried a configure and bootstrap with these options, and it worked fine 
for me.


-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-24 22:10 -------
Just building gengtype with gcc 3.4 continues bootstrap to genconstants

gcc   -g  -DIN_GCC   -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes     -DHAVE_CONFIG_H -DGENERATOR_FILE  -o genconstants \
 genconstants.o gensupport.o dummy-conditions.o rtl.o read-rtl.o bitmap.o
ggc-none.o min-insn-modes.o \
    errors.o ../libiberty/libiberty.a
./genconstants ../../src/gcc-3.5/gcc/config/ia64/ia64.md > tmp-constants.h
make[1]: *** [s-constants] Error 139

which also segfaults... (again in strlen, but not with useful backtrace)

re-confirmed with mainline from today.


-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-26 19:51 -------
Grrr, miscompiles gengtype of 3.4.1, too :(

-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-26 20:57 -------
And itself...

-- 


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

[Bug middle-end/15937] [3.3 only] miscompiles gengtype of HEAD as bootstrap compiler

[rguenth at tat dot physik dot uni-tuebingen dot de]

------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-06-26 21:53 -------
Bootstrapping 3.3 HEAD with 3.4 and then bootstrapping that with the new 3.3
works.  So it seems this is a genuine Debian bug.  Closed as invalid(?).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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