Match arm with many conditional expression causes static analysis forever to finish, starting from 1.10.22

[yarimadam]

Bug report

Hello!

Starting from version 1.10.22 (no issue in 1.10.21 and below) a weird problem started to appear in one of our projects.

It takes forever to finish static analysis in a PHP file containing a match expression where a single match arm consists of many conditional expressions.

Sharing a snippet from the playground is not possible because of the error. So I created a gist instead.

I am using the following command prompt to perform the static analysis:

./vendor/bin/phpstan analyse --level 3 --memory-limit=2G phpstan_analysis_bug.php

Code snippet that reproduces the problem

https://gist.github.com/yarimadam/1e4cb2fd27cc9a63d2a18a057ba0f3b6

Expected output

The static analysis would finish quickly.

Did PHPStan help you today? Did it make you happy in any way?

Yes, every day!

[mergeable]

This bug report is missing a link to reproduction at phpstan.org/try.

It will most likely be closed after manual review.

[yarimadam]

I found which change set causes this: phpstan/phpstan-src@989dd6f

[ondrejmirtes]

Worked around the performance problem: phpstan/phpstan-src@9adae6c

[yarimadam]

Thank you very much for your hard work @ondrejmirtes.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.