Fixed #4929 (False positive: possible null pointer deref (checks dont handle && and || well))