Cached return value does not check for changed property call parameters

[Khartir]

Bug report

As seen in the example, when a function is called with a class property as its parameter phpstan does not recognize when the property is changed between two calls and assumes the result stays the same.

If the function is called with a local variable instead, phpstan recognizes the change.

Code snippet that reproduces the problem

https://phpstan.org/r/204e22f1-fe33-4571-b2e5-571684fc6683

Expected output

No Errors

[phpstan-bot]

@Khartir After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-28: If condition is always true.
-32: Ternary operator condition is always true.
+No errors

[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.