[Bug tree-optimization/97333] [gimple_can_duplicate_bb_p == false, tree-ssa-threadupdate] ICE in duplicate_block, at cfghooks.c:1093

[rguenth at gcc dot gnu.org via Gcc-bugs]

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

[vries at gcc dot gnu.org via Gcc-bugs]

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

[vries at gcc dot gnu.org via Gcc-bugs]

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

[pinskia at gcc dot gnu.org via Gcc-bugs]

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. ***