https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88603
--- Comment #4 from Li Pan <pan2.li at intel dot com> --- (In reply to Andrew Pinski from comment #3) > We don't recongize saturation_add in comment #0 as a SAT_ADD still. Yes, the form like convert to widen for overflow checking is not supported for now. I will take care of it soon.
