public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/102455] New: ICE in verify_ctor_sanity, at cp/constexpr.c:4451
@ 2021-09-22 17:37 gscfq@t-online.de
2021-09-22 18:06 ` [Bug c++/102455] ICE in verify_ctor_sanity with vector types in constexpr and variable template pinskia at gcc dot gnu.org
2023-08-11 22:12 ` pinskia at gcc dot gnu.org
0 siblings, 2 replies; 3+ messages in thread
From: gscfq@t-online.de @ 2021-09-22 17:37 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102455
Bug ID: 102455
Summary: ICE in verify_ctor_sanity, at cp/constexpr.c:4451
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: gscfq@t-online.de
Target Milestone: ---
Affects versions down to at least r5 (with -std=c++14) :
$ cat z1.cc
typedef int v4si;
typedef float v4sf __attribute__ ((vector_size(4)));
constexpr v4sf foo (v4si) { for (;;) {} }
template <class> constexpr v4sf b = foo (v4si {});
$ g++-12-20210919 -c z1.cc
z1.cc:4:49: internal compiler error: in verify_ctor_sanity, at
cp/constexpr.c:4451
4 | template <class> constexpr v4sf b = foo (v4si {});
| ^
0x6e1221 verify_ctor_sanity
../../gcc/cp/constexpr.c:4450
0x6ef919 cxx_eval_bare_aggregate
../../gcc/cp/constexpr.c:4493
0x6e5e73 cxx_eval_constant_expression
../../gcc/cp/constexpr.c:6793
0x6e353b cxx_bind_parameters_in_call
../../gcc/cp/constexpr.c:1644
0x6e353b cxx_eval_call_expression
../../gcc/cp/constexpr.c:2617
0x6e7174 cxx_eval_constant_expression
../../gcc/cp/constexpr.c:6336
0x6e5bb5 cxx_eval_constant_expression
../../gcc/cp/constexpr.c:6828
0x6e964b cxx_eval_outermost_constant_expr
../../gcc/cp/constexpr.c:7368
0x6ec82a fold_non_dependent_expr_template
../../gcc/cp/constexpr.c:7720
0x87abb4 store_init_value(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
../../gcc/cp/typeck2.c:777
0x73210d check_initializer
../../gcc/cp/decl.c:7277
0x734457 cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
../../gcc/cp/decl.c:8077
0x7f3caf cp_parser_init_declarator
../../gcc/cp/parser.c:22665
0x7f6ba6 cp_parser_single_declaration
../../gcc/cp/parser.c:31569
0x7f6dc5 cp_parser_template_declaration_after_parameters
../../gcc/cp/parser.c:31134
0x7f758b cp_parser_explicit_template_declaration
../../gcc/cp/parser.c:31400
0x7f758b cp_parser_template_declaration_after_export
../../gcc/cp/parser.c:31419
0x7f97e9 cp_parser_declaration
../../gcc/cp/parser.c:14750
0x7fa4ab cp_parser_translation_unit
../../gcc/cp/parser.c:4978
0x7fa4ab c_parse_file()
../../gcc/cp/parser.c:47694
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/102455] ICE in verify_ctor_sanity with vector types in constexpr and variable template
2021-09-22 17:37 [Bug c++/102455] New: ICE in verify_ctor_sanity, at cp/constexpr.c:4451 gscfq@t-online.de
@ 2021-09-22 18:06 ` pinskia at gcc dot gnu.org
2023-08-11 22:12 ` pinskia at gcc dot gnu.org
1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-09-22 18:06 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102455
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Summary|ICE in verify_ctor_sanity |ICE in verify_ctor_sanity
|with vector types in |with vector types in
|constexpr |constexpr and variable
| |template
Status|UNCONFIRMED |NEW
Keywords| |ice-on-valid-code
Last reconfirmed| |2021-09-22
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The infinite loop is not needed:
typedef int v4si;
typedef float v4sf __attribute__ ((vector_size(4)));
constexpr v4sf foo (v4si a) { return (v4sf)a;}
template <class> constexpr v4sf b = foo (v4si {});
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/102455] ICE in verify_ctor_sanity with vector types in constexpr and variable template
2021-09-22 17:37 [Bug c++/102455] New: ICE in verify_ctor_sanity, at cp/constexpr.c:4451 gscfq@t-online.de
2021-09-22 18:06 ` [Bug c++/102455] ICE in verify_ctor_sanity with vector types in constexpr and variable template pinskia at gcc dot gnu.org
@ 2023-08-11 22:12 ` pinskia at gcc dot gnu.org
1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-08-11 22:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102455
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |needs-bisection
Known to work| |13.1.0
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Looks to be fixed for GCC 13.1.0.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-08-11 22:12 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-22 17:37 [Bug c++/102455] New: ICE in verify_ctor_sanity, at cp/constexpr.c:4451 gscfq@t-online.de
2021-09-22 18:06 ` [Bug c++/102455] ICE in verify_ctor_sanity with vector types in constexpr and variable template pinskia at gcc dot gnu.org
2023-08-11 22:12 ` pinskia at gcc dot gnu.org
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).