Handle do-while

tests/compiler/dart2js/cpa_inference_test.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import "package:expect/expect.dart";
 import '../../../sdk/lib/_internal/compiler/implementation/scanner/scannerlib.dart';
 import '../../../sdk/lib/_internal/compiler/implementation/source_file.dart';
 import '../../../sdk/lib/_internal/compiler/implementation/types/types.dart';
 
 import "parser_helper.dart";
@@ skipping 274 matching lines @@
       }
       """;
   AnalysisResult result = analyze(source);
   result.checkNodeHasType(
       'foo',
       [result.base('A'), result.base('B'), result.base('C')]);
   // Check that the condition is evaluated.
   result.checkNodeHasType('bar', [result.int]);
 }
 
+testDoWhile() {
+  final String source = r"""
+      class A { f() => new B(); }
+      class B { f() => new C(); }
+      class C { f() => new A(); }
+      main() {
+        var bar = null;
+        var foo = new A();
+        do {
+          foo = foo.f();
+        } while (bar = 42);
+        foo; bar;
+      }
+      """;
+  AnalysisResult result = analyze(source);
+  result.checkNodeHasType(
+      'foo',
+      [result.base('A'), result.base('B'), result.base('C')]);
+  // Check that the condition is evaluated.
+  result.checkNodeHasType('bar', [result.int]);
+}
+
 testFor1() {
   final String source = r"""
       class A { f() => new B(); }
       class B { f() => new C(); }
       class C { f() => new A(); }
       main() {
         var foo = new A();
         for(;;) {
           foo = foo.f();
         }
@@ skipping 1232 matching lines @@
 }
 
 void main() {
   testDynamicBackDoor();
   testVariableDeclaration();
   testLiterals();
   testRedefinition();
   testIfThenElse();
   testTernaryIf();
   testWhile();
+  testDoWhile();
   testFor1();
   testFor2();
   testFor3();
   testForIn();
   testToplevelVariable();
   testNonRecusiveFunction();
   testRecusiveFunction();
   testMutuallyRecusiveFunction();
   testSimpleSend();
   // testSendToClosureField();  // closures are not yet supported
@@ skipping 31 matching lines @@
   testJsCallAugmentsSeenClasses();
   testIsCheck();
   testSeenClasses();
   testIntDoubleNum();
   testConcreteTypeToTypeMask();
   testSelectors();
   testMixins();
   testClosures();
   testNestedFunctions();
 }