danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-21 21:31:13 +01:00
Code Issues Projects Releases Wiki Activity

Only include vars asserted in where

Browse Source
This commit is contained in:
Matthew Brown 2017-03-18 16:34:29 -04:00
parent 9a3049b5bc
commit b1b7b0ae35
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Psalm/Checker/Statements/Block/WhileChecker.php
View File

@ -68,9 +68,9 @@ class WhileChecker
$while_context->vars_in_scope = $while_vars_in_scope_reconciled;
}
$while_cond_vars = array_keys($reconcilable_while_types);
$asserted_while_vars = array_keys(AlgebraChecker::getTruthsFromFormula($while_clauses));
if ($statements_checker->analyzeLoop($stmt->stmts, $while_cond_vars, $while_context, $context) === false) {
if ($statements_checker->analyzeLoop($stmt->stmts, $asserted_while_vars, $while_context, $context) === false) {
return false;
}