[Bug tree-optimization/97333] [13 Regression] [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 <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot 
gnu.org
            Summary|[gimple_can_duplicate_bb_p  |[13 Regression]
                   |== false,                   |[gimple_can_duplicate_bb_p
                   |tree-ssa-threadupdate] ICE  |== false,
                   |in duplicate_block, at      |tree-ssa-threadupdate] ICE
                   |cfghooks.c:1093             |in duplicate_block, at
                   |                            |cfghooks.c:1093
     Ever confirmed|0                           |1
           Keywords|internal-improvement        |
   Last reconfirmed|                            |2022-08-01
   Target Milestone|---                         |13.0

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This is now a regression after r13-1753-g26cea5f108e0facd.

testcase:
int n;

__attribute__ ((pure,returns_twice)) int
bar (void);

int
foo (int x)
{
  n = 0;

  bar ();

  if (x && n)
    return 0;

  foo (x);
}