danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-13 01:37:23 +01:00
Code Issues Projects Releases Wiki Activity

cover the case where the call to the function is namespaced but the function doesn't exists in the namespace

Browse Source
This commit is contained in:
orklah 2021-09-19 14:46:11 +02:00
parent e0b2cb5028
commit d3bc179abd
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Psalm/Internal/Analyzer/Statements/Expression/AssertionFinder.php
View File

@ -1683,14 +1683,18 @@ class AssertionFinder
bool $negate
): array {
$if_types = [];
if ($stmt->name instanceof PhpParser\Node\Name
&& ($function_name = strtolower($stmt->name->parts[0]))
&& $source instanceof StatementsAnalyzer
&& ($source->getNamespace() === null
|| $stmt->name instanceof PhpParser\Node\Name\FullyQualified
|| isset($source->getAliases()->functions[$function_name]))
&& isset(self::IS_TYPE_CHECKS[$function_name])
&& $source instanceof StatementsAnalyzer
&& ($source->getNamespace() === null //either the namespace is null
|| $stmt->name instanceof PhpParser\Node\Name\FullyQualified //or we have a FQ to base function
|| isset($source->getAliases()->functions[$function_name]) //or it is imported
|| ($codebase && !$codebase->functions->functionExists(
$source,
strtolower($source->getNamespace()."\\".$function_name)
)) //or this function name does not exist in current namespace
)
) {
if ($first_var_name) {
$if_types[$first_var_name] = [[self::IS_TYPE_CHECKS[$function_name][0]]];