Flow analysis. In a do-while loop an assignment in while after break is dead code

[sgrekhov]

UPD. Seems that according to the #42232 (comment) the below is not an issue but an expected behavior. Please confirm.

The code below produces no compile-time errors in either CFE or the analyzer.

main() {
  late int i;
  do {
    break;
  } while ((i = 42) < 0);
  i; // Definitely unassigned but no compile-time error
}

cc @stereotype441

Dart SDK version: 3.8.0-197.0.dev (dev) (Sat Mar 15 17:07:22 2025 -0700) on "windows_x64"