[AttributeError@compiler_idiom_handling.py:92] AttributeError: 'Branch' object has no attribute 'destination'

[bugfinder-bot]

What happened?

  File "/opt/dewolf/decompiler/util/bugfinder/bugfinder.py", line 190, in iter_function_reports
    task_result = self.decompile(function, options)
  File "/opt/dewolf/decompile.py", line 51, in decompile
    pipeline.run(task)
  File "/opt/dewolf/decompiler/pipeline/pipeline.py", line 109, in run
    raise e
  File "/opt/dewolf/decompiler/pipeline/pipeline.py", line 102, in run
    instance.run(task)
  File "/opt/dewolf/decompiler/pipeline/preprocessing/compiler_idiom_handling.py", line 38, in run
    new_instruction = self._get_replacement_instruction(
  File "/opt/dewolf/decompiler/pipeline/preprocessing/compiler_idiom_handling.py", line 92, in _get_replacement_instruction
    return Assignment(instructions[last_index].destination, BinaryOperation(operation_type, [var, const]))

Error class AttributeError@compiler_idiom_handling.py:92 contains 5 cases.

How to reproduce?

python decompile.py 4e1d23ddfbb6bfd3f134e2760b812e0b2f7ec2be721bd9e68503e16d4d24d2ef sub_193d --debug

sample: 4e1d23ddfbb6bfd3f134e2760b812e0b2f7ec2be721bd9e68503e16d4d24d2ef
case: https://bugfinder.seclab-bonn.de/case/3005/
dewolf commit: 6ab8a25
Binaryninja version: 3.4.4271

[NeoQuix]

/cib

[github-actions]

Branch issue-308-_AttributeError_compiler_idiom_handling_py_92_AttributeError_Branch_object_has_no_attribute_destination created!