[Bug c++/24275] New: Previously accepted code fails with 4.0.2

[Bug c++/24275] New: Previously accepted code fails with 4.0.2

[john at johnmaddock dot co dot uk]

We have some code in Boost that was previously accepted by all versions of gcc
(and a host of other compilers), but is being rejected by gcc-4.0.2.  I'll
attach the preprocessed source so you can reproduce the issue, but basically
some non-member operators are no longer being found when they should.

John Maddock.


-- 
           Summary: Previously accepted code fails with 4.0.2
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: john at johnmaddock dot co dot uk
 GCC build triplet: Linux x86
  GCC host triplet: Linux x86
GCC target triplet: Linux x86


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

[Bug c++/24275] Previously accepted code fails with 4.0.2

[john at johnmaddock dot co dot uk]

------- Comment #1 from john at johnmaddock dot co dot uk  2005-10-08 16:52 -------
Created an attachment (id=9936)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9936&action=view)
Code needed to reproduce the issue.


-- 


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

[Bug c++/24275] Previously accepted code fails with 4.0.2

[dberlin at gcc dot gnu dot org]

------- Comment #2 from dberlin at gcc dot gnu dot org  2005-10-08 17:11 -------
Created an attachment (id=9937)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9937&action=view)
Testing for john


-- 


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

[Bug c++/24275] [4.0/4.1 Regression] Previously accepted code fails with 4.0.2

[pinskia at gcc dot gnu dot org]

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



------- Comment #3 from pinskia at gcc dot gnu dot org  2005-10-08 17:30 -------
CCing Mark because it looks like it was caused by his fix for PR xxx:
boost/boost/detail/is_incrementable.hpp: In instantiation of ‘const bool
boost::detail::is_incrementable_::impl<not_incrementable>::value’:
boost/boost/detail/is_incrementable.hpp:82:   instantiated from
‘boost::detail::is_incrementable<not_incrementable>’
t.cpp:8:   instantiated from here
boost/boost/detail/is_incrementable.hpp:59: error: no match for ‘operator++’ in
‘++boost::detail::is_incrementable_::impl<not_incrementable>::x’
boost/boost/detail/is_incrementable.hpp: In instantiation of
‘boost::detail::is_incrementable<not_incrementable>’:
t.cpp:8:   instantiated from here
boost/boost/detail/is_incrementable.hpp:82: error:
‘boost::detail::is_incrementable_::impl<not_incrementable>::value’ is not a
valid template argument for type ‘bool’ because it is a non-constant expression
t.cpp:8: error: ‘value’ is not a member of
‘boost::detail::is_incrementable<not_incrementable>’


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmitchel at gcc dot gnu dot
                   |                            |org
           Keywords|                            |rejects-valid
            Summary|Previously accepted code    |[4.0/4.1 Regression]
                   |fails with 4.0.2            |Previously accepted code
                   |                            |fails with 4.0.2
   Target Milestone|---                         |4.0.3


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

[Bug c++/24275] Previously accepted code fails with 4.0.2

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2005-10-08 17:43 -------
Reducing.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|rejects-valid               |
            Summary|[4.0/4.1 Regression]        |Previously accepted code
                   |Previously accepted code    |fails with 4.0.2
                   |fails with 4.0.2            |
   Target Milestone|4.0.3                       |---


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

[Bug c++/24275] [4.0/4.1 Regression] Previously accepted code fails with 4.0.2

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
            Summary|Previously accepted code    |[4.0/4.1 Regression]
                   |fails with 4.0.2            |Previously accepted code
                   |                            |fails with 4.0.2
   Target Milestone|---                         |4.0.3


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

[Bug c++/24275] [4.0/4.1 Regression] Previously accepted code fails with 4.0.2

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2005-10-08 18:16 -------
Confirmed reduced testcase:
template <bool val>  struct bool_var {
  static const bool value = val;
};
namespace is_inc_ {
  struct any {
    template <class T> any(T const&);
  };
  int operator++(any const&);
  template <class T>   struct impl   {
    static T &x;
    static const bool value = sizeof(++x) == 1;
  };
}
template<typename T> struct is_incr : bool_var< is_inc_::impl<T>::value> {};
struct not_incr{};
typedef int sa1[ is_incr<not_incr>::value ? -1 : 1];


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
      Known to fail|                            |4.1.0 4.0.2 4.0.3
      Known to work|                            |4.0.1
   Last reconfirmed|0000-00-00 00:00:00         |2005-10-08 18:16:19
               date|                            |


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

[Bug c++/24275] [4.0/4.1 Regression] Previously accepted code fails with 4.0.2

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/24275] [4.0/4.1 Regression] Previously accepted code fails with 4.0.2

[cvs-commit at gcc dot gnu dot org]

------- Comment #6 from cvs-commit at gcc dot gnu dot org  2005-10-10 14:42 -------
Subject: Bug 24275

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     mmitchel@gcc.gnu.org    2005-10-10 14:42:14

Modified files:
        gcc/cp         : pt.c 
Added files:
        gcc/testsuite/g++.dg/template: static19.C 

Log message:
        PR c++/24275
        * pt.c (instantiate_decl): Instantiate the initializer of
        a static data member in the namespace containing the class
        containing the static data member.
        PR c++/24275
        * g++.dg/template/static19.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.1041&r2=1.1042
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/static19.C.diff?cvsroot=gcc&r1=NONE&r2=1.1


-- 


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

[Bug c++/24275] [4.0/4.1 Regression] Previously accepted code fails with 4.0.2

[cvs-commit at gcc dot gnu dot org]

------- Comment #7 from cvs-commit at gcc dot gnu dot org  2005-10-10 14:43 -------
Subject: Bug 24275

CVSROOT:        /cvs/gcc
Module name:    gcc
Branch:         gcc-4_0-branch
Changes by:     mmitchel@gcc.gnu.org    2005-10-10 14:43:51

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

Log message:
        PR c++/24275
        * pt.c (instantiate_decl): Instantiate the initializer of
        a static data member in the namespace containing the class
        containing the static data member.
        PR c++/24275
        * g++.dg/template/static19.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.978.2.28&r2=1.978.2.29
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.120&r2=1.4648.2.121
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/static19.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.436&r2=1.5084.2.437


-- 


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

[Bug c++/24275] [4.0/4.1 Regression] Previously accepted code fails with 4.0.2

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2005-10-10 17:20 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

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


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