[Bug tree-optimization/107569] [13 Regression] Failure to optimize std::isfinite since r13-3596

[jakub at gcc dot gnu.org]

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

--- Comment #20 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 53865
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53865&action=edit
gcc13-pr107569.patch

Here is an updated patch (including the incremental patch) with some fixes.
Previous version caused some ICEs, that is now fixed, but there is
+FAIL: gcc.dg/fold-overflow-1.c scan-assembler-times 2139095040 2
regression (will file a separate PR about it, it isn't just the multiplication
regression but already addition), and
+FAIL: gfortran.dg/fmt_g0_6.f08   -O3 -fomit-frame-pointer -funroll-loops
-fpeel-loops -ftracer -finline-functions  execution test
+FAIL: gfortran.dg/fmt_g0_6.f08   -O3 -g  execution test
+FAIL: math
+FAIL: special_functions/08_cyl_bessel_j/check_value.cc execution test
+FAIL:
tr1/5_numerical_facilities/special_functions/09_cyl_bessel_j/check_value.cc
execution test
I need to investigate.