https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104948
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to dagelf from comment #3)
> Can you please give me an example of code with the generated machine code
> where it actually works as a logical AND?
>
> Because I've tried several versions, and under no circumstances did it
> function as a binary operator.
>
> The warning might be improved to state that `&&` is not logical AND.
Maybe you can provide one of the several versions where it does not work to
enlight us. Even the following works
int f(int a)
{
L:
if (a && && L)
return 1;
return 0;
}