[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