[Bug c++/23691] [4.0 Regression] `mpl_::bool_<false>::value' is not a valid template argument for type `bool' because it is a non-constant expression

["pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-02 22:51 -------
Confirmed and htere is the reduced testcase:
namespace std {
  class type_info   {
    bool operator==(const type_info& __arg) const;
  };
}
template <class T, T val> struct integral_constant {
  static const T value = val;
};
template< typename T > struct is_integral : integral_constant<bool,false> {};
template <bool B>   struct enable_if_c {};
template<typename Functor>
  typename enable_if_c<(is_integral<Functor>::value)>::type
    operator==(const int& f, Functor g);
template<class D>
int get_deleter( std::type_info const & ti )
{
  return ti == typeid(D);
}


The different between this and PR 23698 is indirectness of value in is_integral, this one goes though a 
base class while the other one does not.  This test unlike the one in PR 23698 is accepted Comeau.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-02 22:51:51
               date|                            |


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