From 653fcd90046a94daf4e533e98b5f1108acbff2bc Mon Sep 17 00:00:00 2001
From: Et7f3 <cadeaudeelie@gmail.com>
Date: Wed, 31 May 2023 12:09:59 +0000
Subject: [PATCH] test: Expose double return bug

---
 test/bytecode_3.8/00_double_return.pyc       | Bin 0 -> 326 bytes
 test/simple_source/bug38/00_double_return.py |   8 ++++++++
 2 files changed, 8 insertions(+)
 create mode 100644 test/bytecode_3.8/00_double_return.pyc
 create mode 100644 test/simple_source/bug38/00_double_return.py

diff --git a/test/bytecode_3.8/00_double_return.pyc b/test/bytecode_3.8/00_double_return.pyc
new file mode 100644
index 0000000000000000000000000000000000000000..ceb71fc02f102f5ee9039b969b02d23d370fb1ea
GIT binary patch
literal 326
zcmY*VJ#WG=5WRB}6r!^77pioCph{JT3W3;JP!|?duz{$=i5wfm41cD7$tx2xTc@6l
zP~oI|&-eW9{PEdpB|yQ3JH918x#B(;6$8rpiGTygBTRv_38cY-l!tKM5oP^Gpy5F7
zZ>HKBIXfUy_vESuq`r_EI#tG+@#wanHpXW+(_(f;&pjKJdM#8M*eI8k(Kf17F7>qG
zY54;xCZmVn=Q=N{jhNM?Q47(Xo7L-kH_K+cG;@-b&_>BlwYOpMl}mSke-~haF@}T*
cQ|>>;DSG}NeO)!(mEw=0<YpuKuKz*_e=5#D<p2Nx

literal 0
HcmV?d00001

diff --git a/test/simple_source/bug38/00_double_return.py b/test/simple_source/bug38/00_double_return.py
new file mode 100644
index 000000000..b3cd7463b
--- /dev/null
+++ 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")
\ No newline at end of file