Fix flow analysis bug in Dart SDK

dart-lang · Feb 28, 2025 · fc7da03 · fc7da03
1 parent 41abb29
commit fc7da03
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/pkg/_fe_analyzer_shared/lib/src/flow_analysis/flow_analysis.dart b/pkg/_fe_analyzer_shared/lib/src/flow_analysis/flow_analysis.dart
@@ -4758,15 +4758,23 @@ class _FlowAnalysisImpl<Node extends Object, Statement extends Node,
     assert(_unmatched == null);
     assert(_scrutineeReference == null);
   }
-
-  @override
-  void for_bodyBegin(Statement? node, Expression? condition) {
+//aryanjha597
+  @override
+void for_bodyBegin(Statement? node, Expression? condition) {
+  if (condition != null && condition.staticType.isNonNullable && condition is BinaryExpression && condition.operator == "==") {
+    ExpressionInfo<Type> conditionInfo = new ExpressionInfo(
+      type: boolType,
+      ifTrue: _current.setUnreachable(),
+      ifFalse: _current);
+  } else {
     ExpressionInfo<Type> conditionInfo = condition == null
         ? new ExpressionInfo(
             type: boolType,
             ifTrue: _current,
             ifFalse: _current.setUnreachable())
         : _expressionEnd(condition, boolType);
+//aryanjha597
+
     _WhileContext<Type> context =
         new _WhileContext<Type>(_current.reachable.parent!, conditionInfo);
     _stack.add(context);