YES!  This happens with M68K, too!

Check out xlint.
I submitted this a while back.  I established that it will assert that:
a is 0
b is 0
a || b is not zero

for at least some expressions a and b.

The main result I had noticed is that
	int i = (1 << 1);
or something like it will get a warning about an integer constant too large
from xlint.

I don't recall the pr number; I submitted it for 68k only, but it appears
to be a general bug.

-s