Fixed #5334 (False positive: same expression on both sides of '||')