Refine *strlen() return type to exclude negative integers

Fixes #7062
vimeo · Dec 5, 2021 · 142ee57 · 142ee57
1 parent e9d9481
commit 142ee57
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 10 deletions.
diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php
@@ -4102,7 +4102,7 @@
 'grapheme_extract' => ['string|false', 'haystack'=>'string', 'size'=>'int', 'type='=>'int', 'offset='=>'int', '&w_next='=>'int'],
 'grapheme_stripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
 'grapheme_stristr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'beforeNeedle='=>'bool'],
-'grapheme_strlen' => ['int|false|null', 'string'=>'string'],
+'grapheme_strlen' => ['0|positive-int|false|null', 'string'=>'string'],
 'grapheme_strpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
 'grapheme_strripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
 'grapheme_strrpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
@@ -5281,7 +5281,7 @@
 'iconv_mime_decode_headers' => ['array|false', 'headers'=>'string', 'mode='=>'int', 'encoding='=>'string'],
 'iconv_mime_encode' => ['string|false', 'field_name'=>'string', 'field_value'=>'string', 'options='=>'array'],
 'iconv_set_encoding' => ['bool', 'type'=>'string', 'encoding'=>'string'],
-'iconv_strlen' => ['int|false', 'string'=>'string', 'encoding='=>'string'],
+'iconv_strlen' => ['0|positive-int|false', 'string'=>'string', 'encoding='=>'string'],
 'iconv_strpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int', 'encoding='=>'string'],
 'iconv_strrpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'encoding='=>'string'],
 'iconv_substr' => ['string|false', 'string'=>'string', 'offset'=>'int', 'length='=>'int', 'encoding='=>'string'],
@@ -7313,7 +7313,7 @@
 'mb_strimwidth' => ['string', 'string'=>'string', 'start'=>'int', 'width'=>'int', 'trim_marker='=>'string', 'encoding='=>'string|null'],
 'mb_stripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int', 'encoding='=>'string|null'],
 'mb_stristr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool', 'encoding='=>'string|null'],
-'mb_strlen' => ['int', 'string'=>'string', 'encoding='=>'string|null'],
+'mb_strlen' => ['0|positive-int', 'string'=>'string', 'encoding='=>'string|null'],
 'mb_strpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int', 'encoding='=>'string|null'],
 'mb_strrchr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool', 'encoding='=>'string|null'],
 'mb_strrichr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool', 'encoding='=>'string|null'],
@@ -13865,7 +13865,7 @@
 'stripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
 'stripslashes' => ['string', 'string'=>'string'],
 'stristr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool'],
-'strlen' => ['int', 'string'=>'string'],
+'strlen' => ['0|positive-int', 'string'=>'string'],
 'strnatcasecmp' => ['int', 'string1'=>'string', 'string2'=>'string'],
 'strnatcmp' => ['int', 'string1'=>'string', 'string2'=>'string'],
 'strncasecmp' => ['int', 'string1'=>'string', 'string2'=>'string', 'length'=>'int'],

diff --git a/dictionaries/CallMap_80_delta.php b/dictionaries/CallMap_80_delta.php
@@ -870,8 +870,8 @@
       'new' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool', 'encoding='=>'string|null'],
     ],
     'mb_strlen' => [
-      'old' => ['int', 'string'=>'string', 'encoding='=>'string'],
-      'new' => ['int', 'string'=>'string', 'encoding='=>'string|null'],
+      'old' => ['0|positive-int', 'string'=>'string', 'encoding='=>'string'],
+      'new' => ['0|positive-int', 'string'=>'string', 'encoding='=>'string|null'],
     ],
     'mb_strpos' => [
       'old' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int', 'encoding='=>'string'],

diff --git a/dictionaries/CallMap_historical.php b/dictionaries/CallMap_historical.php
@@ -11211,7 +11211,7 @@
     'grapheme_extract' => ['string|false', 'haystack'=>'string', 'size'=>'int', 'type='=>'int', 'offset='=>'int', '&w_next='=>'int'],
     'grapheme_stripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
     'grapheme_stristr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'beforeNeedle='=>'bool'],
-    'grapheme_strlen' => ['int|false|null', 'string'=>'string'],
+    'grapheme_strlen' => ['0|positive-int|false|null', 'string'=>'string'],
     'grapheme_strpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
     'grapheme_strripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
     'grapheme_strrpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int'],
@@ -11956,7 +11956,7 @@
     'iconv_mime_decode_headers' => ['array|false', 'headers'=>'string', 'mode='=>'int', 'encoding='=>'string'],
     'iconv_mime_encode' => ['string|false', 'field_name'=>'string', 'field_value'=>'string', 'options='=>'array'],
     'iconv_set_encoding' => ['bool', 'type'=>'string', 'encoding'=>'string'],
-    'iconv_strlen' => ['int|false', 'string'=>'string', 'encoding='=>'string'],
+    'iconv_strlen' => ['0|positive-int|false', 'string'=>'string', 'encoding='=>'string'],
     'iconv_strpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int', 'encoding='=>'string'],
     'iconv_strrpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'encoding='=>'string'],
     'iconv_substr' => ['string|false', 'string'=>'string', 'offset'=>'int', 'length='=>'int', 'encoding='=>'string'],
@@ -12922,7 +12922,7 @@
     'mb_strimwidth' => ['string', 'string'=>'string', 'start'=>'int', 'width'=>'int', 'trim_marker='=>'string', 'encoding='=>'string'],
     'mb_stripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int', 'encoding='=>'string'],
     'mb_stristr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool', 'encoding='=>'string'],
-    'mb_strlen' => ['int', 'string'=>'string', 'encoding='=>'string'],
+    'mb_strlen' => ['0|positive-int', 'string'=>'string', 'encoding='=>'string'],
     'mb_strpos' => ['int|false', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int', 'encoding='=>'string'],
     'mb_strrchr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool', 'encoding='=>'string'],
     'mb_strrichr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool', 'encoding='=>'string'],
@@ -15275,7 +15275,7 @@
     'stripos' => ['int|false', 'haystack'=>'string', 'needle'=>'string|int', 'offset='=>'int'],
     'stripslashes' => ['string', 'string'=>'string'],
     'stristr' => ['string|false', 'haystack'=>'string', 'needle'=>'string|int', 'before_needle='=>'bool'],
-    'strlen' => ['int', 'string'=>'string'],
+    'strlen' => ['0|positive-int', 'string'=>'string'],
     'strnatcasecmp' => ['int', 'string1'=>'string', 'string2'=>'string'],
     'strnatcmp' => ['int', 'string1'=>'string', 'string2'=>'string'],
     'strncasecmp' => ['int', 'string1'=>'string', 'string2'=>'string', 'length'=>'int'],