Failed to bind call argument

[david-simoes-93]

When decompiling the attached binary, I get a function with

            // Failed to bind call argument.
            // Please report this issue at https://github.com/uxmal/reko

I don't have the source code for this, it's an old videogame I have installed, x86.

GameBinary.zip

Let me know if more info is needed

[uxmal]

The sample binary contains some SEH exception handlers that are confusing Reko's procedure detector, causing many inter-procedural control flow jumps to be incorrectly treated as calls. This causes follow-on problems, included the one reported. Specifically, if you start decompiling from the middle of a procedure, the mov ebp, esp instruction will be skipped and all frame accesses using the ebp register will be broken.

Reko's SEH handling is nonexistent currently. Two ways to fix this come to mind:

• Add a directive to force the SEH exception handlers to be ignored. This is quick to add and may prove useful in other scenarios not involving SEHs. For instance, one of the subjects tests, reko-90 suffers from inter procedural CTIs that wreck the output completely.
• Implement detection of SEH handlers and handle them correctly. That is a more long-term solution. I have some ideas, involving recognizing the SEH handler code emitted by VC++ and then proceeding to reconstruct exception handlers in C.

[uxmal]

0b77406 fixes some of the problems by marking RaiseException as "no-return". However, there are still inter-procedure jumps in the binary. This will take longer to fix, and will likely require the detection of SEH handlers as mentioned above.