[Bug c++/11148] New: Incorrect codegen for explicit template instantiation, with ICE for error cases

[Bug c++/11148] New: Incorrect codegen for explicit template instantiation, with ICE for error cases

[oneill+gccbugs@cs.hmc.edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: Incorrect codegen for explicit template instantiation,
                    with ICE for error cases
           Product: gcc
           Version: 3.1
            Status: UNCONFIRMED
          Severity: major
          Priority: P2
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: oneill+gccbugs@cs.hmc.edu
                CC: gcc-bugs@gcc.gnu.org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

The following code generates no output in GCC 3.3, and correct output for 3.2.3

--- Begin Sample Code ---------------------
template <typename X>
class Foo {
    int i;
public:
    Foo() {
#ifdef KILL_GCC_3_3
        X::explode();
#endif
    }
};

class Bar {
    Foo<int> foo_;
public:
    Bar() {}
};

template class Foo<int>;

--- End Sample Code -----------------------


If compiled with -DKILL_GCC_3_3, instead of reporting the error

buglet.cc: In constructor `Foo<X>::Foo() [with X = int]':
buglet.cc:11:   instantiated from here
buglet.cc:5: `int' is not an aggregate type

(which is what 3.2.1 does) it dies with

buglet.cc: In constructor `Foo<X>::Foo() [with X = int]':
buglet.cc:11:   instantiated from here
buglet.cc:5: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


Verified on Linux and Mac OS X.

linux% gcc -v
Reading specs from /usr/local/gcc-3.3/lib/gcc-lib/i686-pc-linux-gnu/3.3/specs
Configured with: ../gcc-3.3/configure --prefix=/usr/local/gcc-3.3 --enable-languages=c,c++
Thread model: posix
gcc version 3.3

osx% gcc -v
Reading specs from /usr/local/gcc/lib/gcc-lib/powerpc-apple-darwin6.6/3.3/specs
Configured with: ../gcc-3.3/configure --prefix /usr/local/gcc --enable-languages=c,c++
Thread model: single
gcc version 3.3

[Bug c++/11148] Incorrect codegen for explicit template instantiation, with ICE for error cases

[oneill+gccbugs@cs.hmc.edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From oneill+gccbugs@cs.hmc.edu  2003-06-11 03:46 -------
Created an attachment (id=4198)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=4198&action=view)
Test case

[Bug c++/11148] Incorrect codegen for explicit template instantiation, with ICE for error cases

[oneill+gccbugs@cs.hmc.edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From oneill+gccbugs@cs.hmc.edu  2003-06-11 03:55 -------
BTW, GCC 3.3 does produce correct output if the program is compiled with either
    -fno-implicit-templates
    -fno-exceptions

The ICE on erroneous code remains, however, so perhaps that is a separate issue?

[Bug c++/11148] Incorrect codegen for explicit template instantiation, with ICE for error cases

[pinskia@physics.uc.edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia@physics.uc.edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |11149

[Bug c++/11148] Incorrect codegen for explicit template instantiation, with ICE for error cases

[pinskia@physics.uc.edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia@physics.uc.edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |11150

[Bug c++/11148] Incorrect codegen for explicit template instantiation, with ICE for error cases

[pinskia@physics.uc.edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia@physics.uc.edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2003-06-11 04:17:07
               date|                            |
   Target Milestone|3.4                         |3.3.1


------- Additional Comments From pinskia@physics.uc.edu  2003-06-11 04:17 -------
I am split this bug up into bug 11149 and bug 11150 both are regressions.

[Bug c++/11148] Incorrect codegen for explicit template instantiation, with ICE for error cases

[bangerth@dealii.org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

Bug 11148 depends on bug 11150, which changed state.

Bug 11150 Summary: [3.3/3.4 Regression] No code generated with explicit template instantiation
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11150

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE

[Bug c++/11148] Incorrect codegen for explicit template instantiation, with ICE for error cases

[pinskia@physics.uc.edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia@physics.uc.edu changed:

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


------- Additional Comments From pinskia@physics.uc.edu  2003-06-11 22:56 -------
I am closing this bug as one of the ones that was split from this is already fixed.

[Bug c++/11148] Incorrect codegen for explicit template instantiation, with ICE for error cases

[mmitchel at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

Bug 11148 depends on bug 11149, which changed state.

Bug 11149 Summary: [3.3/3.4 Regression] ICE on error when instantiation with call function of a base type
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11149

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED