// Copyright (c) 2019, 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. | |
void case_never_completes(bool b, int i) { | |
switch (i) { | |
case 1: | |
1; | |
if (b) { | |
return; | |
} else { | |
return; | |
} | |
/*stmt: unreachable*/ 2; | |
} | |
3; | |
} |