[Bug c++/14810] New: [3.4/3.5 regression] tree check failures with invalid code involving templates

[reichelt at gcc dot gnu dot org]

Mark, your patches

http://gcc.gnu.org/ml/gcc-cvs/2004-03/msg01269.html (3.4 version)
http://gcc.gnu.org/ml/gcc-cvs/2004-03/msg01270.html (mainline version)

cause several tree check failures with invalid code involving templates like

testsuite/g++.dg/parse/error1.C    (PR 10432)

===================================================
struct INCOMPLETE;
template <int> struct X {
    static INCOMPLETE value;
};
template <> INCOMPLETE X<1>::value = 0; // { dg-error "" }
===================================================

testsuite/g++.dg/template/error1.C (PR 10219)

===================================================
template <class T> void make_pair(T x);

void foo(){
  struct fps_chan_ID fps; // { dg-error "incomplete" "" }
  make_pair(fps); // { dg-error "no matching function" "" }
}
===================================================

Could you please have a look?

-- 
           Summary: [3.4/3.5 regression] tree check failures with invalid
                    code involving templates
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery, ice-checking
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org,mark at codesourcery dot
                    com


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