From 5ffcff00fb52d396206f58c2225fede78bd96daf Mon Sep 17 00:00:00 2001
From: Thomas Norodom <thomas.norodom@student-cs.fr>
Date: Thu, 27 Mar 2025 19:26:00 +0100
Subject: [PATCH] fin de constant propag sans raffinement
---
.../constant_propagation.cpython-313.pyc | Bin 7814 -> 7841 bytes
tp2/Pystan/config/constant_propagation.py | 2 +-
2 files changed, 1 insertion(+), 1 deletion(-)
diff --git a/tp2/Pystan/config/__pycache__/constant_propagation.cpython-313.pyc b/tp2/Pystan/config/__pycache__/constant_propagation.cpython-313.pyc
index a61415a92a179c1a85bc691bebbbb3ca0b0af623..e469ac52eb0c08c2330ef255e7165b331686fa52 100644
GIT binary patch
delta 159
zcmZp(U1-bunU|M~0SI(vJWUtf$Qv%k#RlXt1M%mg$$4UO!fFf*c`TvKwu~AeWk8T9
zHF>_6lyNj8gv-DX%wP&-TX`@r=&}PfF#7^kb2BI~gfgozXfpeSxM?yL@lC!V7R~5A
u*+g7LE@6ezO7#s!8_h3jS?ws=S$;<ELS*b^uegi$aThh?H|L9svjYG{ha=Vi
delta 132
zcmZ2z+h)uAnU|M~0SJywf11v^kvCk7iv`GI2I9{Nlk>#ngk>2R@>oKdZ5cH{%77qI
zaPoXHDfwUqD-Q++U3Q=}v#&e@12=;LLnyNfgC?_Ih+C25<Tql`j4qQs#8t!tRw%7h
d-(a-S{GyiCj-s9ACscOUU)1#9+$Ao~4gf?#AUgm6
diff --git a/tp2/Pystan/config/constant_propagation.py b/tp2/Pystan/config/constant_propagation.py
index 32d28f8..fae5ecf 100644
--- a/tp2/Pystan/config/constant_propagation.py
+++ b/tp2/Pystan/config/constant_propagation.py
@@ -121,7 +121,7 @@ class Constant_propagation(Transfer[state]):
return False
else:
for var in s1:
- included = included and ((s1[var]==s2[var]) | (s1[var] == None))
+ included = included and ((s1[var]==s2[var]) | (s1[var] == abstract_value(None)))
return included
def tr_skip(self,s: state) -> state:
--
GitLab