#3057. Add pattern assignment cases to do-while tests (#3124)

* #3122. Add pattern assignment cases to do-while tests

* Fix typo in reachability_do_while_A01_t02.dart

Author: sgrekhov

TypeSystem/flow-analysis/reachability_do_while_A01_t01.dart

@@ -12,7 +12,12 @@
 /// definitely unassigned in `S`.
 /// @author [email protected]
 
-main() {
+class C {
+  int v;
+  C(this.v);
+}
+
+test1() {
   late int i;
   do {
     if (1 > 2) {
@@ -21,3 +26,40 @@ main() {
     i = 42;
   } while (false);
 }
+
+test2() {
+  late int i;
+  do {
+    if (1 > 2) {
+      i; // Not definitely unassigned
+    };
+    (i,) = (42,);
+  } while (false);
+}
+
+test3() {
+  late int i;
+  do {
+    if (1 > 2) {
+      i; // Not definitely unassigned
+    };
+    (x: i) = (x: 42);
+  } while (false);
+}
+
+test4() {
+  late int i;
+  do {
+    if (1 > 2) {
+      i; // Not definitely unassigned
+    };
+    C(v: i) = C(42);
+  } while (false);
+}
+
+main() {
+  test1();
+  test2();
+  test3();
+  test4();
+}

TypeSystem/flow-analysis/reachability_do_while_A01_t02.dart

@@ -12,9 +12,42 @@
 /// definitely unassigned in `E`.
 /// @author [email protected]
 
-main() {
+class C {
+  int v;
+  C(this.v);
+}
+
+test1() {
   late int i;
   do {
     i = 42;
   } while (i < 0);
 }
+
+test2() {
+  late int i;
+  do {
+    (i,) = (42,);
+  } while (i < 0);
+}
+
+test3() {
+  late int i;
+  do {
+    (x: i) = (x: 42);
+  } while (i < 0);
+}
+
+test4() {
+  late int i;
+  do {
+    C(v: i) = C(42);
+  } while (i < 0);
+}
+
+main() {
+  test1();
+  test2();
+  test3();
+  test4();
+}

TypeSystem/flow-analysis/reachability_do_while_A01_t03.dart

@@ -12,6 +12,11 @@
 /// detected by flow analysis of `S`.
 /// @author [email protected]
 
+class C {
+  int v;
+  C(this.v);
+}
+
 test1(int? n) {
   if (n != null) { // promoted to `int`
     do {
@@ -38,7 +43,52 @@ test2(int? n) {
   }
 }
 
+test3(int? n) {
+  if (n != null) { // promoted to `int`
+    do {
+      () {
+        (n,) = (42,); // demoted to `int?`
+      };
+      n.isEven;
+//      ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+    } while (false);
+  }
+}
+
+test4(int? n) {
+  if (n != null) { // promoted to `int`
+    do {
+      () {
+        (x: n) = (x: 42); // demoted to `int?`
+      };
+      n.isEven;
+//      ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+    } while (false);
+  }
+}
+
+test5(int? n) {
+  if (n != null) { // promoted to `int`
+    do {
+      () {
+        C(v: n) = C(42); // demoted to `int?`
+      };
+      n.isEven;
+//      ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+    } while (false);
+  }
+}
+
 main() {
   print(test1);
   print(test2);
+  print(test3);
+  print(test4);
+  print(test5);
 }

TypeSystem/flow-analysis/reachability_do_while_A01_t04.dart

@@ -12,7 +12,12 @@
 /// detected by flow analysis of `E`.
 /// @author [email protected]
 
-test(int? n) {
+class C {
+  int v;
+  C(this.v);
+}
+
+test1(int? n) {
   if (n != null) { // promoted to `int`
     do {
       () {
@@ -25,6 +30,48 @@ test(int? n) {
   }
 }
 
+test2(int? n) {
+  if (n != null) { // promoted to `int`
+    do {
+      () {
+        (n,) = (42,); // demoted to `int?`
+      };
+    } while (n > 0);
+//             ^
+// [analyzer] unspecified
+// [cfe] unspecified
+  }
+}
+
+test3(int? n) {
+  if (n != null) { // promoted to `int`
+    do {
+      () {
+        (x: n) = (x: 42); // demoted to `int?`
+      };
+    } while (n > 0);
+//             ^
+// [analyzer] unspecified
+// [cfe] unspecified
+  }
+}
+
+test4(int? n) {
+  if (n != null) { // promoted to `int`
+    do {
+      () {
+        C(v: n) = C(42); // demoted to `int?`
+      };
+    } while (n > 0);
+//             ^
+// [analyzer] unspecified
+// [cfe] unspecified
+  }
+}
+
 main() {
-  print(test);
+  print(test1);
+  print(test2);
+  print(test3);
+  print(test4);
 }

TypeSystem/flow-analysis/reachability_do_while_A01_t05.dart

@@ -11,6 +11,11 @@
 /// @description Checks that `capturedIn(E)` is detected by flow analysis.
 /// @author [email protected]
 
+class C {
+  int v;
+  C(this.v);
+}
+
 test1(int? n) {
   if (n != null) { // n promoted to `int`
     do {
@@ -33,7 +38,43 @@ test2(int? n) {
   }
 }
 
+test3(int? n) {
+  if (n != null) { // n promoted to `int`
+    do {
+      n.isEven;
+//      ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+    } while (() {(n,) = (42,); return false;}()); // n demoted to `int?`
+  }
+}
+
+test4(int? n) {
+  if (n != null) { // n promoted to `int`
+    do {
+      n.isEven;
+//      ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+    } while (() {(x: n) = (x: 42); return false;}()); // n demoted to `int?`
+  }
+}
+
+test5(int? n) {
+  if (n != null) { // n promoted to `int`
+    do {
+      n.isEven;
+//      ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+    } while (() {C(v: n) = C(42); return false;}()); // n demoted to `int?`
+  }
+}
+
 main() {
   print(test1);
   print(test2);
+  print(test3);
+  print(test4);
+  print(test5);
 }