Bug with variable declaration inside if-else inside while

distributed-lab · Sep 28, 2022 · 17ccb3f · 17ccb3f
1 parent bdc9d9d
commit 17ccb3f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/type_analysis/src/analyzers/unknown_known_analysis.rs b/type_analysis/src/analyzers/unknown_known_analysis.rs
@@ -213,8 +213,10 @@ fn analyze(stmt: &Statement, entry_information: EntryInformation) -> ExitInforma
 
             if tag_out == Unknown{
                 for var in &exit.modified_variables{
-                    let value = environment.get_mut_variable_or_break(var, file!(), line!());
-                    *value = Unknown;
+                    if environment.has_variable(var){
+                        let value = environment.get_mut_variable_or_break(var, file!(), line!());
+                        *value = Unknown;
+                    }
                 }   
             }