test: Expose double return bug

rocky · May 31, 2023 · 653fcd9 · 653fcd9
1 parent 41d26bd
commit 653fcd9
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/test/bytecode_3.8/00_double_return.pyc b/test/bytecode_3.8/00_double_return.pyc
diff --git a/test/simple_source/bug38/00_double_return.py b/test/simple_source/bug38/00_double_return.py
@@ -0,0 +1,8 @@
+def main():
+  if input() == 0:
+    print("0")
+    return
+  if input() == 1:
+    print("1")
+  else:
+    printf("other")