[Bug c++/21352] New: ICE on valid code with passing template function type as template type

["weary at gamebox dot net" <gcc-bugzilla at gcc dot gnu dot org>]

20549
*  the exact version of GCC
gcc version 3.4.4 20050503 (prerelease)

* the system type
i686-pc-linux-gnu (rhel3)

* the options given when GCC was configured/built
../gcc/configure  --prefix=/opt/gcc34-20050503 --enable-languages=c,c++

* the complete command line that triggers the bug;
/opt/gcc34-20050503/bin/g++ -c -o test.o test.cpp

* the compiler output (error messages, warnings, etc.)
test.cpp: In constructor `definition<ScannerT>::definition()':
test.cpp:25: internal compiler error: in resolve_overloaded_unification, at
cp/pt.c:9317
Please submit a full bug report,
with preprocessed source if appropriate.

preprocessed file (test.ii):
# 1 "test.cpp"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "test.cpp"



struct coperator_stack
{
 template<class type>
 void push3()
 {
 }
};

struct helper {};

template<class F>
void bla(F f)
{
}


template <typename ScannerT>
struct definition
{
 definition()
 {
  bla(coperator_stack::push3<helper>);
 }
};

-- 
           Summary: ICE on valid code with passing template function type as
                    template type
           Product: gcc
           Version: 3.4.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: weary at gamebox dot net
                CC: gcc-bugs at gcc dot gnu dot org
 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=21352