[Bug c++/29080] New: Multiple-inheritance code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[Bug c++/29080] New: Multiple-inheritance code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[raymond at corvil dot com]

Compiling a .cpp file with the following contents triggers an internal compiler
error:
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<

struct Base {
        template<class C> void  method() { }
};

struct Left     : public Base { };
struct Right    : public Base { };
struct Join     : public Left, public Right { };

void    function()
{
        Join join;
        join.Base::method<int>();
        join.Left::method<int>();
}

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>


Issued command-line:
    g++ -Wall -W -Wundef -Wpointer-arith -g -O0 -c -o /dev/null bug.cpp

Resulting output:
    bug.cpp: In function 'void function()':
    bug.cpp:13: internal compiler error: in build_base_path, at cp/class.c:273
    Please submit a full bug report,
    ...

The error does not occur if structs Left and Right inherit virtually from Base;
 that is, "struct Left : virtual public Base { };" and similarly for Right. 
The same error occurs with gcc-3.4.3, the only difference being that the
relevant line number in cp/class.cp is 275.

Full output from running with "-v --save-temps" is as follows:
    g++ -v -save-temps -Wall -W -Wundef -Wpointer-arith -g -O0 -c -o /dev/null
bug.cpp
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.1.1/configure --enable-shared --enable-threads=posix
--enable-__cxa_atexit --enable-clocale=gnu --enable-languages=c,c++
Thread model: posix
gcc version 4.1.1
 /usr/local/libexec/gcc/i686-pc-linux-gnu/4.1.1/cc1plus -E -quiet -v
-D_GNU_SOURCE bug.cpp -mtune=pentiumpro -Wall -W -Wundef -Wpointer-arith
-fworking-directory -O0 -fpch-preprocess -o bug.ii
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory
"/usr/local/lib/gcc/i686-pc-linux-gnu/4.1.1/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/lib/gcc/i686-pc-linux-gnu/4.1.1/../../../../include/c++/4.1.1

/usr/local/lib/gcc/i686-pc-linux-gnu/4.1.1/../../../../include/c++/4.1.1/i686-pc-linux-gnu

/usr/local/lib/gcc/i686-pc-linux-gnu/4.1.1/../../../../include/c++/4.1.1/backward
 /usr/local/include
 /usr/local/lib/gcc/i686-pc-linux-gnu/4.1.1/include
 /usr/include
End of search list.
 /usr/local/libexec/gcc/i686-pc-linux-gnu/4.1.1/cc1plus -fpreprocessed bug.ii
-quiet -dumpbase bug.cpp -mtune=pentiumpro -auxbase-strip /dev/null -g -O0
-Wall -W -Wundef -Wpointer-arith -version -o bug.s
GNU C++ version 4.1.1 (i686-pc-linux-gnu)
        compiled by GNU C version 4.1.1.
GGC heuristics: --param ggc-min-expand=63 --param ggc-min-heapsize=63424
Compiler executable checksum: 5c1ee95ea2451a4e1aafd30c10a207cb
bug.cpp: In function 'void function()':
bug.cpp:13: internal compiler error: in build_base_path, at cp/class.c:273
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>


Contents of bug.ii:
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
# 1 "bug.cpp"
# 1 "/home/raymond/tmp//"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "bug.cpp"

struct Base {
 template<class C> void method() { }
};

struct Left : public Base { };
struct Right : public Base { };
struct Join : public Left, public Right { };

void function()
{
 Join join;
 join.Base::method<int>();
 join.Left::method<int>();
}
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>


