2020-05-19 18:56:23 +02:00
|
|
|
<?php
|
2021-12-15 04:58:32 +01:00
|
|
|
|
2020-05-19 18:56:23 +02:00
|
|
|
namespace Psalm\Internal\Analyzer\Statements;
|
|
|
|
|
|
|
|
use PhpParser;
|
2021-06-08 04:55:21 +02:00
|
|
|
use Psalm\CodeLocation;
|
|
|
|
use Psalm\Context;
|
2023-02-15 06:20:03 +01:00
|
|
|
use Psalm\Internal\Analyzer\CommentAnalyzer;
|
2020-05-19 18:56:23 +02:00
|
|
|
use Psalm\Internal\Analyzer\FunctionLikeAnalyzer;
|
|
|
|
use Psalm\Internal\Analyzer\Statements\Expression\Fetch\VariableFetchAnalyzer;
|
2021-06-08 04:55:21 +02:00
|
|
|
use Psalm\Internal\Analyzer\StatementsAnalyzer;
|
2021-01-29 00:58:02 +01:00
|
|
|
use Psalm\Internal\DataFlow\DataFlowNode;
|
2021-12-03 20:11:20 +01:00
|
|
|
use Psalm\Internal\ReferenceConstraint;
|
2020-05-19 18:56:23 +02:00
|
|
|
use Psalm\Issue\InvalidGlobal;
|
|
|
|
use Psalm\IssueBuffer;
|
2021-06-08 04:55:21 +02:00
|
|
|
|
2020-05-19 18:56:23 +02:00
|
|
|
use function is_string;
|
|
|
|
|
2022-01-03 07:55:32 +01:00
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
2020-05-19 18:56:23 +02:00
|
|
|
class GlobalAnalyzer
|
|
|
|
{
|
|
|
|
public static function analyze(
|
|
|
|
StatementsAnalyzer $statements_analyzer,
|
|
|
|
PhpParser\Node\Stmt\Global_ $stmt,
|
|
|
|
Context $context,
|
|
|
|
?Context $global_context
|
2021-12-05 18:51:26 +01:00
|
|
|
): void {
|
2020-05-19 18:56:23 +02:00
|
|
|
if (!$context->collect_initializations && !$global_context) {
|
2021-11-29 20:54:17 +01:00
|
|
|
IssueBuffer::maybeAdd(
|
2020-05-19 18:56:23 +02:00
|
|
|
new InvalidGlobal(
|
2022-02-18 18:36:25 +01:00
|
|
|
'Cannot use global scope here (unless this file is included from a non-global scope)',
|
2022-12-18 17:15:15 +01:00
|
|
|
new CodeLocation($statements_analyzer, $stmt),
|
2020-05-19 18:56:23 +02:00
|
|
|
),
|
2022-12-18 17:15:15 +01:00
|
|
|
$statements_analyzer->getSource()->getSuppressedIssues(),
|
2021-11-29 20:54:17 +01:00
|
|
|
);
|
2020-05-19 18:56:23 +02:00
|
|
|
}
|
|
|
|
|
2022-07-30 01:29:05 +02:00
|
|
|
$codebase = $statements_analyzer->getCodebase();
|
2020-05-19 18:56:23 +02:00
|
|
|
$source = $statements_analyzer->getSource();
|
|
|
|
$function_storage = $source instanceof FunctionLikeAnalyzer
|
|
|
|
? $source->getFunctionLikeStorage($statements_analyzer)
|
|
|
|
: null;
|
|
|
|
|
|
|
|
foreach ($stmt->vars as $var) {
|
2023-02-15 06:20:03 +01:00
|
|
|
if (!$var instanceof PhpParser\Node\Expr\Variable) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!is_string($var->name)) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
$var_id = '$' . $var->name;
|
|
|
|
|
|
|
|
$doc_comment = $stmt->getDocComment();
|
|
|
|
$comment_type = null;
|
|
|
|
|
|
|
|
if ($doc_comment) {
|
|
|
|
$var_comments = CommentAnalyzer::getVarComments($doc_comment, $statements_analyzer, $var);
|
|
|
|
$comment_type = CommentAnalyzer::populateVarTypesFromDocblock(
|
|
|
|
$var_comments,
|
|
|
|
$var,
|
|
|
|
$context,
|
|
|
|
$statements_analyzer,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($comment_type) {
|
|
|
|
$context->vars_in_scope[$var_id] = $comment_type;
|
|
|
|
$context->vars_possibly_in_scope[$var_id] = true;
|
|
|
|
$context->byref_constraints[$var_id] = new ReferenceConstraint($comment_type);
|
|
|
|
} else {
|
|
|
|
if ($var->name === 'argv' || $var->name === 'argc') {
|
|
|
|
$context->vars_in_scope[$var_id] =
|
|
|
|
VariableFetchAnalyzer::getGlobalType($var_id, $codebase->analysis_php_version_id);
|
|
|
|
} elseif (isset($function_storage->global_types[$var_id])) {
|
|
|
|
$context->vars_in_scope[$var_id] = $function_storage->global_types[$var_id];
|
|
|
|
$context->vars_possibly_in_scope[$var_id] = true;
|
|
|
|
} else {
|
|
|
|
$context->vars_in_scope[$var_id] =
|
|
|
|
$global_context && $global_context->hasVariable($var_id)
|
|
|
|
? $global_context->vars_in_scope[$var_id]
|
|
|
|
: VariableFetchAnalyzer::getGlobalType($var_id, $codebase->analysis_php_version_id);
|
|
|
|
|
|
|
|
$context->vars_possibly_in_scope[$var_id] = true;
|
|
|
|
|
|
|
|
$context->byref_constraints[$var_id] = new ReferenceConstraint();
|
2020-05-19 18:56:23 +02:00
|
|
|
}
|
|
|
|
}
|
2023-02-15 06:20:03 +01:00
|
|
|
|
|
|
|
$assignment_node = DataFlowNode::getForAssignment(
|
|
|
|
$var_id,
|
|
|
|
new CodeLocation($statements_analyzer, $var),
|
|
|
|
);
|
|
|
|
$context->vars_in_scope[$var_id] = $context->vars_in_scope[$var_id]->setParentNodes([
|
|
|
|
$assignment_node->id => $assignment_node,
|
|
|
|
]);
|
|
|
|
$context->references_to_external_scope[$var_id] = true;
|
|
|
|
|
|
|
|
if (isset($context->references_in_scope[$var_id])) {
|
|
|
|
// Global shadows existing reference
|
|
|
|
$context->decrementReferenceCount($var_id);
|
|
|
|
unset($context->references_in_scope[$var_id]);
|
|
|
|
}
|
|
|
|
$statements_analyzer->registerVariable(
|
|
|
|
$var_id,
|
|
|
|
new CodeLocation($statements_analyzer, $var),
|
|
|
|
$context->branch_point,
|
|
|
|
);
|
|
|
|
$statements_analyzer->getCodebase()->analyzer->addNodeReference(
|
|
|
|
$statements_analyzer->getFilePath(),
|
|
|
|
$var,
|
|
|
|
$var_id,
|
|
|
|
);
|
|
|
|
|
|
|
|
if ($global_context !== null && $global_context->hasVariable($var_id)) {
|
|
|
|
$global_context->referenced_globals[$var_id] = true;
|
|
|
|
}
|
2020-05-19 18:56:23 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|