https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105776
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note there are two different issues here. The second one is a target issue. For f3, widening multiple pass (which is misnamed these days) detects the __builtin_mul_overflow for x86_64 but not for aarch64 even though the incoming IR is the same.
