2016-10-22 23:35:59 +02:00
|
|
|
<?php
|
|
|
|
namespace Psalm\Checker\Statements\Block;
|
|
|
|
|
|
|
|
use PhpParser;
|
2017-12-07 05:46:41 +01:00
|
|
|
use Psalm\Checker\ScopeChecker;
|
2016-10-22 23:35:59 +02:00
|
|
|
use Psalm\Checker\Statements\ExpressionChecker;
|
2016-11-02 07:29:00 +01:00
|
|
|
use Psalm\Checker\StatementsChecker;
|
2017-05-19 06:48:26 +02:00
|
|
|
use Psalm\Context;
|
2017-12-03 00:28:18 +01:00
|
|
|
use Psalm\Scope\LoopScope;
|
2016-10-22 23:35:59 +02:00
|
|
|
|
|
|
|
class ForChecker
|
|
|
|
{
|
|
|
|
/**
|
2016-11-02 07:29:00 +01:00
|
|
|
* @param StatementsChecker $statements_checker
|
|
|
|
* @param PhpParser\Node\Stmt\For_ $stmt
|
|
|
|
* @param Context $context
|
2017-05-27 02:16:18 +02:00
|
|
|
*
|
2016-11-02 07:29:00 +01:00
|
|
|
* @return false|null
|
2016-10-22 23:35:59 +02:00
|
|
|
*/
|
2017-01-07 21:09:47 +01:00
|
|
|
public static function analyze(
|
2016-11-02 07:29:00 +01:00
|
|
|
StatementsChecker $statements_checker,
|
|
|
|
PhpParser\Node\Stmt\For_ $stmt,
|
|
|
|
Context $context
|
|
|
|
) {
|
2017-12-17 16:58:03 +01:00
|
|
|
$pre_assigned_var_ids = $context->assigned_var_ids;
|
|
|
|
$context->assigned_var_ids = [];
|
|
|
|
|
2016-10-22 23:35:59 +02:00
|
|
|
foreach ($stmt->init as $init) {
|
2017-04-11 23:43:46 +02:00
|
|
|
if (ExpressionChecker::analyze($statements_checker, $init, $context) === false) {
|
2016-10-22 23:35:59 +02:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-12-17 16:58:03 +01:00
|
|
|
$assigned_var_ids = $context->assigned_var_ids;
|
|
|
|
|
|
|
|
$context->assigned_var_ids = array_merge(
|
|
|
|
$pre_assigned_var_ids,
|
|
|
|
$assigned_var_ids
|
|
|
|
);
|
|
|
|
|
2017-12-07 05:46:41 +01:00
|
|
|
$while_true = !$stmt->cond && !$stmt->init && !$stmt->loop;
|
|
|
|
|
|
|
|
$pre_context = $while_true ? clone $context : null;
|
|
|
|
|
2017-04-11 23:43:46 +02:00
|
|
|
$for_context = clone $context;
|
|
|
|
|
2018-01-21 22:24:20 +01:00
|
|
|
$project_checker = $statements_checker->getFileChecker()->project_checker;
|
|
|
|
|
|
|
|
if ($project_checker->alter_code) {
|
|
|
|
$for_context->branch_point = $for_context->branch_point ?: (int) $stmt->getAttribute('startFilePos');
|
|
|
|
}
|
|
|
|
|
2017-12-07 05:46:41 +01:00
|
|
|
$loop_scope = new LoopScope($for_context, $context);
|
|
|
|
|
2017-12-17 16:58:03 +01:00
|
|
|
$loop_scope->protected_var_ids = array_merge(
|
|
|
|
$assigned_var_ids,
|
|
|
|
$context->protected_var_ids
|
|
|
|
);
|
|
|
|
|
2017-12-03 00:28:18 +01:00
|
|
|
LoopChecker::analyze(
|
|
|
|
$statements_checker,
|
|
|
|
$stmt->stmts,
|
|
|
|
$stmt->cond,
|
|
|
|
$stmt->loop,
|
2017-12-07 05:46:41 +01:00
|
|
|
$loop_scope,
|
|
|
|
$inner_loop_context
|
2017-12-03 00:28:18 +01:00
|
|
|
);
|
2016-10-22 23:35:59 +02:00
|
|
|
|
2017-12-07 05:46:41 +01:00
|
|
|
if ($inner_loop_context && $while_true) {
|
|
|
|
// if we actually leave the loop
|
|
|
|
if (in_array(ScopeChecker::ACTION_BREAK, $loop_scope->final_actions, true)
|
|
|
|
|| in_array(ScopeChecker::ACTION_END, $loop_scope->final_actions, true)
|
|
|
|
) {
|
|
|
|
foreach ($inner_loop_context->vars_in_scope as $var_id => $type) {
|
|
|
|
if (!isset($context->vars_in_scope[$var_id])) {
|
|
|
|
$context->vars_in_scope[$var_id] = $type;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!$while_true
|
|
|
|
|| in_array(ScopeChecker::ACTION_BREAK, $loop_scope->final_actions, true)
|
|
|
|
|| in_array(ScopeChecker::ACTION_END, $loop_scope->final_actions, true)
|
|
|
|
|| !$pre_context
|
|
|
|
) {
|
|
|
|
$context->vars_possibly_in_scope = array_merge(
|
|
|
|
$context->vars_possibly_in_scope,
|
|
|
|
$for_context->vars_possibly_in_scope
|
|
|
|
);
|
|
|
|
} else {
|
|
|
|
$context->vars_in_scope = $pre_context->vars_in_scope;
|
|
|
|
$context->vars_possibly_in_scope = $pre_context->vars_possibly_in_scope;
|
|
|
|
}
|
2016-11-02 07:29:00 +01:00
|
|
|
|
2017-11-24 18:17:28 +01:00
|
|
|
$context->referenced_var_ids = array_merge(
|
|
|
|
$for_context->referenced_var_ids,
|
|
|
|
$context->referenced_var_ids
|
|
|
|
);
|
2017-02-01 05:24:33 +01:00
|
|
|
|
2018-01-25 07:04:26 +01:00
|
|
|
if ($context->collect_references) {
|
|
|
|
$context->unreferenced_vars = array_intersect_key(
|
|
|
|
$for_context->unreferenced_vars,
|
|
|
|
$context->unreferenced_vars
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2016-11-02 07:29:00 +01:00
|
|
|
return null;
|
2016-10-22 23:35:59 +02:00
|
|
|
}
|
|
|
|
}
|