[Bug c++/53401] New: internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates

[Bug c++/53401] New: internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates

[ai.azuma at gmail dot com]

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

             Bug #: 53401
           Summary: internal compiler error: Segmentation fault on
                    infinite argument deduction of constexpr templates
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ai.azuma@gmail.com


Created attachment 27434
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27434
Outputs from -v option (repeated error messages are snipped) and preprocessed
source.

The following invalid code causes an ICE with GCC 4.8.0 20120513 (experimental)
and -std=c++11.


/////////////////////////////////////////////
template<int I>
struct index
{};

constexpr int recursive_impl(index<0u>)
{
  return 0;
}

template<int N>
constexpr auto recursive_impl(index<N>)       // Line 11
  -> decltype(recursive_impl(index<N - 1>()))
{
  return recursive_impl(index<N - 1>());
}

template<int N>
constexpr auto recursive()
  -> decltype(recursive_impl(index<N>()))
{
  return recursive_impl(index<N>());
}

void f(int i)
{
  recursive<1>();
}
/////////////////////////////////////////////

g++: internal compiler error: Segmentation fault (program cc1plus)
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


The above-mentioned code is invalid because there isn't anything to prevent the
compiler from trying infinite template argument deduction in the second
overload of `recursive_impl' (Line 11). So, I expect error messages like
"template instantiation depth exceeds maximum...". However, the compiler dies
in segmentation fault.

`constexpr' is necessary to reproduce the ICE. Otherwise, the compiler outputs
ordinary error messages as expected.

4.6.4 20120511 (prerelease) and 4.7.1 20120512 (prerelease) also cause the same
problem, too.

[Bug c++/53401] [C++11] internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-05-20 19:15:39 UTC ---
t6.cc:11:16: error: template instantiation depth exceeds maximum of 900 (use
-ftemplate-depth= to increase the maximum) instantiating ‘struct index<-898>’
 constexpr auto recursive_impl(index<N>)       // Line 11
                ^
t6.cc:11:16:   recursively required by substitution of ‘template<int N>
constexpr decltype (recursive_impl(index<(N - 1)>())) recursive_impl(index<N>)
[with int N = 0]’
t6.cc:11:16:   required by substitution of ‘template<int N> constexpr decltype
(recursive_impl(index<(N - 1)>())) recursive_impl(index<N>) [with int N = 1]’
t6.cc:18:16:   required by substitution of ‘template<int N> constexpr decltype
(recursive_impl(index<N>())) recursive() [with int N = 1]’
t6.cc:26:16:   required from here

t6.cc:11:16: error: template instantiation depth exceeds maximum of 900 (use
-ftemplate-depth= to increase the maximum) instantiating ‘struct index<-899>’
t6.cc:11:16:   recursively required by substitution of ‘template<int N>
constexpr decltype (recursive_impl(index<(N - 1)>())) recursive_impl(index<N>)
[with int N = 0]’
t6.cc:11:16:   required by substitution of ‘template<int N> constexpr decltype
(recursive_impl(index<N>())) recursive() [with int N = 1]’
t6.cc:26:16:   required from here


And then an infinite loop.

[Bug c++/53401] [C++11] internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-08-09
     Ever confirmed|0                           |1

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Related to c++/54080.