public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed @ 2024-05-25 13:44 zhendong.su at inf dot ethz.ch 2024-05-26 6:47 ` [Bug tree-optimization/115226] [15 regression] " pinskia at gcc dot gnu.org ` (7 more replies) 0 siblings, 8 replies; 9+ messages in thread From: zhendong.su at inf dot ethz.ch @ 2024-05-25 13:44 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 Bug ID: 115226 Summary: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: zhendong.su at inf dot ethz.ch Target Milestone: --- It appears to be a recent regression as it doesn't reproduce with 14.1 and earlier. Compiler Explorer: https://godbolt.org/z/EK1hn9n4s [538] % gcctk -v Using built-in specs. COLLECT_GCC=gcctk COLLECT_LTO_WRAPPER=/local/suz-local/software/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/15.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc-trunk/configure --disable-bootstrap --enable-checking=yes --prefix=/local/suz-local/software/local/gcc-trunk --enable-sanitizers --enable-languages=c,c++ --disable-werror --enable-multilib Thread model: posix Supported LTO compression algorithms: zlib gcc version 15.0.0 20240525 (experimental) (GCC) [539] % [539] % gcctk -O3 small.c small.c: In function ‘main’: small.c:3:5: error: stmt with wrong VUSE 3 | int main() { | ^~~~ # .MEM_4 = VDEF <.MEM_15> a = 0; expected .MEM_2 during GIMPLE pass: unswitch small.c:3:5: internal compiler error: verify_ssa failed 0x140b2be verify_ssa(bool, bool) ../../gcc-trunk/gcc/tree-ssa.cc:1203 0x102deb5 execute_function_todo ../../gcc-trunk/gcc/passes.cc:2096 0x102e71e execute_todo ../../gcc-trunk/gcc/passes.cc:2143 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions. [540] % [540] % cat small.c extern void c(); int a, b; int main() { while (b) { int d, e = 0, *f = &a; *f = 1; e = 1 >> d ? : 1 << d; if (e) a = 0; c(); } return 0; } ^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/115226] [15 regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch @ 2024-05-26 6:47 ` pinskia at gcc dot gnu.org 2024-05-27 7:00 ` rguenth at gcc dot gnu.org ` (6 subsequent siblings) 7 siblings, 0 replies; 9+ messages in thread From: pinskia at gcc dot gnu.org @ 2024-05-26 6:47 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2024-05-26 Keywords| |ice-on-valid-code Version|unknown |15.0 CC| |rguenth at gcc dot gnu.org Target Milestone|--- |15.0 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed. One of the sinking changes looks like exposed this latent bug in unswitch. ^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/115226] [15 regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch 2024-05-26 6:47 ` [Bug tree-optimization/115226] [15 regression] " pinskia at gcc dot gnu.org @ 2024-05-27 7:00 ` rguenth at gcc dot gnu.org 2024-05-27 8:49 ` rguenth at gcc dot gnu.org ` (5 subsequent siblings) 7 siblings, 0 replies; 9+ messages in thread From: rguenth at gcc dot gnu.org @ 2024-05-27 7:00 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Status|NEW |ASSIGNED --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- I will have a look. ^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/115226] [15 regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch 2024-05-26 6:47 ` [Bug tree-optimization/115226] [15 regression] " pinskia at gcc dot gnu.org 2024-05-27 7:00 ` rguenth at gcc dot gnu.org @ 2024-05-27 8:49 ` rguenth at gcc dot gnu.org 2024-05-27 9:01 ` rguenth at gcc dot gnu.org ` (4 subsequent siblings) 7 siblings, 0 replies; 9+ messages in thread From: rguenth at gcc dot gnu.org @ 2024-05-27 8:49 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- It's interesting that SSA verification does not catch a missing virtual PHI from sinking. ^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/115226] [15 regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch ` (2 preceding siblings ...) 2024-05-27 8:49 ` rguenth at gcc dot gnu.org @ 2024-05-27 9:01 ` rguenth at gcc dot gnu.org 2024-05-27 10:21 ` jakub at gcc dot gnu.org ` (3 subsequent siblings) 7 siblings, 0 replies; 9+ messages in thread From: rguenth at gcc dot gnu.org @ 2024-05-27 9:01 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 --- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It's another case where we "skip" a killing def when sinking a store. Here there's a conditional merge of both paths, again violating the virtual operand update constraint. ^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/115226] [15 regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch ` (3 preceding siblings ...) 2024-05-27 9:01 ` rguenth at gcc dot gnu.org @ 2024-05-27 10:21 ` jakub at gcc dot gnu.org 2024-05-27 10:45 ` cvs-commit at gcc dot gnu.org ` (2 subsequent siblings) 7 siblings, 0 replies; 9+ messages in thread From: jakub at gcc dot gnu.org @ 2024-05-27 10:21 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org Priority|P3 |P1 --- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Started with r15-815-g5b9b3bae33cae7fca2e3c3e3028be6b8bee9b698 ^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/115226] [15 regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch ` (4 preceding siblings ...) 2024-05-27 10:21 ` jakub at gcc dot gnu.org @ 2024-05-27 10:45 ` cvs-commit at gcc dot gnu.org 2024-05-27 10:46 ` rguenth at gcc dot gnu.org 2024-05-28 6:31 ` rguenth at gcc dot gnu.org 7 siblings, 0 replies; 9+ messages in thread From: cvs-commit at gcc dot gnu.org @ 2024-05-27 10:45 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 --- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>: https://gcc.gnu.org/g:f9fbb47987efc8b5261e4cc36613c928a8693493 commit r15-850-gf9fbb47987efc8b5261e4cc36613c928a8693493 Author: Richard Biener <rguenther@suse.de> Date: Mon May 27 09:40:19 2024 +0200 tree-optimization/115220 - fix store sinking virtual operand constraints The following makes sure the virtual operand updating when sinking stores works for the case we ignore paths to kills. The final sink location might not post-dominate the original stmt location which would require inserting of a virtual PHI which we do not support. PR tree-optimization/115220 PR tree-optimization/115226 * tree-ssa-sink.cc (statement_sink_location): When ignoring paths to kills when sinking stores make sure the final sink location is still post-dominated by the original one. Otherwise we'd need to insert a PHI node to merge virtual operands. * gcc.dg/torture/pr115220.c: New testcase. * gcc.dg/torture/pr115226.c: New testcase. ^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/115226] [15 regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch ` (5 preceding siblings ...) 2024-05-27 10:45 ` cvs-commit at gcc dot gnu.org @ 2024-05-27 10:46 ` rguenth at gcc dot gnu.org 2024-05-28 6:31 ` rguenth at gcc dot gnu.org 7 siblings, 0 replies; 9+ messages in thread From: rguenth at gcc dot gnu.org @ 2024-05-27 10:46 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- Fixed. ^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/115226] [15 regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch ` (6 preceding siblings ...) 2024-05-27 10:46 ` rguenth at gcc dot gnu.org @ 2024-05-28 6:31 ` rguenth at gcc dot gnu.org 7 siblings, 0 replies; 9+ messages in thread From: rguenth at gcc dot gnu.org @ 2024-05-28 6:31 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dcb314 at hotmail dot com --- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- *** Bug 115243 has been marked as a duplicate of this bug. *** ^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2024-05-28 6:31 UTC | newest] Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2024-05-25 13:44 [Bug tree-optimization/115226] New: ICE on valid code at -O3 on x86_64-linux-gnu: verify_ssa failed zhendong.su at inf dot ethz.ch 2024-05-26 6:47 ` [Bug tree-optimization/115226] [15 regression] " pinskia at gcc dot gnu.org 2024-05-27 7:00 ` rguenth at gcc dot gnu.org 2024-05-27 8:49 ` rguenth at gcc dot gnu.org 2024-05-27 9:01 ` rguenth at gcc dot gnu.org 2024-05-27 10:21 ` jakub at gcc dot gnu.org 2024-05-27 10:45 ` cvs-commit at gcc dot gnu.org 2024-05-27 10:46 ` rguenth at gcc dot gnu.org 2024-05-28 6:31 ` rguenth 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).