[Bug tree-optimization/94775] [8/9/10 Regression] ICE in strip_typedefs, at cp/tree.c:1734 since r8-4668-g8a5ee94a082b3d48

2020-04-27 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94775

--- Comment #4 from Martin Sebor  ---
The assertion was introduced in a fix for PR79900 by the commit below:

g:423aec8b5756 1734)   if (TYPE_USER_ALIGN (t) != TYPE_USER_ALIGN (result)
g:423aec8b5756 1735)|| TYPE_ALIGN (t) != TYPE_ALIGN (result))
g:b71983a5baee 1736)  {
g:423aec8b5756 1737)gcc_assert (TYPE_USER_ALIGN (t));
g:423aec8b5756 1738)if (remove_attributes)

[Bug tree-optimization/94775] [8/9/10 Regression] ICE in strip_typedefs, at cp/tree.c:1734 since r8-4668-g8a5ee94a082b3d48

2020-04-27 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94775

--- Comment #3 from Martin Sebor  ---
The full stack trace shows the ICE occurs while formatting the text of a
warning.  strip_typedefs is being called while formatting the type of an array
of d and when assertion below fires:

  if (TYPE_USER_ALIGN (t) != TYPE_USER_ALIGN (result)
  || TYPE_ALIGN (t) != TYPE_ALIGN (result))
{
  gcc_assert (TYPE_USER_ALIGN (t));
  if (remove_attributes)

during GIMPLE pass: vrp
in strip_typedefs, at cp/tree.c:1737
   41 | m n::ad() const {
  |   ^
0xc6cab1 strip_typedefs(tree_node*, bool*, unsigned int)
/src/gcc/master/gcc/cp/tree.c:1737
0xa823d8 type_to_string
/src/gcc/master/gcc/cp/error.c:3214
0xa861d6 cp_printer
/src/gcc/master/gcc/cp/error.c:4289
0x268d13a pp_format(pretty_printer*, text_info*)
/src/gcc/master/gcc/pretty-print.c:1458
0x2666327 diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*)
/src/gcc/master/gcc/diagnostic.c:1159
0x266694b diagnostic_impl
/src/gcc/master/gcc/diagnostic.c:1309
0x26671c7 warning_at(unsigned int, int, char const*, ...)
/src/gcc/master/gcc/diagnostic.c:1446
0x19b82ae vrp_prop::check_array_ref(unsigned int, tree_node*, bool)
/src/gcc/master/gcc/tree-vrp.c:3578
0x19ba715 check_array_bounds
/src/gcc/master/gcc/tree-vrp.c:4062
0x19f1508 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set >*))
/src/gcc/master/gcc/tree.c:12000
0x10ed4ac walk_gimple_op(gimple*, tree_node* (*)(tree_node**, int*, void*),
walk_stmt_info*)
/src/gcc/master/gcc/gimple-walk.c:202
0x19ba871 check_array_bounds_dom_walker::before_dom_children(basic_block_def*)
/src/gcc/master/gcc/tree-vrp.c:4120
0x23f5aed dom_walker::walk(basic_block_def*)
/src/gcc/master/gcc/domwalk.c:309
0x19ba8d5 vrp_prop::check_all_array_refs()
/src/gcc/master/gcc/tree-vrp.c:4137
0x19bdb47 vrp_prop::vrp_finalize(bool)
/src/gcc/master/gcc/tree-vrp.c:5209
0x19bdbdc execute_vrp
/src/gcc/master/gcc/tree-vrp.c:5277
0x19bdddb execute
/src/gcc/master/gcc/tree-vrp.c:5359
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug tree-optimization/94775] [8/9/10 Regression] ICE in strip_typedefs, at cp/tree.c:1734 since r8-4668-g8a5ee94a082b3d48

2020-04-27 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94775

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P2

[Bug tree-optimization/94775] [8/9/10 Regression] ICE in strip_typedefs, at cp/tree.c:1734 since r8-4668-g8a5ee94a082b3d48

2020-04-26 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94775

Martin Liška  changed:

   What|Removed |Added

 Ever confirmed|0   |1
   Keywords||ice-on-valid-code
   Last reconfirmed||2020-04-27
 CC||marxin at gcc dot gnu.org,
   ||msebor at gcc dot gnu.org
  Known to work||7.4.0
   Target Milestone|--- |8.5
 Status|UNCONFIRMED |NEW
  Known to fail||10.0, 8.3.0, 9.2.0
Summary|[8/9/10 Regression] ICE in  |[8/9/10 Regression] ICE in
   |strip_typedefs, at  |strip_typedefs, at
   |cp/tree.c:1734  |cp/tree.c:1734 since
   ||r8-4668-g8a5ee94a082b3d48

--- Comment #2 from Martin Liška  ---
Confirmed, started with r8-4668-g8a5ee94a082b3d48.