Skip to content

MIR0404

ParadoxicalCondition

A condition is constructed such that it can never be true — it contradicts itself. This is distinct from RedundantCondition (which is always true): a paradoxical condition is always false, so the controlled branch is dead code.

<?php
function check(int $x): bool {
return $x > 10 && $x < 5; // can never be true simultaneously
}

Review the condition logic. If the branch should sometimes execute, correct the operator or bounds. If the branch is intentionally unreachable, remove it.