From 1a5186ac63ba992132f994cbc78cd56796524ceb Mon Sep 17 00:00:00 2001 From: fnhartmann Date: Tue, 23 Jan 2024 15:52:26 +0100 Subject: [PATCH] Remove unnecessary type check --- decompiler/pipeline/preprocessing/missing_definitions.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/decompiler/pipeline/preprocessing/missing_definitions.py b/decompiler/pipeline/preprocessing/missing_definitions.py index 4a2dac493..64fa96cf9 100644 --- a/decompiler/pipeline/preprocessing/missing_definitions.py +++ b/decompiler/pipeline/preprocessing/missing_definitions.py @@ -150,7 +150,7 @@ def _get_undefined_variables(self) -> InsertionOrderedSet[Variable]: -> We assume that every aliased variable has to be defined for every memory version. """ - undefined_variables: InsertionOrderedSet[Variable] = self._use_map.used_variables - self._def_map.defined_variables + undefined_variables = self._use_map.used_variables - self._def_map.defined_variables all_variables = self._use_map.used_variables | self._def_map.defined_variables aliased_variables = {variable for variable in all_variables if variable.is_aliased}