c++/8006: ice in mangle_conv_op_name_for_type boost regression

[Peter Schmid <schmid at snake dot iap dot physik dot tu-darmstadt dot de>]

>Number:         8006
>Category:       c++
>Synopsis:       ice in  mangle_conv_op_name_for_type boost regression
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          ice-on-legal-code
>Submitter-Id:   net
>Arrival-Date:   Sun Sep 22 18:06:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Peter Schmid
>Release:        3.3 20020922 (experimental)
>Organization:
TU Darmstadt
>Environment:
System: Linux kiste 2.4.18 #8 Sat Mar 9 15:33:15 CET 2002 i686 unknown
Architecture: i686
GNU ld version 2.13.90.0.4 20020814
host: i686-pc-linux-gnu
build: i686-pc-linux-gnu
target: i686-pc-linux-gnu
configured with: ../gcc/configure --enable-shared --disable-nls --enable-threads=posix --enable-languages=c,c++,f77,objc --enable-__cxa_atexit
>Description:
The bug exposed by the following code t.C, extracted from
boost/libs/numeric/ublas/test6/test6.cpp, is responsible for seven new
boost regressions. All other g++ compilers, I have access to, accept
this code. This is a regression with respect to gcc 3.3 bootstrapped a
week ago.   
>How-To-Repeat:

source code t.C
template<class I1, class I2>
struct iterator_restrict_traits {
  typedef I1 iterator_category;
};

template<class T>
struct scalar_expression {
  typedef T value_type;
};

template<class E, class F>
class vector_scalar_unary:
  public scalar_expression<typename F::result_type> {
public:
  typedef typename F::result_type value_type;
  typedef typename E::const_iterator::iterator_category iterator_category;

  operator value_type () const {
    return evaluate (iterator_category ());
  }
};
    
template<class E1, class E2, class F>
class vector_scalar_binary:
  public scalar_expression<typename F::result_type> {
public:
  typedef typename F::result_type value_type;
  typedef typename iterator_restrict_traits<typename E1::const_iterator::iterator_category,
									 typename E2::const_iterator::iterator_category>::iterator_category iterator_category;

  operator value_type () const { 
    return evaluate (iterator_category ());
  }
};

g++ -v -c t.C 
Reading specs from /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/specs
Configured with: ../gcc/configure --enable-shared --disable-nls --enable-threads=posix --enable-languages=c,c++,f77,objc --enable-__cxa_atexit
Thread model: posix
gcc version 3.3 20020922 (experimental)
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/cc1plus -quiet -v -D__GNUC__=3 -D__GNUC_MINOR__=3 -D__GNUC_PATCHLEVEL__=0 -D_GNU_SOURCE t.C -D__GNUG__=3 -quiet -dumpbase t.C -auxbase t -version -o /tmp/ccf5nKpT.s
GNU C++ version 3.3 20020922 (experimental) (i686-pc-linux-gnu)
	compiled by GNU C version 3.3 20020922 (experimental).
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory "/usr/local/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include/c++/3.3
 /usr/local/include/c++/3.3/i686-pc-linux-gnu
 /usr/local/include/c++/3.3/backward
 /usr/local/include
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/include
 /usr/include
End of search list.
t.C:31: internal compiler error: in mangle_conv_op_name_for_type, at 
   cp/mangle.c:2468
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.

>Fix:
	
>Release-Note:
>Audit-Trail:
>Unformatted: