PHPStan already contains a regex AST parser, which could be used for a even more precise typing

Hi @mvorisek @staabm,

As a first easy step shouldn't we remove the FALSE return type from preg_* call if the regex is valid ?
https://phpstan.org/r/a4de9bb6-e99d-438b-bcb1-17335d0b3608

Do you have in mind FALSE return value with a valid regex or could we create a dynamicReturnTypeExtension which

• call @preg_match() on the constant values
• if none is false, remove FALSE from the return value

?

The returned value can still be false even if the regex is valid. This has definitely been discussed somewhere on the issue tracker. There might even have been a PR.

Removing false was discussed in the past in some issue somewhere. A valid regex is not the only case where false is returned

The returned value can still be false even if the regex is valid. This has definitely been discussed somewhere on the issue tracker. There might even have been a PR.

false is returned for example for every invalid UTF-8 input when u PCRE modifier is used

The returned value can still be false even if the regex is valid. This has definitely been discussed somewhere on the issue tracker. There might even have been a PR.

Sorry, I looked for multiple issues and tried to find the discussion but didn't find it before asking it.

Thanks for the quick answer !

@ondrejmirtes this issue can be closed

Thanks

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.