Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

[Steven Bosscher]

The following reply was made to PR c/9163; it has been noted by GNATS.

From: Steven Bosscher <s.bosscher@student.tudelft.nl>
To: gcc-gnats@gcc.gnu.org, gcc-bugs@gcc.gnu.org,
	ehrhardt@mathematik.uni-ulm.de, nobody@gcc.gnu.org,
	gcc-prs@gcc.gnu.org, jason@redhat.com
Cc:  
Subject: Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776
 with c99 mode
Date: Mon, 24 Mar 2003 01:12:09 +0100

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9163
 
 I haven't checked to make sure, but this patch:
 
 2002-01-22  Jason Merrill  <jason@redhat.com>
 
         * c-semantics.c (genrtl_compound_stmt): Only check nesting
         consistency if this COMPOUND_STMT is scoped.
 
 is obvioulsy by far the most likely candidate for
 this breakage.
 
 Greetz
 Steven
 

Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

[Wolfgang Bangerth]

The following reply was made to PR c/9163; it has been noted by GNATS.

From: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
To: Eric Botcazou <ebotcazou@libertysurf.fr>
Cc: Christian Ehrhardt <ehrhardt@mathematik.uni-ulm.de>,
   <gcc-gnats@gcc.gnu.org>
Subject: Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at
 c-semantics.c:776 with c99 mode
Date: Tue, 7 Jan 2003 09:58:30 -0600 (CST)

 On Tue, 7 Jan 2003, Eric Botcazou wrote:
 
 > > I did not give any special flags to configure, so if --disable-checking is
 > > the default on the branch, then your right. Umph. Thanks for pointing this
 > > out!
 > 
 > Take a look at the auto-host.h file in the objdir/gcc directory to see what 
 > checking options (if any) are enabled for your build.
 
 Presently, no checking options are enabled on the 3.2.2 branch. So I 
 assume the same holds for the snapshot with which I tested. The fact that 
 I did not see the bug on the 3.2 branch does not mean anything thus. 
 Rather, Christian's observation holds, and I will update the synopsis of 
 the report. 
 
 I checked with my compiler collection, and it turns out that the bug was 
 introduced between 2002-01-15 and 2002-02-01.
 
 W.
 
 -------------------------------------------------------------------------
 Wolfgang Bangerth             email:            bangerth@ticam.utexas.edu
                               www: http://www.ticam.utexas.edu/~bangerth/
 
 

Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

[Wolfgang Bangerth]

The following reply was made to PR c/9163; it has been noted by GNATS.

From: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
To: Eric Botcazou <ebotcazou@libertysurf.fr>
Cc: Christian Ehrhardt <ehrhardt@mathematik.uni-ulm.de>,
   <gcc-bugs@gcc.gnu.org>, <gcc-gnats@gcc.gnu.org>
Subject: Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at
 c-semantics.c:776 with c99 mode
Date: Tue, 7 Jan 2003 09:04:42 -0600 (CST)

 > So I think that the problem has been there for a long time, and that 
 > Wolfgang's 20021213 version was configured with --disable-checking.
 
 I did not give any special flags to configure, so if --disable-checking is 
 the default on the branch, then your right. Umph. Thanks for pointing this 
 out!
 
 W.
 
 -------------------------------------------------------------------------
 Wolfgang Bangerth             email:            bangerth@ticam.utexas.edu
                               www: http://www.ticam.utexas.edu/~bangerth/
 
 

Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

[Christian Ehrhardt]

The following reply was made to PR c/9163; it has been noted by GNATS.

From: "Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de>
To: Eric Botcazou <ebotcazou@libertysurf.fr>
Cc: bangerth@dealii.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
  nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode
Date: Tue, 7 Jan 2003 15:11:34 +0100

 On Tue, Jan 07, 2003 at 12:41:17PM +0100, Eric Botcazou wrote:
 > I'm very skeptical, because the only change between 20021213 and 20021218 was:
 >  [ ... ]
 > The ICE is triggered by:
 > 
 > #ifdef ENABLE_CHECKING
 >   /* Make sure that we've pushed and popped the same number of levels.  */
 >   if (!COMPOUND_STMT_NO_SCOPE (t) && n != current_nesting_level ())
 >     abort ();
 > #endif
 > 
 > that is, the parse error is confusing the regular handling of nested scopes.
 > 
 > So I think that the problem has been there for a long time, and that 
 > Wolfgang's 20021213 version was configured with --disable-checking.
 
 Agreed. So this might not even be a regression at all because tree
 checking was disabled on all the versions where it worked for me.
 Thanks for pointing this out.
 
      regards   Christian
 
 -- 
 THAT'S ALL FOLKS!

Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

[Eric Botcazou]

The following reply was made to PR c/9163; it has been noted by GNATS.

From: Eric Botcazou <ebotcazou@libertysurf.fr>
To: "Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de>
Cc: bangerth@dealii.org,
 gcc-bugs@gcc.gnu.org,
 gcc-prs@gcc.gnu.org,
 nobody@gcc.gnu.org,
 gcc-gnats@gcc.gnu.org
