[Bug c++/52371] New: [C++11] ICE in noexcept with constexpr conversion function

[Bug c++/52371] New: [C++11] ICE in noexcept with constexpr conversion function

[ai.azuma at gmail dot com]

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

             Bug #: 52371
           Summary: [C++11] ICE in noexcept with constexpr conversion
                    function
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ai.azuma@gmail.com


The following well-formed code causes ICE on GCC 4.7.0 20120218 (experimental).

//////////////////////////////////////////////////////////////
template<typename T, T v>
struct integral_constant
{
  typedef T value_type;
  static constexpr value_type value = v;
  constexpr operator value_type() { return value; }
};

template<typename T>
struct B
{
  B()
  noexcept(integral_constant<bool, noexcept(T())>()) // <- ICE
    : v_()
  {}

  T v_;
};

int main()
{
  B<int> b;
}
//////////////////////////////////////////////////////////////

If I use the static constexpr `value' instread of the constexpr conversion
function, the ICE disappears.

[Bug c++/52371] [C++11] ICE in noexcept with constexpr conversion function

[ai.azuma at gmail dot com]

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

--- Comment #1 from Ai Azuma <ai.azuma at gmail dot com> 2012-02-24 13:54:18 UTC ---
Created attachment 26741
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26741
Output of -v option and preprocessed file

[Bug c++/52371] [C++11] ICE in noexcept with constexpr conversion function

[ai.azuma at gmail dot com]

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

--- Comment #2 from Ai Azuma <ai.azuma at gmail dot com> 2012-02-24 14:01:41 UTC ---
I'm sorry. I forgot to write that this ICE appears with -std=c++11 option.

[Bug c++/52371] [C++11] ICE in noexcept with constexpr conversion function

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Dup.

*** This bug has been marked as a duplicate of bug 54207 ***