ini_get() analysis should be aware of whether an option exists or not

[dktapps]

Feature request

ini_get() returns false only when the directive specified does not exist.

substr() will never receive false in this code because the date.timezone ini directive always exists.
https://phpstan.org/r/6cdcdcb9-aa0c-4848-b727-4b2cf8e225e7

The above code should not report any errors.

[ondrejmirtes]

Yeah, a simple dynamic return type extension would solve this.

[phpstan-bot]

@dktapps PHPStan now reports different result with your code snippet:

@@ @@
-7: Parameter #1 $str of function substr expects string, string|false given.
+7: Parameter #1 $string of function substr expects string, string|false given.

Full report

Line	Error
7	`Parameter #1 $string of function substr expects string, string

[phpstan-bot]

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

@@ @@
- 7: Parameter #1 $str of function substr expects string, string|false given.
+-1: Internal error: PHPStan\Rules\Methods\WrongCaseOfInheritedMethodRule::findMethod(): Argument #2 ($classReflection) must be of type PHPStan\Reflection\ClassReflection, null given, called in /var/task/vendor/phpstan/phpstan-strict-rules/src/Rules/Methods/WrongCaseOfInheritedMethodRule.php on line 40
+Run PHPStan with --debug option and post the stack trace to:
+https://github.com/phpstan/phpstan/issues/new?template=Bug_report.md

Full report

Line

Error

-1

Internal error: PHPStan\Rules\Methods\WrongCaseOfInheritedMethodRule::findMethod(): Argument #2 ($classReflection) must be of type PHPStan\Reflection\ClassReflection, null given, called in /var/task/vendor/phpstan/phpstan-strict-rules/src/Rules/Methods/WrongCaseOfInheritedMethodRule.php on line 40Run PHPStan with --debug option and post the stack trace to:https://github.com/phpstan/phpstan/issues/new?template=Bug_report.md

[ondrejmirtes]

Implemented by phpstan/phpstan-src#2362

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