[Bug c++/37142] New: [4.2/4.3 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[Bug c++/37142] New: [4.2/4.3 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[annan dot h at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2132 bytes --]

g++ version information:
works on 
  g++-4.1 (GCC) 4.1.3 20080308 (prerelease) (Ubuntu 4.1.2-21ubuntu1)
  Comeau 4.3.10.1
  icc 10.1

fails to work on 
  g++ (GCC) 4.2.3 (Ubuntu 4.2.3-2ubuntu7)
  g++ (Ubuntu 20080404-0ubuntu1) 4.3.1 20080404 (prerelease) [gcc-4_3-branch
revision 133917]
  g++ (Ubuntu 20080607-0ubuntu1~ppa1) 4.3.1 (A test package containing the
4.3.1 official release)*
  g++ (GCC) 4.3.2 20080814 (prerelease) (compiled from source snapshot)

*http://ppa.launchpad.net/ubuntu-toolchain/ubuntu/pool/main/g/gcc-snapshot/

I'll use the 4.3.2 prerelease branch for the error.
aharley@aharley-desktop:~/proj/yafft$ ~/opt/gcc-snapshot/bin/g++ testcase.cpp
testcase.cpp: In function ‘int main(int, char**)’:
testcase.cpp:44: internal compiler error: in dependent_type_p, at cp/pt.c:15585

Code to reproduce is 
**** code starts ****
static long s_value = 0l;

template<typename A,
         const A a,
         template <typename _A, _A _a> class AA>
struct A_struct {
  void
  fn(typename AA<A, a>::t& a_) {
    a_.fn();
  }
};

template<typename B,
         const B b,
         class VALUE_OPS>
struct B_impl {
  void
  fn() {
    s_value = VALUE_OPS::fn(b);
  }
};

struct value_ops {
  static inline long fn(const long l) { return l+1l; }
};

template<typename B,
         const B b>
struct B_struct {
  typedef B_impl<B,
                 b,
                 value_ops> t;
};

#define VALTYPE long
#define VALVAL 0l

int main(int argc, char **argv) {
  B_struct<VALTYPE, VALVAL>::t b;
  A_struct<VALTYPE, VALVAL, B_struct> a;
  a.fn(b);
}
**** code ends ****


-- 
           Summary: [4.2/4.3 Regression] ICE: in dependent_type_p, at
                    cp/pt.c:15585
           Product: gcc
           Version: 4.2.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: annan dot h at gmail dot com
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug c++/37142] [4.2/4.3 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[annan dot h at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2882 bytes --]



------- Comment #1 from annan dot h at gmail dot com  2008-08-17 03:37 -------
Created an attachment (id=16078)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16078&action=view)
The preprocessor output

This is the complete output from the 4.3.2 2008-08-14 snapshot compiler:
aharley@aharley-desktop:~/proj/yafft$ ~/opt/gcc-snapshot/bin/g++ -v -save-temps
testcase.cpp
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ./configure --prefix=/home/aharley/opt/gcc-snapshot
--with-gmp-include=/home/aharley/opt/gcc-snapshot-20080814/gmp-4.2.3
--with-gmp-lib=/home/aharley/opt/gcc-snapshot-20080814/gmp-4.2.3/.libs
--with-mpfr-include=/home/aharley/opt/gcc-snapshot-20080814/mpfr-2.3.1
--with-mpfr-lib=/home/aharley/opt/gcc-snapshot-20080814/mpfr-2.3.1/.libs
Thread model: posix
gcc version 4.3.2 20080814 (prerelease) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-shared-libgcc' '-mtune=generic'

/home/aharley/opt/gcc-snapshot/libexec/gcc/x86_64-unknown-linux-gnu/4.3.2/cc1plus
-E -quiet -v -D_GNU_SOURCE testcase.cpp -mtune=generic -fpch-preprocess -o
testcase.ii
ignoring nonexistent directory
"/home/aharley/opt/gcc-snapshot/lib/gcc/x86_64-unknown-linux-gnu/4.3.2/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/home/aharley/opt/gcc-snapshot/lib/gcc/x86_64-unknown-linux-gnu/4.3.2/../../../../include/c++/4.3.2

/home/aharley/opt/gcc-snapshot/lib/gcc/x86_64-unknown-linux-gnu/4.3.2/../../../../include/c++/4.3.2/x86_64-unknown-linux-gnu

/home/aharley/opt/gcc-snapshot/lib/gcc/x86_64-unknown-linux-gnu/4.3.2/../../../../include/c++/4.3.2/backward
 /usr/local/include
 /home/aharley/opt/gcc-snapshot/include
 /home/aharley/opt/gcc-snapshot/lib/gcc/x86_64-unknown-linux-gnu/4.3.2/include

/home/aharley/opt/gcc-snapshot/lib/gcc/x86_64-unknown-linux-gnu/4.3.2/include-fixed
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-shared-libgcc' '-mtune=generic'

/home/aharley/opt/gcc-snapshot/libexec/gcc/x86_64-unknown-linux-gnu/4.3.2/cc1plus
-fpreprocessed testcase.ii -quiet -dumpbase testcase.cpp -mtune=generic
-auxbase testcase -version -o testcase.s
GNU C++ (GCC) version 4.3.2 20080814 (prerelease) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.3.2 20080814 (prerelease), GMP version
4.2.3, MPFR version 2.3.1.
warning: GMP header version 4.2.3 differs from library version 4.2.2.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: 80ec3039ff5fe7ccb66ff77fc31930a8
testcase.cpp: In function ‘int main(int, char**)’:
testcase.cpp:42: internal compiler error: in dependent_type_p, at cp/pt.c:15585
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2008-08-17 09:28 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.2.4 4.3.1
      Known to work|                            |4.1.2
   Last reconfirmed|0000-00-00 00:00:00         |2008-08-17 09:28:13
               date|                            |
            Summary|[4.2/4.3 Regression] ICE: in|[4.2/4.3/4.4 Regression]
                   |dependent_type_p, at        |ICE: in dependent_type_p, at
                   |cp/pt.c:15585               |cp/pt.c:15585
   Target Milestone|---                         |4.2.5


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[chris dot fairles at gmail dot com]

------- Comment #3 from chris dot fairles at gmail dot com  2008-08-17 15:06 -------
Mainline also fails on target x86_64-unknown-linux-gnu:
gcc version 4.4.0 20080814 (experimental) (GCC)

internal compiler error: in dependent_type_p, at cp/pt.c:15888


-- 


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[dodji at gcc dot gnu dot org]

------- Comment #4 from dodji at gcc dot gnu dot org  2008-11-18 16:49 -------
Here is a reduced testcase:

     1  template<typename T, const T a, template <typename U, U u> class W>
struct A {};
     2  
     3  template<typename T, const T t> struct B {};
     4  
     5  int
     6  main ()
     7  {
     8    A<long, 0, B> a;
     9    return 0;
    10  }
    11  


-- 

dodji at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dodji at gcc dot gnu dot org


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[dodji at gcc dot gnu dot org]

------- Comment #5 from dodji at gcc dot gnu dot org  2008-11-18 16:52 -------
With the reduced test case, the error message on svn trunk is now:

8: internal compiler error: in dependent_type_p, at cp/pt.c:15922


-- 


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[cfairles at gcc dot gnu dot org]

------- Comment #6 from cfairles at gcc dot gnu dot org  2008-11-18 17:53 -------
Even more reduced:

template<template<class U, U u> class W> 
struct A{};

template<class T, T t>
struct B{};

int main() { A<B> a; }


-- 


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[dodji at gcc dot gnu dot org]

------- Comment #7 from dodji at gcc dot gnu dot org  2008-11-19 21:27 -------
Posted a patch at http://gcc.gnu.org/ml/gcc-patches/2008-11/msg00956.html


-- 

dodji at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dodji at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-08-17 09:28:13         |2008-11-19 21:27:10
               date|                            |


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[dodji at gcc dot gnu dot org]

------- Comment #8 from dodji at gcc dot gnu dot org  2008-11-20 00:02 -------
Subject: Bug 37142

Author: dodji
Date: Thu Nov 20 00:00:39 2008
New Revision: 142025

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142025
Log:
gcc/testsuite/ChangeLog:
2008-11-19  Dodji Seketeli  <dodji@redhat.com>

        PR c++/37142
        * g++.dg/template/crash85.C: New test.

gcc/cp/ChangeLog
2008-11-19  Dodji Seketeli  <dodji@redhat.com>

        PR c++/37142
        * pt.c (coerce_template_template_parm): Use the more robust
        uses_template_parms instead of dependent_type_p.


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


-- 


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[dodji at gcc dot gnu dot org]

------- Comment #9 from dodji at gcc dot gnu dot org  2008-11-20 00:06 -------
Subject: Bug 37142

Author: dodji
Date: Thu Nov 20 00:05:04 2008
New Revision: 142026

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142026
Log:
gcc/cp/ChangeLog:
2008-11-19  Dodji Seketeli  <dodji@redhat.com>

        PR c++/37142
        * pt.c (coerce_template_template_parm): Use the more robust
        uses_template_parms instead of dependent_type_p.

gcc/testsuite/ChangeLog:
 2008-11-19  Dodji Seketeli  <dodji@redhat.com>

        PR c++/37142
        * g++.dg/template/crash79.C: New test.


Added:
    branches/gcc-4_3-branch/gcc/testsuite/g++.dg/template/crash79.C
Modified:
    branches/gcc-4_3-branch/gcc/cp/ChangeLog
    branches/gcc-4_3-branch/gcc/cp/pt.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[dodji at gcc dot gnu dot org]

------- Comment #10 from dodji at gcc dot gnu dot org  2008-11-20 00:14 -------
Subject: Bug 37142

Author: dodji
Date: Thu Nov 20 00:13:15 2008
New Revision: 142027

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142027
Log:
gcc/cp/ChangeLog:
2008-11-19  Dodji Seketeli  <dodji@redhat.com>

        PR c++/37142
        * pt.c (coerce_template_template_parm): Use the more robust
        uses_template_parms instead of dependent_type_p.

gcc/testsuite/ChangeLog/
2008-11-19  Dodji Seketeli  <dodji@redhat.com>

        PR c++/37142
        * g++.dg/template/crash71.C: New test.


Added:
    branches/gcc-4_2-branch/gcc/testsuite/g++.dg/template/crash71.C
Modified:
    branches/gcc-4_2-branch/gcc/cp/ChangeLog
    branches/gcc-4_2-branch/gcc/cp/pt.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[dodji at gcc dot gnu dot org]

------- Comment #11 from dodji at gcc dot gnu dot org  2008-11-20 00:15 -------
Fixed in trunk, 4.3 and 4.2 branches.


-- 

dodji at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.5                       |4.3.3


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

[Bug c++/37142] [4.2/4.3/4.4 Regression] ICE: in dependent_type_p, at cp/pt.c:15585

[pinskia at gcc dot gnu dot org]

------- Comment #12 from pinskia at gcc dot gnu dot org  2009-12-21 05:04 -------
*** Bug 42446 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |leonleon77 at gmail dot com


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