PHPStan seems to think error_log is pure but it's not

[InvisibleSmiley]

Bug report

If a call to error_log failed because it was unable to write to a file, the identical call might succeed later if in between the situation concerning the target file changed. Hence, error_log should be considered impure.

Unfortunately PHPStan considers all functions that return a value to be pure by default. I strongly disagree but that's not what this particular issue is about.

In my example I even reset the stat cache. I think this sufficed in the past so this might be a regression.

For the time being my workaround is to put rememberPossiblyImpureFunctionValues: false in the config. I might actually keep that there irrespective of whether this issue will be fixed or not.

Code snippet that reproduces the problem

https://phpstan.org/r/26928297-bb3d-450a-98d3-b2eb62208606

Expected output

No warnings/errors

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

No response

[ondrejmirtes]

Fixed phpstan/phpstan-src#2884

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