psalm-insane-comparison

A Psalm plugin to detect code susceptible to change behaviour with the introduction of PHP RFC: Saner string to number comparisons

Installation:

$ composer require --dev orklah/psalm-insane-comparison $ vendor/bin/psalm-plugin enable orklah/psalm-insane-comparison

Usage:

Run your usual Psalm command:

$ vendor/bin/psalm

Explanation:

Before PHP8, comparison between a non-empty-string and the literal int 0 resulted in true. This is no longer the case with the PHP RFC: Saner string to number comparisons.

$a = 'banana'; $b = 0; if($a == $b){ echo 'PHP 7 will display this'; } else{ echo 'PHP 8 will display this instead'; }

This plugin helps identify those case to check them before migrating.

You can solve this issue in a lot of ways:

$a = 'banana'; $b = 0; if($a === $b){ echo 'This is impossible'; } else{ echo 'PHP 7 and 8 will both display this'; } use a cast to make both operands the same type:

$a = 'banana'; $b = 0; if((int)$a == $b){ echo 'PHP 7 and 8 will both display this'; } else{ echo 'This is impossible'; }

$a = 'banana'; $b = 0; if($a == (string)$b){ echo 'This is impossible'; } else{ echo 'PHP 7 and 8 will both display this'; } Make psalm understand you're working with positive-ints when the int operand is not a literal:

$a = 'banana'; /** @var positive-int $b */ if($a == $b){ echo 'This is impossible'; } else{ echo 'PHP 7 and 8 will both display this'; } Make psalm understand you're working with numeric-strings when the string operand is not a literal:

/** @var numeric-string $a */ $b = 0; if($a == $b){ echo 'PHP 7 and 8 will both display this depending on the value of $a'; } else{ echo 'PHP 7 and 8 will both display this depending on the value of $a'; }