Implement nested switches and missing switch continue targets.

pkg/front_end/lib/src/fasta/kernel/kernel_target.dart

 // Copyright (c) 2016, 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.
 
 library fasta.kernel_target;
 
 import 'dart:async' show Future;
 
 import 'dart:io' show File, IOSink;
 
@@ skipping 70 matching lines @@
         KernelLibraryBuilder,
         KernelNamedTypeBuilder,
         KernelProcedureBuilder,
         LibraryBuilder,
         MixinApplicationBuilder,
         NamedMixinApplicationBuilder,
         NamedTypeBuilder,
         TypeBuilder,
         TypeVariableBuilder;
 
+import 'verifier.dart' show verifyProgram;
+
 class KernelTarget extends TargetImplementation {
   final DillTarget dillTarget;
 
   /// Shared with [CompilerContext].
   final Map<String, Source> uriToSource;
 
   SourceLoader<Library> loader;
   Program program;
 
   final List errors = [];
@@ skipping 106 matching lines @@
       String message = error.format();
       print(message);
       errors.add(message);
     }
     program = erroneousProgram(isFullProgram);
     return uri == null
         ? new Future<Program>.value(program)
         : writeLinkedProgram(uri, program, isFullProgram: isFullProgram);
   }
 
-  Future<Program> writeProgram(Uri uri) async {
+  Future<Program> writeProgram(Uri uri,
+      {bool dumpIr: false, bool verify: false}) async {
     if (loader.first == null) return null;
     if (errors.isNotEmpty) {
       return handleInputError(uri, null, isFullProgram: true);
     }
     try {
       loader.computeHierarchy(program);
       await loader.buildBodies();
       loader.finishStaticInvocations();
       finishAllConstructors();
       loader.finishNativeMethods();
       transformMixinApplications();
       // TODO(ahe): Don't call this from two different places.
       setup_builtin_library.transformProgram(program);
       otherTransformations();
+      if (dumpIr) this.dumpIr();
+      if (verify) this.verify();
       errors.addAll(loader.collectCompileTimeErrors().map((e) => e.format()));
       if (errors.isNotEmpty) {
         return handleInputError(uri, null, isFullProgram: true);
       }
       if (uri == null) return program;
       return await writeLinkedProgram(uri, program, isFullProgram: true);
     } on InputError catch (e) {
       return handleInputError(uri, e, isFullProgram: true);
     } catch (e, s) {
       return reportCrash(e, s, loader?.currentUriForCrashReporting);
@@ skipping 374 matching lines @@
     ticker.logMs("Transformed async methods");
   }
 
   void dumpIr() {
     StringBuffer sb = new StringBuffer();
     for (Library library in loader.libraries) {
       Printer printer = new Printer(sb);
       printer.writeLibraryFile(library);
     }
     print("$sb");
+    ticker.logMs("Dumped IR");
+  }
+
+  void verify() {
+    errors.addAll(verifyProgram(program));
+    ticker.logMs("Verified program");
   }
 }
 
 bool isSuperinitializerOrInvalid(Initializer initializer) {
   return initializer is SuperInitializer || initializer is InvalidInitializer;
 }
 
 bool isRedirectingGenerativeConstructor(Constructor constructor) {
   List<Initializer> initializers = constructor.initializers;
   return initializers.length == 1 &&
@@ skipping 10 matching lines @@
   }
   for (Constructor constructor in superclass.constructors) {
     if (constructor.name.name.isEmpty) {
       return constructor.function.requiredParameterCount == 0
           ? constructor
           : null;
     }
   }
   return null;
 }