[Bug tree-optimization/111515] [14 Regression] Missed Dead Code Elimination since r14-4089-gd45ddc2c04e

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
OTOH the eliminated branch is

  if (aj_6 < 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  __builtin_unreachable ();

which isn't too interesting to eliminate as we'll remove it from all
paths later anyway.  Possibly worth special-casing and might avoid
some threading around assert() calls implemented this way.  Threads
around abort () are still useful as we keep them.  So not sure if
relevant in practice and thus worth the trouble.