-- 
           Summary: Multiple-inheritance code triggers "internal compiler
                    error: in build_base_path, at cp/class.c:273"
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: raymond at corvil dot com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c++/29080] [4.0/4.1/4.2 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-09-14 15:33 -------
This is invalid code, 3.3.3 and before gave the following error:
t.cc: In function `void function()':
t.cc:13: error: `Base' is an ambiguous base of `Join'
Which is correct.

Also we don't get an ICE if we try with a non template function.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|i686-pc-linux-gnu           |
   GCC host triplet|i686-pc-linux-gnu           |
 GCC target triplet|i686-pc-linux-gnu           |
           Keywords|                            |ice-on-invalid-code
      Known to fail|                            |3.4.0 4.0.0 4.1.0 4.2.0
      Known to work|                            |3.3.3 3.2.3 3.0.4 2.95.3
   Last reconfirmed|0000-00-00 00:00:00         |2006-09-14 15:33:26
               date|                            |
            Summary|Multiple-inheritance code   |[4.0/4.1/4.2 Regression]
                   |triggers "internal compiler |Multiple-inheritance with
                   |error: in build_base_path,  |template method function
                   |at cp/class.c:273"          |code triggers "internal
                   |                            |compiler error: in
                   |                            |build_base_path, at
                   |                            |cp/class.c:273"
   Target Milestone|---                         |4.0.4


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

[Bug c++/29080] [4.0/4.1/4.2 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[raymond at corvil dot com]

------- Comment #2 from raymond at corvil dot com  2006-09-14 15:58 -------
Line 13 in the sample code is invalid code but line 14 is valid (Base is an
unambiguous base class of Left).  Deleting line 13 leaves code that compiles
cleanly with gcc-3.3.5 (i386-portbld-freebsd4.8, gcc version 3.3.5 20040901
(prerelease) [FreeBSD]).

Apologies for any confusion, I meant to delete line 13 before submitting.


-- 


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

[Bug c++/29080] [4.0/4.1/4.2 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[bangerth at dealii dot org]

------- Comment #3 from bangerth at dealii dot org  2006-09-15 13:49 -------
Confirmed. This is the valid testcase:
--------------------
struct Base {
 template<class C> void method() { }
};

struct Left : public Base { };
struct Right : public Base { };
struct Join : public Left, public Right { };

void function()
{
 Join join;
 join.Left::method<int>();
}
----------------------

and this is what we get from 4.1 branch:

g/x> /home/bangerth/bin/gcc-4.1.x/bin/c++ -c x.cc
x.cc: In function 'void function()':
x.cc:12: internal compiler error: in build_base_path, at cp/class.c:273
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug c++/29080] [4.0/4.1/4.2 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug c++/29080] [4.0/4.1/4.2 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[steven at gcc dot gnu dot org]

------- Comment #4 from steven at gcc dot gnu dot org  2006-09-23 15:19 -------
Breakpoint 1, fancy_abort (file=0xde98b0 "../../trunk/gcc/cp/class.c",
line=272,
    function=0xde98a0 "build_base_path") at ../../trunk/gcc/diagnostic.c:642
642       internal_error ("in %s, at %s:%d", function, trim_filename (file),
line);
(gdb) up
#1  0x00000000004c328a in build_base_path (code=PLUS_EXPR, expr=0x2aaaaaf85340,
    binfo=0x2aaaaaac19a0, nonnull=1) at ../../trunk/gcc/cp/class.c:269
269       gcc_assert ((code == MINUS_EXPR
(gdb) l
264
265       probe = TYPE_MAIN_VARIANT (TREE_TYPE (expr));
266       if (want_pointer)
267         probe = TYPE_MAIN_VARIANT (TREE_TYPE (probe));
268
269       gcc_assert ((code == MINUS_EXPR
270                    && SAME_BINFO_TYPE_P (BINFO_TYPE (binfo), probe))
271                   || (code == PLUS_EXPR
272                       && SAME_BINFO_TYPE_P (BINFO_TYPE (d_binfo), probe)));
273
(gdb) p code
$1 = PLUS_EXPR
(gdb)
(gdb) p probe
$2 = (tree) 0x2aaaaaf7db00
(gdb) p debug_tree(probe)
 <record_type 0x2aaaaaf7db00 Join type_1 type_5 HI
    size <integer_cst 0x2aaaaadf09c0 type <integer_type 0x2aaaaae030b0
bit_size_type> constant invariant 16>
    unit size <integer_cst 0x2aaaaadf09f0 type <integer_type 0x2aaaaae03000
long unsigned int> constant invariant 2>
    align 8 symtab 0 alias set -1
    fields <type_decl 0x2aaaaaf87000 Join type <record_type 0x2aaaaaf7db00
Join>
        nonlocal decl_4 VOID file t.C line 7
        align 1 context <record_type 0x2aaaaaf7db00 Join>
       >
    X() X(constX&) this=(X&) n_parents=2 use_template=0 interface-unknown
    pointer_to_this <pointer_type 0x2aaaaaf7ddc0> chain <type_decl
0x2aaaaaf20dd0 Join>>
$3 = void
(gdb) p debug_tree(d_binfo)
 <tree_binfo 0x2aaaaaac1930
    type <record_type 0x2aaaaaf7d840 Left type_1 type_5 QI
        size <integer_cst 0x2aaaaadf07b0 constant invariant 8>
        unit size <integer_cst 0x2aaaaadf07e0 constant invariant 1>
        align 8 symtab 0 alias set -1
        fields <type_decl 0x2aaaaaf20d00 Left type <record_type 0x2aaaaaf7d840
Left>
            nonlocal decl_4 VOID file t.C line 5
            align 1 context <record_type 0x2aaaaaf7d840 Left>
           >
        X() X(constX&) this=(X&) n_parents=1 use_template=0 interface-unknown
        chain <type_decl 0x2aaaaaf20c30 Left>>
    private>
$4 = void
(gdb) p d_binfo->common.type
$5 = (tree) 0x2aaaaaf7d840
(gdb) p debug_tree(d_binfo->common.type)
 <record_type 0x2aaaaaf7d840 Left type_1 type_5 QI
    size <integer_cst 0x2aaaaadf07b0 type <integer_type 0x2aaaaae030b0
bit_size_type> constant invariant 8>
    unit size <integer_cst 0x2aaaaadf07e0 type <integer_type 0x2aaaaae03000
long unsigned int> constant invariant 1>
    align 8 symtab 0 alias set -1
    fields <type_decl 0x2aaaaaf20d00 Left type <record_type 0x2aaaaaf7d840
Left>
        nonlocal decl_4 VOID file t.C line 5
        align 1 context <record_type 0x2aaaaaf7d840 Left>
       >
    X() X(constX&) this=(X&) n_parents=1 use_template=0 interface-unknown
    chain <type_decl 0x2aaaaaf20c30 Left>>
$6 = void
(gdb)



-- 


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

[Bug c++/29080] [4.0/4.1/4.2 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/29080] [4.0/4.1/4.2 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[mmitchel at gcc dot gnu dot org]

------- Comment #5 from mmitchel at gcc dot gnu dot org  2006-10-02 04:12 -------
Subject: Bug 29080

Author: mmitchel
Date: Mon Oct  2 04:12:30 2006
New Revision: 117360

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117360
Log:
        PR c++/29080
        * parser.c (cp_parser_postfix_dot_deref_expression): Use
        BASELINK_ACCESS_BINFO as the qualifying scope when calling
        adjust_result_of_qualified_name_lookup. 
        PR c++/29080
        * g++.dg/template/member7.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/member7.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/29080] [4.0/4.1 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[mmitchel at gcc dot gnu dot org]

------- Comment #6 from mmitchel at gcc dot gnu dot org  2006-10-02 04:51 -------
Subject: Bug 29080

Author: mmitchel
Date: Mon Oct  2 04:51:28 2006
New Revision: 117363

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117363
Log:
        PR c++/29080
        * parser.c (cp_parser_postfix_dot_deref_expression): Use
        BASELINK_ACCESS_BINFO as the qualifying scope when calling
        adjust_result_of_qualified_name_lookup. 
        PR c++/29080
        * g++.dg/template/member7.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/member7.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/parser.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/29080] [4.0 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|mark at codesourcery dot com|unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW
            Summary|[4.0/4.1 Regression]        |[4.0 Regression] Multiple-
                   |Multiple-inheritance with   |inheritance with template
                   |template method function    |method function code
                   |code triggers "internal     |triggers "internal compiler
                   |compiler error: in          |error: in build_base_path,
                   |build_base_path, at         |at cp/class.c:273"
                   |cp/class.c:273"             |


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

[Bug c++/29080] [4.0 Regression] Multiple-inheritance with template method function code triggers "internal compiler error: in build_base_path, at cp/class.c:273"

[gdr at gcc dot gnu dot org]

------- Comment #7 from gdr at gcc dot gnu dot org  2007-02-03 20:15 -------
Fixed in GCC-4.1.2.


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.0.4                       |4.1.2


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