blob: a33097c875192095e2d3d4f77262a2adce712455 [file] [log] [blame]
// Copyright (c) 2011, 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.
/// @assertion Execution of a case clause case ek: sk of a switch statement
/// switch (e) {
/// label11 … label1j1 case e1: s1
/// …
/// labeln1 ..labelnjn case en: sn
/// }
/// proceeds as follows:
/// The expression ek == id is evaluated to an object o which is then subjected
/// to boolean conversion yielding a value v. If v is not true, the following
/// case, case ek+1: sk+1 is executed if it exists. If v is true, let h be the
/// smallest integer such that h >= k and sh is non-empty. The sequence of
/// statements sh is executed if it exists. If execution reaches the point after
/// sh then a runtime error occurs, unless h = n.
/// @description Checks that falling through produces a runtime error, unless
/// the current case clause is empty or the last case clause.
/// @author sgrekhov@unipro.ru
/// @issue 7537
test(value) {
var result;
switch (value) {
case 1: result = 1;
break;
case 2: result = 2;
// ^
// [analyzer] unspecified
// [cfe] unspecified
case 3: result = 3;
}
return result;
}
main() {
test(0);
}