More functions that return 0|positive-int

phpstan · Oct 22, 2020 · 6784a1c · 6784a1c
1 parent 3f323f9
commit 6784a1c
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/resources/functionMap.php b/resources/functionMap.php
@@ -11776,10 +11776,10 @@
 'strftime' => ['string', 'format'=>'string', 'timestamp='=>'int'],
 'strip_tags' => ['string', 'str'=>'string', 'allowable_tags='=>'string'],
 'stripcslashes' => ['string', 'str'=>'string'],
-'stripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string|int', 'offset='=>'int'],
+'stripos' => ['0|positive-int|false', 'haystack'=>'string', 'needle'=>'string|int', 'offset='=>'int'],
 'stripslashes' => ['string', 'str'=>'string'],
 'stristr' => ['string|false', 'haystack'=>'string', 'needle'=>'mixed', 'before_needle='=>'bool'],
-'strlen' => ['int', 'string'=>'string'],
+'strlen' => ['0|positive-int', 'string'=>'string'],
 'strnatcasecmp' => ['int', 's1'=>'string', 's2'=>'string'],
 'strnatcmp' => ['int', 's1'=>'string', 's2'=>'string'],
 'strncasecmp' => ['int', 'str1'=>'string', 'str2'=>'string', 'len'=>'int'],
@@ -11789,8 +11789,8 @@
 'strptime' => ['array|false', 'datestr'=>'string', 'format'=>'string'],
 'strrchr' => ['string|false', 'haystack'=>'string', 'needle'=>'mixed'],
 'strrev' => ['string', 'str'=>'string'],
-'strripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string|int', 'offset='=>'int'],
-'strrpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string|int', 'offset='=>'int'],
+'strripos' => ['0|positive-int|false', 'haystack'=>'string', 'needle'=>'string|int', 'offset='=>'int'],
+'strrpos' => ['0|positive-int|false', 'haystack'=>'string', 'needle'=>'string|int', 'offset='=>'int'],
 'strspn' => ['int', 'str'=>'string', 'mask'=>'string', 'start='=>'int', 'len='=>'int'],
 'strstr' => ['string|false', 'haystack'=>'string', 'needle'=>'mixed', 'before_needle='=>'bool'],
 'strtok' => ['string|false', 'str'=>'string', 'token'=>'string'],