Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Fix SimplXmlElement and GMP casts #5020

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
VincentLanglet merged 4 commits into from
Feb 28, 2026
Merged

Fix SimplXmlElement and GMP casts #5020

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
749aafe
Fix cast object inferences
VincentLanglet Feb 21, 2026
518cb27
Nsrt
VincentLanglet Feb 21, 2026
4ecb986
Remove BCMath\Number
VincentLanglet Feb 21, 2026
3547c8d
Add union
VincentLanglet Feb 28, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Fix cast object inferences
  • Loading branch information
@VincentLanglet
VincentLanglet committed Feb 21, 2026
commit 749aafee71771584566b6f84e1f38e0144183075
8 changes: 4 additions & 4 deletions resources/functionMap.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1650,7 +1650,7 @@
'DomXsltStylesheet::result_dump_mem' => ['string', 'xmldoc'=>'DOMDocument'],
'DOTNET::__construct' => ['void', 'assembly_name'=>'string', 'class_name'=>'string', 'codepage='=>'int'],
'dotnet_load' => ['int', 'assembly_name'=>'string', 'datatype_name='=>'string', 'codepage='=>'int'],
'doubleval' => ['float', 'var'=>'int|float|__stringNotStringable|bool|array|resource|null'],
'doubleval' => ['float', 'var'=>'int|float|__stringNotStringable|bool|array|resource|GMP|SimpleXMLElement|null'],
'Ds\Deque::__construct' => ['void', 'values='=>'mixed'],
'Ds\Deque::count' => ['0|positive-int'],
'Ds\Deque::jsonSerialize' => ['array'],
Expand Down Expand Up @@ -2448,7 +2448,7 @@
'finfo_file' => ['string|false', 'finfo'=>'resource', 'file_name'=>'string', 'options='=>'int', 'context='=>'resource'],
'finfo_open' => ['resource|false', 'options='=>'int', 'arg='=>'string'],
'finfo_set_flags' => ['bool', 'finfo'=>'resource', 'options'=>'int'],
'floatval' => ['float', 'var'=>'int|float|__stringNotStringable|bool|array|resource|null'],
'floatval' => ['float', 'var'=>'int|float|__stringNotStringable|bool|array|resource|GMP|SimpleXMLElement|null'],
'flock' => ['bool', 'fp'=>'resource', 'operation'=>'int-mask<LOCK_SH, LOCK_EX, LOCK_UN, LOCK_NB>', '&w_wouldblock='=>'0|1'],
'floor' => ['__benevolent<float|false>', 'number'=>'float'],
'flush' => ['void'],
Expand Down Expand Up @@ -5075,7 +5075,7 @@
'intltz_to_date_time_zone' => ['DateTimeZone|false', 'obj'=>''],
'intltz_use_daylight_time' => ['bool', 'obj'=>''],
'intlz_create_default' => ['IntlTimeZone'],
'intval' => ['int', 'var'=>'int|float|__stringNotStringable|bool|array|resource|null', 'base='=>'int'],
'intval' => ['int', 'var'=>'int|float|__stringNotStringable|bool|array|resource|GMP|SimpleXMLElement|null', 'base='=>'int'],
'InvalidArgumentException::__clone' => ['void'],
'InvalidArgumentException::__construct' => ['void', 'message='=>'string', 'code='=>'int', 'previous='=>'(?Throwable)|(?InvalidArgumentException)'],
'InvalidArgumentException::__toString' => ['string'],
Expand Down Expand Up @@ -10438,7 +10438,7 @@
'strtoupper' => ['uppercase-string', 'str'=>'string'],
'strtr' => ['string', 'str'=>'string', 'from'=>'string', 'to'=>'string'],
'strtr\'1' => ['string', 'str'=>'string', 'replace_pairs'=>'array'],
'strval' => ['string', 'var'=>'__stringAndStringable|int|float|bool|resource|null'],
'strval' => ['string', 'var'=>'__stringAndStringable|int|float|bool|resource|GMP|null'],
'substr' => ['__benevolent<string|false>', 'string'=>'string', 'start'=>'int', 'length='=>'int'],
'substr_compare' => ['int<-1, 1>|false', 'main_str'=>'string', 'str'=>'string', 'offset'=>'int', 'length='=>'int', 'case_sensitivity='=>'bool'],
'substr_count' => ['0|positive-int', 'haystack'=>'string', 'needle'=>'string', 'offset='=>'int', 'length='=>'int'],
Expand Down
16 changes: 13 additions & 3 deletions src/Type/ObjectType.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -772,7 +772,10 @@ public function toAbsoluteNumber(): Type

