[Bug c++/13661] New: Internal compiler error in c_expand_expr, at c-common.c:3714

[Bug c++/13661] New: Internal compiler error in c_expand_expr, at c-common.c:3714

[cgl20 at cam dot ac dot uk]

----- end part of error message ----
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichStuff.tcc:
In static member function `static double Lester::RichStuff<Mode,
mode>::totalLogProb(const Lester::RichParams<Mode, mode>&, const
Lester::Data<Mode, mode>&, const Lester::Alterations<Mode, mode>&) [with
Mode = Lester::Rich2Configuration, const Mode&mode =
Lester::globalRich2Configuration]':
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/MyRichMetropolisSampler.h:60:
  instantiated from `double Lester::MyRichMetropolisSampler<Mode,
mode>::logTargetDistribution(Lester::RichSpace<Mode, mode>::PointType&) const
[with Mode = Lester::Rich2Configuration, const Mode&mode =
Lester::globalRich2Configuration]'
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MarkovChainSampler/MarkovChainSampler.h:30:
  instantiated from here
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichStuff.tcc:68:
Internal compiler error in c_expand_expr, at c-common.c:3714
Please submit a full bug report, with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
-------------------------------------------------


On my computer (pccn) with the following snippets of configuration ... 

pccn:cmt> ldd `which g++`
        libc.so.6 => /lib/libc.so.6 (0x4002c000) 
        /lib/ld-linux.so.2 => /lib/ld-linux.so.2 (0x40000000)
pccn:cmt> which g++
/usr/local/bin/g++
pccn:cmt> g++ --version
g++ (GCC) 3.2.3
Copyright (C) 2002 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
pccn:lester> uname -a
Linux pccn 2.4.20-24.7.cb1 #1 Thu Dec 18 16:18:47 GMT 2003 i686 unknown


... I find that ...


g++ -c /tmp/pps.c++ -g -Df2cFortran -fPIC -shared -D_GNU_SOURCE -Dlinux -Dunix
-pipe -ansi -Wall -W -pthread -pedantic -D_GNU_SOURCE


... produces the output reported below which ends in the internal compiler error
reported at the top of this message.  Note that the code (/tmp/pps.c++) being
compiled PROBABLY SHOULD NOT COMPILE: it was in a mid-debug state when the error
below was reported.  I expect the code to constitute "bad input".  Nevertheless,
I report the internal compiler error it in case this is of any use to anyone. 
Note also that only the last 13 lines of the output reproduced below are
important.  All the earlier lines containing messages about "warning: style of
line directive is a GCC extension" were not produced by the compiler (with the
same options) until I generated the pre-processed file that is to be bundled
with this error report (if I figure out how).  These earlier lines seem to be a
consequence of the way I have produced the pre-processed file, and are
(presumably) unrelated to the final internal compiler error message ....


-------- full output of above command -----------
/tmp/pps.c++:1:3: warning: style of line directive is a GCC extension
../src/test/MarkovTest.cpp:1:3: warning: style of line directive is a GCC extension
<built-in>:1:3: warning: style of line directive is a GCC extension
<command line>:1:3: warning: style of line directive is a GCC extension
../src/test/MarkovTest.cpp:2:3: warning: style of line directive is a GCC extension
In file included from ../src/test/MarkovTest.cpp:2:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Constants.h:4:3:
warning: style of line directive is a GCC extension
In file included from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Constants.h:4,
                 from ../src/test/MarkovTest.cpp:2:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MathsConstants/MathsConstants.h:5:3:
warning: style of line directive is a GCC extension
In file included from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MathsConstants/MathsConstants.h:5,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Constants.h:4,
                 from ../src/test/MarkovTest.cpp:2:
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_math.h:1:3: warning:
style of line directive is a GCC extension
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_math.h:22:3:
warning: style of line directive is a GCC extension
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_math.h:23:3:
warning: style of line directive is a GCC extension
In file included from
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_math.h:23,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MathsConstants/MathsConstants.h:5,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Constants.h:4,
                 from ../src/test/MarkovTest.cpp:2:
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_sys.h:1:3: warning:
style of line directive is a GCC extension
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_sys.h:61:3: warning:
style of line directive is a GCC extension 
In file included from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MathsConstants/MathsConstants.h:5,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Constants.h:4,
                 from ../src/test/MarkovTest.cpp:2:
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_math.h:24:3:
warning: style of line directive is a GCC extension
In file included from
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_math.h:24,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MathsConstants/MathsConstants.h:5,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Constants.h:4,
                 from ../src/test/MarkovTest.cpp:2:
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_machine.h:5:3:
warning: style of line directive is a GCC extension 
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_machine.h:6:3:
warning: style of line directive is a GCC extension
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_machine.h:7:3:
warning: style of line directive is a GCC extension
In file included from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MathsConstants/MathsConstants.h:5,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Constants.h:4,
                 from ../src/test/MarkovTest.cpp:2:
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_math.h:25:3:
warning: style of line directive is a GCC extension
In file included from
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_math.h:25,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MathsConstants/MathsConstants.h:5,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Constants.h:4,
                 from ../src/test/MarkovTest.cpp:2:
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_precision.h:1:3:
warning: style of line directive is a GCC extension
/afs/cern.ch/sw/packages/GSL/1.4/rh73_gcc32/include/gsl/gsl_precision.h:24:3:
warning: style of line directive is a GCC extension
[ ----------- snip ------------]
In file included from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichMarkovRingFinder.h:181,
                 from ../src/test/MarkovTest.cpp:25:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichMarkovRingFinder.tcc:272:3:
