hrtime() result is always int on 64-bit

[dktapps]

Bug report

hrtime() has a platform-dependent return type: on 32-bit, hrtime(true) returns float, but on 64-bit it returns int.

Code snippet that reproduces the problem

https://phpstan.org/r/b72181f9-ad67-4b9c-b201-43b362fff064

Expected output

No error.

Additional notes

It might be a good idea to read composer.json to check for php-64bit requirement, or have some phpstan.neon flag that allows specifying the arch, because this is not the only thing that has arch-dependent behaviour (for example https://phpstan.org/r/f64df3f6-d49d-4f09-b70a-f18e85182b8f).

[ondrejmirtes]

This is too much of an edge-case, not gonna fix it.

[simPod]

In what way it is an edge-case? With every usage of hrtime() phpstan thinks that return type is float|int. I believe that nowadays it is int in 99 % cases.

[ondrejmirtes]

In the sense that I don't want PHPStan to care about 32-bit vs. 64-bit. But I actually fixed the false positive: phpstan/phpstan-src@2a39e5a

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