danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 20:34:47 +01:00
Code Issues Projects Releases Wiki Activity

Don't crash when checking purity of __callStatic in a trait

Browse Source
This commit is contained in:
orklah 2021-12-06 19:00:37 +01:00
parent 4a35a85939
commit 75312d93b1
2 changed files with 28 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/Psalm/Internal/Analyzer/Statements/Expression/Call/StaticMethod/AtomicStaticCallAnalyzer.php
View File

@ -477,7 +477,13 @@ class AtomicStaticCallAnalyzer
)) {
$callstatic_appearing_id = $codebase->methods->getAppearingMethodId($callstatic_id);
assert($callstatic_appearing_id !== null);
$callstatic_storage = $codebase->methods->getStorage($callstatic_appearing_id);
$callstatic_pure = false;
$callstatic_mutation_free = false;
if ($codebase->methods->hasStorage($callstatic_appearing_id)) {
$callstatic_storage = $codebase->methods->getStorage($callstatic_appearing_id);
$callstatic_pure = $callstatic_storage->pure;
$callstatic_mutation_free = $callstatic_storage->mutation_free;
}
if ($codebase->methods->return_type_provider->has($fq_class_name)) {
$return_type_candidate = $codebase->methods->return_type_provider->getReturnType(
$statements_analyzer,
@ -525,7 +531,7 @@ class AtomicStaticCallAnalyzer
}
if (!$context->inside_throw) {
if ($context->pure && !$callstatic_storage->pure) {
if ($context->pure && !$callstatic_pure) {
IssueBuffer::maybeAdd(
new ImpureMethodCall(
'Cannot call an impure method from a pure context',
@ -533,7 +539,7 @@ class AtomicStaticCallAnalyzer
),
$statements_analyzer->getSuppressedIssues()
);
} elseif ($context->mutation_free&& !$callstatic_storage->mutation_free) {
} elseif ($context->mutation_free && !$callstatic_mutation_free) {
IssueBuffer::maybeAdd(
new ImpureMethodCall(
'Cannot call a possibly-mutating method from a mutation-free context',
@ -544,9 +550,9 @@ class AtomicStaticCallAnalyzer
} elseif ($statements_analyzer->getSource()
instanceof FunctionLikeAnalyzer
&& $statements_analyzer->getSource()->track_mutations
&& !$callstatic_storage->pure
&& !$callstatic_pure
) {
if (!$callstatic_storage->mutation_free) {
if (!$callstatic_mutation_free) {
$statements_analyzer->getSource()->inferred_has_mutation = true;
}

17
tests/PureAnnotationTest.php
View File

@ -445,6 +445,23 @@ class PureAnnotationTest extends TestCase
return MyEnum::FOO();
}',
],
'dontCrashWhileCheckingPurityOnCallStaticInATrait' => [
'<?php
/**
* @method static static tt()
*/
trait Date {
public static function __callStatic(string $_method, array $_parameters){
}
}
class Date2{
use Date;
}
Date2::tt();
',
],
];
}