public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/53401] New: internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates
@ 2012-05-18 17:31 ai.azuma at gmail dot com
2012-05-20 20:01 ` [Bug c++/53401] [C++11] " pinskia at gcc dot gnu.org
2013-08-09 19:37 ` paolo.carlini at oracle dot com
0 siblings, 2 replies; 3+ messages in thread
From: ai.azuma at gmail dot com @ 2012-05-18 17:31 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/53401] [C++11] internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates
2012-05-18 17:31 [Bug c++/53401] New: internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates ai.azuma at gmail dot com
@ 2012-05-20 20:01 ` pinskia at gcc dot gnu.org
2013-08-09 19:37 ` paolo.carlini at oracle dot com
1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2012-05-20 20:01 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/53401] [C++11] internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates
2012-05-18 17:31 [Bug c++/53401] New: internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates ai.azuma at gmail dot com
2012-05-20 20:01 ` [Bug c++/53401] [C++11] " pinskia at gcc dot gnu.org
@ 2013-08-09 19:37 ` paolo.carlini at oracle dot com
1 sibling, 0 replies; 3+ messages in thread
From: paolo.carlini at oracle dot com @ 2013-08-09 19:37 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2013-08-09 19:37 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-05-18 17:31 [Bug c++/53401] New: internal compiler error: Segmentation fault on infinite argument deduction of constexpr templates ai.azuma at gmail dot com
2012-05-20 20:01 ` [Bug c++/53401] [C++11] " pinskia at gcc dot gnu.org
2013-08-09 19:37 ` paolo.carlini at oracle dot com
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).