PhanRedundantCondition: https://gerrit.wikimedia.org/r/#/q/topic:PhanRedundantCondition

https://github.com/phan/phan/issues/2943 appears to have been resolved with https://github.com/phan/phan/pull/3176 in September 2019;

My fix was incomplete, I should try it again for the third time...

<file name="includes/Autopromote.php">
    <error line="213" severity="info" message="Suspicious attempt to compare $result of type null to null of type null with operator '==='" source="PhanSuspiciousValueComparison"/>
  </file>
  <file name="includes/BadFileLookup.php">
    <error line="74" severity="info" message="Redundant attempt to cast $bad of type false to bool" source="PhanRedundantCondition"/>
  </file>
  <file name="includes/CategoryViewer.php">
    <error line="198" severity="info" message="Suspicious attempt to compare $link of type null to null of type null with operator '==='" source="PhanSuspiciousValueComparison"/>
  </file>

These are all false positives, and that's just for the first three issues reported... Still too buggy to enable.

The most issues are coming from hooks where argument are passed by ref and after the hook checked if non-empty/changed. Phan seems to assume that the var is always empty and does not take the pass-by-ref into account. That may happen due to deep call to call_user_func or such. Maybe the new hook system with explicit functions to call at the first level makes that better (but call_user_func still there, just another place).

In T248438#6199176, @Umherirrender wrote:

The most issues are coming from hooks where argument are passed by ref and after the hook checked if non-empty/changed. Phan seems to assume that the var is always empty and does not take the pass-by-ref into account.

Correct.

That may happen due to deep call to call_user_func or such.

Also correct; this is what I tried to mitigate with my previous fix(es), but didn't succeed.

Maybe the new hook system with explicit functions to call at the first level makes that better (but call_user_func still there, just another place).

IIRC, it will. That's because the reference is in now in the callee signature, rather than inside the array of arguments.

Change 605559 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/core@master] [WIP][DNM] phan: Enable redundant_condition_detection

https://gerrit.wikimedia.org/r/605559

Change 605559 merged by jenkins-bot:
[mediawiki/core@master] phan: Enable redundant_condition_detection

https://gerrit.wikimedia.org/r/c/mediawiki/core/ /605559