From ce49d20a5fe3726e1800bc495a25c7617212abf4 Mon Sep 17 00:00:00 2001
From: Emanuele Grasso <96300448+L0P0P@users.noreply.github.com>
Date: Sun, 14 Jul 2024 18:48:09 +0200
Subject: Reaching definition analysis (#17)

Co-authored-by: Santo Cariotti <santo@dcariotti.me>
Co-authored-by: geno <gabriele.genovese2@studio.unibo.it>
Co-authored-by: geno <gabrigeno@gmail.com>
---
 test/2e.py | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 test/2e.py

(limited to 'test/2e.py')

diff --git a/test/2e.py b/test/2e.py
new file mode 100644
index 0000000..f7b111a
--- /dev/null
+++ b/test/2e.py
@@ -0,0 +1,17 @@
+n = 2
+y = 7
+c = 0
+while y > 0:
+    g = 2 * n
+    c = y * n + g
+    y = y - 1
+y = 10
+g = 1
+for i in range(y):
+    g = i * y
+    c = c + i + g
+while c > 0:
+    g = 4 * y
+    n = n + c + g
+    c = c - 1
+print(g)
-- 
cgit v1.2.3-18-g5258