Changeset 9d6317f for tests

Timestamp:

Jan 22, 2020, 3:40:27 PM (5 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

69e398f

Parents:

5518719

Message:

Added checks for returning from a finally clause. And breaking from a nested function.

Location:

tests

Files:

• .expect/except-finally-error.txt (modified) (1 diff)
• except-finally-error.cfa (modified) (1 diff)

tests/.expect/except-finally-error.txt

@@ -11 +11 @@
 except-finally-error.cfa:111:1 error: 'fallthrough' must be enclosed in a 'switch' or 'choose'
 except-finally-error.cfa:124:1 error: 'fallthrough' must be enclosed in a 'switch' or 'choose'
+except-finally-error.cfa:133:1 error: 'return' may not appear in a finally clause
+except-finally-error.cfa:139:1 error: 'return' may not appear in a finally clause
+except-finally-error.cfa:148:1 error: 'break' outside a loop, 'switch', or labelled block

tests/except-finally-error.cfa

@@ -142 +142 @@
 }
 
+// Checked in the same place, make sure it does't break.
+void break_in_function() {
+        while (true) {
+                void inner() {
+                        break;
+                }
+        }
+}
+
 void main() {
         // Should not compile.