carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-25 20:50:12 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Additional test cases for returning from match (#897)

Browse Source 
Requested during review of #882
This commit is contained in:
Geoff Romer
2021-10-18 15:41:33 -07:00
committed by GitHub
parent 5b67a08d97
commit 7670f08200
2 changed files with 40 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
executable_semantics/testdata/function/fail_match_no_return.carbon
Vendored
+20
View File
@@ -0,0 +1,20 @@
// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
// RUN: not executable_semantics %s 2>&1 | \
// RUN: FileCheck --match-full-lines --allow-unused-prefixes=false %s
// RUN: not executable_semantics --trace %s 2>&1 | \
// RUN: FileCheck --match-full-lines --allow-unused-prefixes %s
// AUTOUPDATE: executable_semantics %s
// CHECK: COMPILATION ERROR: {{.*}}/executable_semantics/testdata/function/fail_match_no_return.carbon:17: control-flow reaches end of function that provides a `->` return type without reaching a return statement
package ExecutableSemanticsTest api;
fn main() -> i32 {
var x: i32 = 0;
match(0) {
case 1 => { x = 1; }
case _: auto => { x = 2; }
}
}
executable_semantics/testdata/function/fail_match_partial_return.carbon
Vendored
+20
View File
@@ -0,0 +1,20 @@
// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
// RUN: not executable_semantics %s 2>&1 | \
// RUN: FileCheck --match-full-lines --allow-unused-prefixes=false %s
// RUN: not executable_semantics --trace %s 2>&1 | \
// RUN: FileCheck --match-full-lines --allow-unused-prefixes %s
// AUTOUPDATE: executable_semantics %s
// CHECK: COMPILATION ERROR: {{.*}}/executable_semantics/testdata/function/fail_match_partial_return.carbon:17: control-flow reaches end of function that provides a `->` return type without reaching a return statement
package ExecutableSemanticsTest api;
fn main() -> i32 {
var x: i32 = 0;
match (0) {
case 1 => { x = 1; }
case _: auto => { return 0; }
}
}