[ValueError@identity_elimination.py:278] ValueError: There are at least two definitions in the identity group var_58#0 = var_58#0 + (&(var_58#0)), var_58#0.

[bugfinder-bot]

What happened?

  File "/opt/dewolf/decompiler/util/bugfinder/bugfinder.py", line 201, 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 114, in run
    raise e
  File "/opt/dewolf/decompiler/pipeline/pipeline.py", line 107, in run
    instance.run(task)
  File "/opt/dewolf/decompiler/pipeline/dataflowanalysis/identity_elimination.py", line 313, in run
    variable_replacer.replace_variables(identity_group, identity_graph.find_replacement_variable_of_group(identity_group))
  File "/opt/dewolf/decompiler/pipeline/dataflowanalysis/identity_elimination.py", line 259, in replace_variables
    self._handle_definitions(replacees, replacement)
  File "/opt/dewolf/decompiler/pipeline/dataflowanalysis/identity_elimination.py", line 278, in _handle_definitions
    raise ValueError(message)

Error class ValueError@identity_elimination.py:278 contains 8 cases.

How to reproduce?

python decompile.py 4a89c3676dd86531c1fefb4e76d49cc31dc07a1a68c149dd08967e6fd7f6135a sub_438116 --debug

sample: 4a89c3676dd86531c1fefb4e76d49cc31dc07a1a68c149dd08967e6fd7f6135a
case: https://bugfinder.seclab-bonn.de/case/25759/
dewolf commit: b26c6ed
Binaryninja version: 3.5.4526

[NeoQuix]

/cib

[github-actions]

Branch issue-390-ValueError_identity_elimination_py_278_ValueError_There_are_at_least_two_definitions_in_the_identity_group_var_58#0=var_58#0+_&_var_58#0_var_58#0 created!