This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

c++/7858: g++ rejects legal code (regression from gcc 3.*)

>Number:         7858
>Category:       c++
>Synopsis:       g++ rejects legal code (regression from gcc 3.*)
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Sun Sep 08 11:46:00 PDT 2002
>Originator:     Peter Schmid
>Release:        3.3 20020905 (experimental)
TU Darmstadt
System: Linux kiste 2.4.18 #8 Sat Mar 9 15:33:15 CET 2002 i686 unknown
Architecture: i686
GNU ld version 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
The g++ compiler built from current mainline cvs sources rejects the
following code tc1.C breaking boost and STLport. Previous g++ compilers,
including gcc 3.3 bootstrapped one week ago, compile this code normally.   
source code tc1.C
namespace std
template <class _Arg, class _Result>
struct unary_function {
  typedef _Arg argument_type;   
  typedef _Result result_type;  

template <class _Arg1, class _Arg2, class _Result>
struct binary_function {
  typedef _Arg1 first_argument_type;   
  typedef _Arg2 second_argument_type;  
  typedef _Result result_type;         

template <class _Tp>
struct plus : public binary_function<_Tp,_Tp,_Tp> {
  _Tp operator()(const _Tp& __x, const _Tp& __y) const { return __x + __y; }

template <class _Operation> 
class binder1st
  : public unary_function<typename _Operation::second_argument_type,
                          typename _Operation::result_type> {
  _Operation op;
  typename _Operation::first_argument_type value;
  binder1st(const _Operation& __x,
            const typename _Operation::first_argument_type& __y)
      : op(__x), value(__y) {}
  typename _Operation::result_type
  operator()(const typename _Operation::second_argument_type& __x) const {
    return op(value, __x); 
  typename _Operation::result_type
  operator()(typename _Operation::second_argument_type& __x) const {
    return op(value, __x); 

template <class _Operation, class _Tp>
inline binder1st<_Operation> 
bind1st(const _Operation& __fn, const _Tp& __x) 
  typedef typename _Operation::first_argument_type _Arg1_type;
  return binder1st<_Operation>(__fn, _Arg1_type(__x));

} // namespace std

template<typename _InputIter, typename _OutputIter, typename _UnaryOperation>
    transform(_InputIter __first, _InputIter __last,
              _OutputIter __result, _UnaryOperation __unary_op)

      for ( ; __first != __last; ++__first, ++__result)
        *__result = __unary_op(*__first);
      return __result;

int main()
  char a[10];
  char b[10];

  transform(a, a+10,
	    b, std::bind1st(std::plus<char>(), 1));

compiling tc1.C
g++ -v tc1.C -W -Wall 
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 20020905 (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 tc1.C -D__GNUG__=3 -quiet -dumpbase tc1.C -auxbase tc1 -W -Wall -version -o /tmp/cc9l1up9.s
GNU C++ version 3.3 20020905 (experimental) (i686-pc-linux-gnu)
	compiled by GNU C version 3.3 20020905 (experimental).
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory "/usr/local/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
End of search list.
tc1.C: In function `std::binder1st<_Operation> std::bind1st(const _Operation&, 
   const _Tp&) [with _Operation = std::plus<char>, _Tp = int]':
tc1.C:69:   instantiated from here
tc1.C:47: error: non-lvalue in unary `&'


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]