[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]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97333

--- Comment #3 from Tom de Vries <vries at gcc dot gnu.org> ---
(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.