warning: style of line directive is a GCC extension
In file included from ../src/test/MarkovTest.cpp:25:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichMarkovRingFinder.h:182:3:
warning: style of line directive is a GCC extension
../src/test/MarkovTest.cpp:26:3: warning: style of line directive is a GCC extension
In file included from ../src/test/MarkovTest.cpp:26:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Rich2Configuration.h:4:3:
warning: style of line directive is a GCC extension
In file included from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Rich2Configuration.h:4,
                 from ../src/test/MarkovTest.cpp:26:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichConfiguration.h:4:3:
warning: style of line directive is a GCC extension
In file included from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichConfiguration.h:4,
                 from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Rich2Configuration.h:4,
                 from ../src/test/MarkovTest.cpp:26:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Configuration.h:1:3:
warning: style of line directive is a GCC extension
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Configuration.h:21:3:
warning: style of line directive is a GCC extension
In file included from
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Rich2Configuration.h:4,
                 from ../src/test/MarkovTest.cpp:26:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichConfiguration.h:14:3:
warning: style of line directive is a GCC extension
In file included from ../src/test/MarkovTest.cpp:26:
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/Rich2Configuration.h:14:3:
warning: style of line directive is a GCC extension
../src/test/MarkovTest.cpp:84:3: warning: style of line directive is a GCC extension
../src/test/MarkovTest.cpp:179:3: warning: style of line directive is a GCC
extension
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichStuff.tcc:
In
   static member function `static double Lester::RichStuff<Mode, 
   mode>::totalLogProb(const Lester::RichParams<Mode, mode>&, const 
   Lester::Data<Mode, mode>&, const Lester::Alterations<Mode, mode>&) [with 
   Mode = Lester::Rich2Configuration, const Mode&mode =
   Lester::globalRich2Configuration]':
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/MyRichMetropolisSampler.h:60:
  instantiated from `double Lester::MyRichMetropolisSampler<Mode,
mode>::logTargetDistribution(Lester::RichSpace<Mode, mode>::PointType&) const
[with Mode = Lester::Rich2Configuration, const Mode&mode =
Lester::globalRich2Configuration]'
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MarkovChainSampler/MarkovChainSampler.h:30:
  instantiated from here
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichStuff.tcc:68:
Internal
   compiler error in c_expand_expr, at c-common.c:3714
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
-----------------------------------------------

-- 
           Summary: Internal compiler error in c_expand_expr, at c-
                    common.c:3714
           Product: gcc
           Version: 3.2.3
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: cgl20 at cam dot ac dot uk
                CC: cgl20 at cam dot ac dot uk,gcc-bugs at gcc dot gnu dot
                    org


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

[Bug c++/13661] Internal compiler error in c_expand_expr, at c-common.c:3714

[cgl20 at cam dot ac dot uk]

------- Additional Comments From cgl20 at cam dot ac dot uk  2004-01-12 20:29 -------
Created an attachment (id=5465)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5465&action=view)
A gzip of a pre-processed c++ source file, hopefully without external
references, which (on my machine at least) reproduces the ICE described in my
report.


-- 


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

[Bug c++/13661] Internal compiler error in c_expand_expr, at c-common.c:3714

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-12 20:37 -------
I could not confirm this at all on 3.2.3 or 3.3.1, are you sure that you sent the right preprocessed 
source file?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code


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

[Bug c++/13661] Internal compiler error in c_expand_expr, at c-common.c:3714

[cgl20 at cam dot ac dot uk]

