[Bug tree-optimization/108791] [12/13 Regression] ICE: verify_gimple failed

2023-02-15 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108791

--- Comment #5 from CVS Commits  ---
The master branch has been updated by Richard Biener :

https://gcc.gnu.org/g:441c466fd4d8b9afd99f585f7c4bfade911c4652

commit r13-6073-g441c466fd4d8b9afd99f585f7c4bfade911c4652
Author: Richard Biener 
Date:   Wed Feb 15 14:00:21 2023 +0100

tree-optimization/108791 - checking ICE with sloppy ADDR_EXPR

The following fixes a checking ICE by choosing a more appropriate
type for an ADDR_EXPR built by forwprop.

PR tree-optimization/108791
* tree-ssa-forwprop.cc (optimize_vector_load): Build
the ADDR_EXPR of a TARGET_MEM_REF using a more meaningful
type.

* gcc.dg/torture/pr108791.c: New testcase.

[Bug tree-optimization/108791] [12/13 Regression] ICE: verify_gimple failed

2023-02-15 Thread rguenth at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108791

--- Comment #4 from Richard Biener  ---
Created attachment 54467
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54467=edit
patch

[Bug tree-optimization/108791] [12/13 Regression] ICE: verify_gimple failed

2023-02-15 Thread rguenth at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108791

Richard Biener  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org

--- Comment #3 from Richard Biener  ---
I will have a look.

[Bug tree-optimization/108791] [12/13 Regression] ICE: verify_gimple failed

2023-02-14 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108791

Andrew Pinski  changed:

   What|Removed |Added

   Last reconfirmed||2023-02-14
 Ever confirmed|0   |1
 Status|UNCONFIRMED |NEW
  Known to work||11.3.0
  Known to fail||12.1.0

--- Comment #2 from Andrew Pinski  ---
  vect__2.16_79 = MEM  [(int *)a_12(D) + ivtmp.31_52 * 1];
  vect__3.17_80 = [vec_unpack_lo_expr] vect__2.16_79;
  vect__3.17_81 = [vec_unpack_hi_expr] vect__2.16_79;
  _83 = BIT_FIELD_REF ;


into:

  _109 =   [(int *)a_12(D) + ivtmp.31_52 * 1];
  _11 = BIT_FIELD_REF  [(int *)_109], 32, 32>;

[Bug tree-optimization/108791] [12/13 Regression] ICE: verify_gimple failed

2023-02-14 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108791

Andrew Pinski  changed:

   What|Removed |Added

  Component|c   |tree-optimization
   Target Milestone|--- |12.3
 CC||pinskia at gcc dot gnu.org
   Keywords||ice-on-valid-code