#3057. Expect error in reachability_for_A03_t05.dart test. (#3132)

Author: sgrekhov

TypeSystem/flow-analysis/reachability_for_A03_t05.dart

@@ -11,24 +11,30 @@
 /// - Let `after(N) = inheritTested(join(false(C), unsplit(break(S))), after(U))`
 ///
 /// @description Checks that `before(U) = merge(after(S), continue(S))`. Test
-/// that if `D`, `C` and `S` are empty then an assignment in `U` is a definite
-/// assignment.
+/// that if `D`, `C` and `S` are empty then an assignment in `U` is treated as a
+/// "possibly assigned".
 /// @author [email protected]
 /// @issue 60320
 
 test1() {
   int i;
   for (;; i = 42) {
   }
-  i; // Dead code but definitely assigned.
+  i; // Possibly assigned. See https://github.com/dart-lang/sdk/issues/60320#issuecomment-2776599140
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
 }
 
 test2() {
   int i;
   [
     for (;; i = 42) 0
   ];
-  i; // Dead code but definitely assigned.
+  i;
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
 }
 
 test3() {
@@ -37,7 +43,10 @@ test3() {
     for (;; i = 42)
       0: 0
   };
-  i; // Dead code but definitely assigned.
+  i;
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
 }
 
 main() {

TypeSystem/flow-analysis/reachability_for_A03_t06.dart

@@ -22,7 +22,7 @@ class C {
 
 test1() {
   late int i;
-  for (;; i = 42) { // Possibly assigned. https://github.com/dart-lang/sdk/issues/42232#issuecomment-690681385
+  for (;; i = 42) { // Possibly assigned. https://github.com/dart-lang/sdk/issues/60320#issuecomment-2776599140
     break;
   }
   try {