left, [ 'stmts' => [ new VirtualExpression( $stmt->right, ), ], ], $stmt->getAttributes(), ); return IfElseAnalyzer::analyze($statements_analyzer, $fake_if_stmt, $context) !== false; } $pre_referenced_var_ids = $context->cond_referenced_var_ids; $pre_assigned_var_ids = $context->assigned_var_ids; $left_context = clone $context; $left_context->cond_referenced_var_ids = []; $left_context->assigned_var_ids = []; /** @var list $left_context->reconciled_expression_clauses */ $left_context->reconciled_expression_clauses = []; if (ExpressionAnalyzer::analyze($statements_analyzer, $stmt->left, $left_context) === false) { return false; } IfConditionalAnalyzer::handleParadoxicalCondition($statements_analyzer, $stmt->left); $codebase = $statements_analyzer->getCodebase(); $left_cond_id = spl_object_id($stmt->left); $left_clauses = FormulaGenerator::getFormula( $left_cond_id, $left_cond_id, $stmt->left, $context->self, $statements_analyzer, $codebase, ); foreach ($left_context->vars_in_scope as $var_id => $type) { if (isset($left_context->assigned_var_ids[$var_id])) { $context->vars_in_scope[$var_id] = $type; } } /** @var array */ $left_referenced_var_ids = $left_context->cond_referenced_var_ids; $context->cond_referenced_var_ids = array_merge($pre_referenced_var_ids, $left_referenced_var_ids); $left_assigned_var_ids = array_diff_key($left_context->assigned_var_ids, $pre_assigned_var_ids); $left_referenced_var_ids = array_diff_key($left_referenced_var_ids, $left_assigned_var_ids); $context_clauses = array_merge($left_context->clauses, $left_clauses); if ($left_context->reconciled_expression_clauses) { $reconciled_expression_clauses = $left_context->reconciled_expression_clauses; $context_clauses = array_values( array_filter( $context_clauses, static fn(Clause $c): bool => !in_array($c->hash, $reconciled_expression_clauses, true), ), ); if (count($context_clauses) === 1 && $context_clauses[0]->wedge && !$context_clauses[0]->possibilities ) { $context_clauses = []; } } $simplified_clauses = Algebra::simplifyCNF($context_clauses); $active_left_assertions = []; $left_type_assertions = Algebra::getTruthsFromFormula( $simplified_clauses, $left_cond_id, $left_referenced_var_ids, $active_left_assertions, ); $changed_var_ids = []; if ($left_type_assertions) { $right_context = clone $context; // while in an and, we allow scope to boil over to support // statements of the form if ($x && $x->foo()) [$right_context->vars_in_scope, $right_context->references_in_scope] = Reconciler::reconcileKeyedTypes( $left_type_assertions, $active_left_assertions, $right_context->vars_in_scope, $context->references_in_scope, $changed_var_ids, $left_referenced_var_ids, $statements_analyzer, $statements_analyzer->getTemplateTypeMap() ?: [], $context->inside_loop, new CodeLocation($statements_analyzer->getSource(), $stmt->left), $context->inside_negation, ); } else { $right_context = clone $left_context; } $partitioned_clauses = Context::removeReconciledClauses( [...$left_context->clauses, ...$left_clauses], $changed_var_ids, ); $right_context->clauses = $partitioned_clauses[0]; if (ExpressionAnalyzer::analyze($statements_analyzer, $stmt->right, $right_context) === false) { return false; } IfConditionalAnalyzer::handleParadoxicalCondition($statements_analyzer, $stmt->right); $context->cond_referenced_var_ids = array_merge( $right_context->cond_referenced_var_ids, $left_context->cond_referenced_var_ids, ); if ($context->inside_conditional) { $context->updateChecks($right_context); $context->vars_possibly_in_scope = array_merge( $right_context->vars_possibly_in_scope, $left_context->vars_possibly_in_scope, ); $context->assigned_var_ids = array_merge( $left_context->assigned_var_ids, $right_context->assigned_var_ids, ); } if ($context->if_body_context && !$context->inside_negation) { $if_body_context = $context->if_body_context; $context->vars_in_scope = $right_context->vars_in_scope; $if_body_context->vars_in_scope = array_merge( $if_body_context->vars_in_scope, $context->vars_in_scope, ); $if_body_context->cond_referenced_var_ids = array_merge( $if_body_context->cond_referenced_var_ids, $context->cond_referenced_var_ids, ); $if_body_context->assigned_var_ids = array_merge( $if_body_context->assigned_var_ids, $context->assigned_var_ids, ); $if_body_context->reconciled_expression_clauses = [ ...$if_body_context->reconciled_expression_clauses, ...array_map( /** @return string|int */ static fn(Clause $c) => $c->hash, $partitioned_clauses[1], ), ]; $if_body_context->vars_possibly_in_scope = array_merge( $if_body_context->vars_possibly_in_scope, $context->vars_possibly_in_scope, ); $if_body_context->updateChecks($context); } else { $context->vars_in_scope = $left_context->vars_in_scope; } return true; } }