[Bug middle-end/112600] Failed to optimize saturating addition using __builtin_add_overflow

[pan2.li at intel dot com via Gcc-bugs]

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

--- Comment #19 from Li Pan <pan2.li at intel dot com> ---
interesting, I will take a look for f2 after some more sat_* supported.