[Bug tree-optimization/57755] Improve fold_binary_op_with_conditional_arg

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #9 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Drea Pinski from comment #5)
> unsigned g(unsigned a,unsigned b,unsigned c){
>   return ((a<b)?a:c)*3/42+1;
> }

Is fixed by r17-1507-gc43fed44d9ac34 .