cond instanceof PhpParser\Node\Expr\ConstFetch && $stmt->cond->name->parts === ['true']) || ($stmt->cond instanceof PhpParser\Node\Scalar\LNumber && $stmt->cond->value > 0); $pre_context = null; if ($while_true) { $pre_context = clone $context; } $while_context = clone $context; $while_context->inside_loop = true; $while_context->inside_case = false; $codebase = $statements_analyzer->getCodebase(); if ($codebase->alter_code) { $while_context->branch_point = $while_context->branch_point ?: (int) $stmt->getAttribute('startFilePos'); } $loop_scope = new LoopScope($while_context, $context); $loop_scope->protected_var_ids = $context->protected_var_ids; if (LoopAnalyzer::analyze( $statements_analyzer, $stmt->stmts, [$stmt->cond], [], $loop_scope, $inner_loop_context ) === false) { return false; } if (!$inner_loop_context) { throw new \UnexpectedValueException('Should always enter loop'); } $always_enters_loop = false; if ($stmt_cond_type = $statements_analyzer->node_data->getType($stmt->cond)) { $always_enters_loop = true; foreach ($stmt_cond_type->getAtomicTypes() as $iterator_type) { if ($iterator_type instanceof Type\Atomic\TArray || $iterator_type instanceof Type\Atomic\ObjectLike ) { if ($iterator_type instanceof Type\Atomic\ObjectLike) { if (!$iterator_type->sealed) { $always_enters_loop = false; } } elseif (!$iterator_type instanceof Type\Atomic\TNonEmptyArray) { $always_enters_loop = false; } continue; } if ($iterator_type instanceof Type\Atomic\TTrue) { continue; } if ($iterator_type instanceof Type\Atomic\TLiteralString && $iterator_type->value ) { continue; } if ($iterator_type instanceof Type\Atomic\TLiteralInt && $iterator_type->value ) { continue; } $always_enters_loop = false; break; } } $can_leave_loop = !$while_true || in_array(ScopeAnalyzer::ACTION_BREAK, $loop_scope->final_actions, true); if ($always_enters_loop && $can_leave_loop) { foreach ($inner_loop_context->vars_in_scope as $var_id => $type) { // if there are break statements in the loop it's not certain // that the loop has finished executing, so the assertions at the end // the loop in the while conditional may not hold if (in_array(ScopeAnalyzer::ACTION_BREAK, $loop_scope->final_actions, true) || in_array(ScopeAnalyzer::ACTION_CONTINUE, $loop_scope->final_actions, true) ) { if (isset($loop_scope->possibly_defined_loop_parent_vars[$var_id])) { $context->vars_in_scope[$var_id] = Type::combineUnionTypes( $type, $loop_scope->possibly_defined_loop_parent_vars[$var_id] ); } } else { $context->vars_in_scope[$var_id] = $type; } } } $while_context->loop_scope = null; if ($can_leave_loop) { $context->vars_possibly_in_scope = array_merge( $context->vars_possibly_in_scope, $while_context->vars_possibly_in_scope ); } elseif ($pre_context) { $context->vars_possibly_in_scope = $pre_context->vars_possibly_in_scope; } $context->referenced_var_ids = array_merge( $context->referenced_var_ids, $while_context->referenced_var_ids ); if ($context->collect_references) { $suppressed_issues = $statements_analyzer->getSuppressedIssues(); if (!in_array('RedundantCondition', $suppressed_issues, true)) { $statements_analyzer->addSuppressedIssues(['RedundantCondition']); } if (!in_array('RedundantConditionGivenDocblockType', $suppressed_issues, true)) { $statements_analyzer->addSuppressedIssues(['RedundantConditionGivenDocblockType']); } if (!in_array('TypeDoesNotContainType', $suppressed_issues, true)) { $statements_analyzer->addSuppressedIssues(['TypeDoesNotContainType']); } $while_context->inside_conditional = true; ExpressionAnalyzer::analyze($statements_analyzer, $stmt->cond, $while_context); $while_context->inside_conditional = false; if (!in_array('RedundantCondition', $suppressed_issues, true)) { $statements_analyzer->removeSuppressedIssues(['RedundantCondition']); } if (!in_array('RedundantConditionGivenDocblockType', $suppressed_issues, true)) { $statements_analyzer->removeSuppressedIssues(['RedundantConditionGivenDocblockType']); } if (!in_array('TypeDoesNotContainType', $suppressed_issues, true)) { $statements_analyzer->removeSuppressedIssues(['TypeDoesNotContainType']); } $context->unreferenced_vars = $while_context->unreferenced_vars; } return null; } }