// Copyright (c) 2018, 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.

// @dart = 2.9

// VMOptions=--no_background_compilation --optimization_counter_threshold=10

import "package:expect/expect.dart";

// This method forms an infinite, irreducible loop. As long as we
// don't enter any of the branches, the method terminates. The test
// is included to ensure an irreducible loop does not break anything
// in the compiler.
int bar(int x) {
  switch (x) {
    case_1:
    case 1:
      continue case_2;
    case_2:
    case 2:
      continue case_1;
  }
  return x;
}

main() {
  for (var i = -50; i <= 0; i++) {
    Expect.equals(i, bar(i));
  }
  for (var i = 3; i <= 50; i++) {
    Expect.equals(i, bar(i));
  }
}