[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-08 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-08 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 --- Comment #13 from CVS Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:31ec413098bd334115aff73fc755e49afd3ac371 commit r14-3076-g31ec413098bd334115aff73fc755e49afd3ac371 Author: Richard Biener Date:

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-08 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 --- Comment #12 from Richard Biener --- (In reply to Richard Biener from comment #11) > Variant (1) is just the following, but I'm unsure as to the possible effects > of that ... (test coverage will be very low anyway) > > diff --git

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-08 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 --- Comment #11 from Richard Biener --- Variant (1) is just the following, but I'm unsure as to the possible effects of that ... (test coverage will be very low anyway) diff --git a/gcc/tree-ssa-operands.cc b/gcc/tree-ssa-operands.cc index

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-08 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 --- Comment #10 from Richard Biener --- Created attachment 55705 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55705=edit prototype This implements option two - Honza, I think the pure-const hunk is sound but I didn't find a proper

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-08 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 Richard Biener changed: What|Removed |Added CC||hubicka at gcc dot gnu.org ---

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-08 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 Richard Biener changed: What|Removed |Added Status|NEW |ASSIGNED

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-08 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 David Binderman changed: What|Removed |Added CC||rguenth at gcc dot gnu.org ---

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-07 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 --- Comment #6 from David Binderman --- Reduced C code is func_4_p_7, func_4_l_3204; func_15() __attribute__((cold)); func_15() { for (;;) ; } func_15_alias() __attribute__((alias("func_15"))); func_4() { func_15_alias(func_4_p_7 &&

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-07 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 Andrew Pinski changed: What|Removed |Added CC||shaohua.li at inf dot ethz.ch ---

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-07 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-07 Thread dcb314 at hotmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 David Binderman changed: What|Removed |Added CC||dcb314 at hotmail dot com ---

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 --- Comment #2 from Andrew Pinski --- Confirmed, though this is undefined code unless a is always 0.

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 --- Comment #1 from Andrew Pinski --- Here is a testcase without calling main: ``` int a[1], b, c, d, e, f, g; [[gnu::noinline]] void h(int i, int j) { int *k = 0; if (*k) h(0, 0); g = i && d; } int jj() { if (c) goto l; if

[Bug tree-optimization/110924] [14 Regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: verify_ssa failed

2023-08-06 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924 Andrew Pinski changed: What|Removed |Added Keywords||ice-on-valid-code Target