public function toInteger(): Type
{
if ($this->isInstanceOf('SimpleXMLElement')->yes()) {
if (
$this->isInstanceOf('SimpleXMLElement')->yes()
|| $this->isInstanceOf('GMP')->yes()
) {
return new IntegerType();
}

Expand All @@ -785,15 +788,21 @@ public function toInteger(): Type

public function toFloat(): Type
{
if ($this->isInstanceOf('SimpleXMLElement')->yes()) {
if (
$this->isInstanceOf('SimpleXMLElement')->yes()
Comment thread
staabm marked this conversation as resolved.
|| $this->isInstanceOf('GMP')->yes()
) {
return new FloatType();
}
return new ErrorType();
}

public function toString(): Type
{
if ($this->isInstanceOf('BcMath\Number')->yes()) {
if (
$this->isInstanceOf('BcMath\Number')->yes()
|| $this->isInstanceOf('GMP')->yes()
) {
return new IntersectionType([
new StringType(),
new AccessoryNumericStringType(),
Expand Down Expand Up @@ -910,6 +919,7 @@ public function toBoolean(): BooleanType
if (
$this->isInstanceOf('SimpleXMLElement')->yes()
|| $this->isInstanceOf('BcMath\Number')->yes()
|| $this->isInstanceOf('GMP')->yes()
) {
return new BooleanType();
}
Expand Down
14 changes: 14 additions & 0 deletions tests/PHPStan/Rules/Cast/InvalidCastRuleTest.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -72,6 +72,20 @@ public function testRuleWithNullsafeVariant(): void
]);
}

public function testBug14136(): void
{
$this->analyse([__DIR__ . '/data/bug-14136.php'], [
[
'Cannot cast BcMath\Number to int.',
15,
],
[
'Cannot cast BcMath\Number to float.',
22,
],
]);
}

public function testCastObjectToString(): void
{
$this->analyse([__DIR__ . '/data/cast-object-to-string.php'], [
Expand Down
36 changes: 36 additions & 0 deletions tests/PHPStan/Rules/Cast/data/bug-14136.php
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
<?php declare(strict_types = 1);

namespace Bug14136Cast;

$xml = <<<'EOT'
<?xml version="1.0"?><item>3</item>
EOT;

$xml = simplexml_load_string($xml);
var_dump(intval($xml));
var_dump(intval(gmp_init(42)));
var_dump(intval (new \BCMath\Number(99))); // Invalid
var_dump((int) ($xml));
var_dump((int)(gmp_init(42)));
var_dump((int) new \BCMath\Number(99)); // Invalid

var_dump(floatval ($xml));
var_dump(floatval(gmp_init(42)));
var_dump(floatval(new \BCMath\Number(99))); // Invalid
var_dump((float) ($xml));
var_dump((float)(gmp_init(42)));
var_dump((float) new \BCMath\Number(99)); // Invalid

var_dump(strval($xml));
var_dump(strval(gmp_init(42)));
var_dump(strval(new \BCMath\Number(99)));
var_dump((string) ($xml));
var_dump((string)(gmp_init(42)));
var_dump((string) new \BCMath\Number(99));

var_dump(boolval($xml));
var_dump(boolval(gmp_init(42)));
var_dump(boolval (new \BCMath\Number(99)));
var_dump((bool) ($xml));
var_dump((bool) (gmp_init(42)));
var_dump((bool) (new \BCMath\Number(42)));
14 changes: 14 additions & 0 deletions tests/PHPStan/Rules/Functions/CallToFunctionParametersRuleTest.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2678,6 +2678,20 @@ public function testBug9652(): void
$this->analyse([__DIR__ . '/data/bug-9652.php'], []);
}

public function testBug14136(): void
{
$this->analyse([__DIR__ . '/data/bug-14136.php'], [
[
'Parameter #1 $value of function intval expects array|bool|float|GMP|int|resource|SimpleXMLElement|string|null, BcMath\Number given.',
12,
],
[
'Parameter #1 $value of function floatval expects array|bool|float|GMP|int|resource|SimpleXMLElement|string|null, BcMath\Number given.',
19,
],
]);
}

#[RequiresPhp('>= 8.1')]
public function testBug8936(): void
{
Expand Down
36 changes: 36 additions & 0 deletions tests/PHPStan/Rules/Functions/data/bug-14136.php
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
<?php declare(strict_types = 1);

namespace Bug14136;

$xml = <<<'EOT'
<?xml version="1.0"?><item>3</item>
EOT;

$xml = simplexml_load_string($xml);
var_dump(intval($xml));
var_dump(intval(gmp_init(42)));
var_dump(intval (new \BCMath\Number(99))); // Invalid
var_dump((int) ($xml));
var_dump((int)(gmp_init(42)));
var_dump((int) new \BCMath\Number(99)); // Invalid

var_dump(floatval ($xml));
var_dump(floatval(gmp_init(42)));
var_dump(floatval(new \BCMath\Number(99))); // Invalid
var_dump((float) ($xml));
var_dump((float)(gmp_init(42)));
var_dump((float) new \BCMath\Number(99)); // Invalid

var_dump(strval($xml));
var_dump(strval(gmp_init(42)));
var_dump(strval(new \BCMath\Number(99)));
var_dump((string) ($xml));
var_dump((string)(gmp_init(42)));
var_dump((string) new \BCMath\Number(99));

var_dump(boolval($xml));
var_dump(boolval(gmp_init(42)));
var_dump(boolval (new \BCMath\Number(99)));
var_dump((bool) ($xml));
var_dump((bool) (gmp_init(42)));
var_dump((bool) (new \BCMath\Number(42)));