Subject: Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode
Date: Tue, 7 Jan 2003 12:41:17 +0100

 On Tuesday 07 January 2003 11:09, Christian Ehrhardt wrote:
 > >     Confirmed. I could not reproduce this with a 3.2.2 from
 > >     20021213, though. Which version did you use, Christian?
 >
 > 20021218 ICEs, i.e. the bug was introduced between 20021213 and 2002121=
 8
 > into the 3.2 branch. Here's the output of gcc-3.2.2 on sparc:
 
 I'm very skeptical, because the only change between 20021213 and 20021218=
  was:
 
 2002-12-17  Jakub Jelinek  <jakub@redhat.com>
 
 =09PR opt/8794
 =09* combine.c (force_to_mode) [MINUS]: Only replace with (not Y) if all
 =09bits in fuller_mask (not just mask) are set in C.
 
 which certainly can't be the culprit (the bug occurs earlier, during RTL=20
 generation).
 
 The ICE is triggered by:
 
 #ifdef ENABLE_CHECKING
   /* Make sure that we've pushed and popped the same number of levels.  *=
 /
   if (!COMPOUND_STMT_NO_SCOPE (t) && n !=3D current_nesting_level ())
     abort ();
 #endif
 
 that is, the parse error is confusing the regular handling of nested scop=
 es.
 
 So I think that the problem has been there for a long time, and that=20
 Wolfgang's 20021213 version was configured with --disable-checking.
 
 --=20
 Eric Botcazou

Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

[Christian Ehrhardt]

The following reply was made to PR c/9163; it has been noted by GNATS.

From: "Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de>
To: bangerth@dealii.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
  nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode
Date: Tue, 7 Jan 2003 11:09:32 +0100

 >     Confirmed. I could not reproduce this with a 3.2.2 from
 >     20021213, though. Which version did you use, Christian?
 
 20021218 ICEs, i.e. the bug was introduced between 20021213 and 20021218
 into the 3.2 branch. Here's the output of gcc-3.2.2 on sparc:
 
 $ ~/gcc-3.2-cvs/install/bin/gcc -v -std=c99 9163.c 
 Reading specs from /home/thales/ehrhardt/gcc-3.2-cvs/install/bin/../lib/gcc-lib/sparc-sun-solaris2.9/3.4/specs
 Configured with: 
 Thread model: posix
 gcc version 3.4 20021218 (experimental)
  /home/thales/ehrhardt/gcc-3.2-cvs/install/bin/../lib/gcc-lib/sparc-sun-solaris2.9/3.4/cc1 -quiet -v -iprefix /home/thales/ehrhardt/gcc-3.2-cvs/install/bin/../lib/gcc-lib/sparc-sun-solaris2.9/3.4/ -D__GNUC__=3 -D__GNUC_MINOR__=4 -D__GNUC_PATCHLEVEL__=0 -D__sparc__ -D__sparc -D__GCC_NEW_VARARGS__ -Acpu=sparc -Amachine=sparc 9163.c -quiet -dumpbase 9163.c -auxbase 9163 -std=c99 -version -o /tmp/ccpmm6NL.s
 GNU C version 3.4 20021218 (experimental) (sparc-sun-solaris2.9)
         compiled by GNU C version 3.4 20021218 (experimental).
 ignoring nonexistent directory "/home/thales/ehrhardt/gcc-3.2-cvs/install/sparc-sun-solaris2.9/include"
 ignoring nonexistent directory "/home/thales/ehrhardt/gcc-3.2-cvs/install/sparc-sun-solaris2.9/include"
 ignoring duplicate directory "/home/thales/ehrhardt/gcc-3.2-cvs/install/lib/gcc-lib/sparc-sun-solaris2.9/3.4/include"
 #include "..." search starts here:
 #include <...> search starts here:
  /home/thales/ehrhardt/gcc-3.2-cvs/install/lib/gcc-lib/sparc-sun-solaris2.9/3.4/include
  /usr/local/include
  /home/thales/ehrhardt/gcc-3.2-cvs/install/include
  /usr/include
 End of search list.
 9163.c: In function `f':
 9163.c:3: error: parse error before "int"
 9163.c:4: internal compiler error: in genrtl_compound_stmt, at c-semantics.c:726
 Please submit a full bug report,
 with preprocessed source if appropriate.
 See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.
 
     regards   Christian
 
 -- 
 THAT'S ALL FOLKS!

Re: c/9163: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

[bangerth]

Old Synopsis: ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode
New Synopsis: [3.3/3.4 regression] ICE in genrtl_compound_stmt at c-semantics.c:776 with c99 mode

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Mon Jan  6 17:18:09 2003
State-Changed-Why:
    Confirmed. I could not reproduce this with a 3.2.2 from
    20021213, though. Which version did you use, Christian?
    
    It ICEs with 3.3 and 3.4, though, so this is indeed a regression.
    
    W.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9163