------- Additional Comments From cgl20 at cam dot ac dot uk  2004-01-12 20:47 -------
(In reply to comment #2)
> I could not confirm this at all on 3.2.3 or 3.3.1, are you sure that you sent
the right preprocessed 
> source file?

Prompted by your response, I have downloaded the file I previously uploaded,
decompressed it with a new name in a fresh directory on my machine, and issued the

g++ -c $NEW_FILE_NAME -g -Df2cFortran -fPIC -shared -D_GNU_SOURCE -Dlinux -Dunix
-pipe -ansi -Wall -W -pthread -pedantic -D_GNU_SOURCE

commanand.  As a result I have obtained the same error message as before.  What
other information would it be useful for me to provide?

-- 


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

[Bug c++/13661] Internal compiler error in c_expand_expr, at c-common.c:3714

[cgl20 at cam dot ac dot uk]

------- Additional Comments From cgl20 at cam dot ac dot uk  2004-01-12 21:34 -------
(In reply to comment #2)
> I could not confirm this at all on 3.2.3 or 3.3.1, are you sure that you sent
the right preprocessed 
> source file?

I have a little more to report.

Since my last posting, I have attempted to narrow down the bug a little.  I have
fixed (hopefully all of) the bad code in the example pps.c++.gz supplied above,
until there is only one line remaining that causes the problems.  I have not
uploaded this "corrected" code, but I will try to do later if I get the time or
if others request it.

Anyway, the end result is that the problem line (expected to be bad code) seems
to be this one:

  const bool alterationsNecessitateCompleteRecalculation =
    ( typeid(firstAlteration) ==
      typeid(AlterationsT::AlterationsNecessitateCompleteRecalculation) );

[Just "zgrep -B2 AlterationsT::AlterationsNecessitateCompleteRecalculation" in
the supplied gz file, and you should see the above.]

Now that all the other bugs are fixed, I find that I can elicit three types of
behaviour from the compiler depending on subtle variations to the line above. 

Consider the following variants for the argument to the SECOND typeid(), in
which I have abbreviated
AlterationsT::AlterationsNecessitateCompleteRecalculation to "XXX".

/* A: */    typeid(  typename  XXX   () );    // FINE
/* B: */    typeid(  typename  XXX      );    // FINE
/* C: */    typeid(            XXX   () );    // BAD CODE REPORTED
/* D: */    typeid(            XXX      );    // Internal Compiler Error

In the above cases, options A and B compile fine, presumably as one would hope!
 Option C (also rightly, presumably) does not compile and the compiler reports
the messages reproduced at the foot of this reply.  Option D, which corresponds
to the state of the code in the form in which I originally sent it, (and which
is presumbaly also Bad Code), is the one that causes the Internal Compiler Error
as previously described.

This seems to be an ICE on bad code of the above form.

------ option C error message ------------
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichStuff.tcc:
In
   static member function `static double Lester::RichStuff<Mode, 
   mode>::totalLogProb(const Lester::RichParams<Mode, mode>&, const 
   Lester::Data<Mode, mode>&, const Lester::Alterations<Mode, mode>&) [with 
   Mode = Lester::Rich2Configuration, const Mode&mode = 
   Lester::globalRich2Configuration]':
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/MyRichMetropolisSampler.h:60:
  instantiated from `double Lester::MyRichMetropolisSampler<Mode,
mode>::logTargetDistribution(Lester::RichSpace<Mode, mode>::PointType&) const
[with Mode = Lester::Rich2Configuration, const Mode&mode =
Lester::globalRich2Configuration]'
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/MarkovChainSampler/MarkovChainSampler.h:30:
  instantiated from here
/var/pcce/usera/lester/mycmt/Rich/RichMarkovRingFinder/v1r0/src/finder/RichStuff.tcc:69:
invalid
   use of member `class Lester::Alterations<Lester::Rich2Configuration, 
   Lester::globalRich2Configuration>::AlterationsNecessitateCompleteRecalculation
   '
gmake[3]: *** [../rh73_gcc32dbx/MarkovTest.o] Error 1
gmake[2]: *** [MarkovTest] Error 2
gmake[1]: *** [common_target] Error 2
gmake: *** [MarkovTest] Error 2
pccn:cmt> 

-- 


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

[Bug c++/13661] Internal compiler error in c_expand_expr, at c-common.c:3714

[cgl20 at cam dot ac dot uk]

------- Additional Comments From cgl20 at cam dot ac dot uk  2004-01-12 21:56 -------
Created an attachment (id=5466)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5466&action=view)
a simplified version of the original file -- see comment #4

Although this example is still long, the buggy code has now supposedly been
pared down to a single line -- see my comments #4.  The code has been uploaded
in the state described as "option D" in comment #4.

I have verified that this pre-processed file behaves in the way I have
described under options, "A", "C" and "D".  Unfortunately, however, that no
object file seems to be produced under option "B", so maybe option B is not as
I described it in comment #4.  Still, as the snippet works as claimed in the
other three cases, I will submit it anyway. 

-- 


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

[Bug c++/13661] Internal compiler error in c_expand_expr, at c-common.c:3714

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-13 05:50 -------
I did not see -pedantic until now.  This is fixed on the mainline (aka for 3.4), not your source will 
not compile anyways with -pedantic on the mainline, you have extra ';' mostly after "namespace 
xxx{}".

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.4.0


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