Fix incorrect signed check

fkie-cad · Nov 8, 2023 · 7a02198 · 7a02198
1 parent 4b3a654
commit 7a02198
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/decompiler/pipeline/controlflowanalysis/expression_simplification/constant_folding.py b/decompiler/pipeline/controlflowanalysis/expression_simplification/constant_folding.py
@@ -133,8 +133,9 @@ def _constant_fold_shift(constants: list[Constant], fun: Callable[[int, int], in
         raise IncompatibleOperandCount("Expected exactly 2 constants to fold")
 
     left, right = constants
+    operand_signed = isinstance(left.type, Integer) and left.type.signed
 
-    return fun(normalize_int(left.value, left.type.size, left.type.signed and signed), right.value)
+    return fun(normalize_int(left.value, left.type.size, operand_signed and signed), right.value)
 
 
 _OPERATION_TO_FOLD_FUNCTION: dict[OperationType, Callable[[list[Constant]], int]] = {