[Bug tree-optimization/97333] [gimple_can_duplicate_bb_p == false, tree-ssa-threadupdate] ICE in duplicate_block, at cfghooks.c:1093
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97333 Richard Biener changed: What|Removed |Added CC||law at gcc dot gnu.org --- Comment #1 from Richard Biener --- Looks like the jump threading code fails to check can_duplicate_block_p () (because well, on GIMPLE we can duplicate all blocks).
[Bug tree-optimization/97333] [gimple_can_duplicate_bb_p == false, tree-ssa-threadupdate] ICE in duplicate_block, at cfghooks.c:1093
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97333 --- Comment #2 from Tom de Vries --- (In reply to Richard Biener from comment #1) > (because well, on GIMPLE we can duplicate all blocks). I'm not sure I understand why, given that tracer.c has a can_duplicate_bb_p that sometimes returns false. Sent an RFC patch to ask for clarification: https://gcc.gnu.org/pipermail/gcc-patches/2020-October/555890.html .
[Bug tree-optimization/97333] [gimple_can_duplicate_bb_p == false, tree-ssa-threadupdate] ICE in duplicate_block, at cfghooks.c:1093
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97333 --- Comment #3 from Tom de Vries --- (In reply to Tom de Vries from comment #2) > (In reply to Richard Biener from comment #1) > > (because well, on GIMPLE we can duplicate all blocks). > > I'm not sure I understand why, given that tracer.c has a can_duplicate_bb_p > that sometimes returns false. Sent an RFC patch to ask for clarification: > https://gcc.gnu.org/pipermail/gcc-patches/2020-October/555890.html . Committed as "[gimple] Move can_duplicate_bb_p to gimple_can_duplicate_bb_p" ( https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=17d5739a6b103cdd3315f5d0e09fe8faa6620a03 ). Now gimple_can_duplicate_bb_p can return false.
[Bug tree-optimization/97333] [gimple_can_duplicate_bb_p == false, tree-ssa-threadupdate] ICE in duplicate_block, at cfghooks.c:1093
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97333 Andrew Pinski changed: What|Removed |Added CC||asolokha at gmx dot com --- Comment #4 from Andrew Pinski --- *** Bug 106497 has been marked as a duplicate of this bug. ***