https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57755
--- Comment #8 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Drea Pinski from comment #4)
> I think we should optimize this testcases slightly different from
> "improving" fold_binary_op_with_conditional_arg (I think
> fold_binary_op_with_conditional_arg
> should go away even but that is a different story).
>
> Let's start with:
> ```
> int f(int a,int b){
> return (((a<=3)?-1:0)&((b<=2)?-1:0))!=0;
> }
> ```
This one is taken care of by r17-1528-g6bbe931ea0e8f4 .