3-address code bug

[t0hka1]

For this contract(https://sepolia.etherscan.io/address/0xafcb3200627b921da0e3c1aa6acbea24b45168d1#code), there is an error in the starting position of the 3-address code block

[sifislag]

Hi, what is the error?

[t0hka1]

It is easy to see from the above picture that the successor address of this basic block should be 0xed8, but here it is 0xed8B0xf7,I'm confused about it.

[sifislag]

In a few places in our pipeline we transform our input or IR:

• Cloning of blocks that often cause imprecision, before running the main decompilation pass:

  You can use the experimental --early_cloning flag to enable the cloning of blocks that are likely to introduce imprecision to the decompilation output. Can end up producing a more precise decompilation output, but on average makes decompilation take 2x as much time.

• We clone sequences of blocks reachable from different functions during our main decompilation pass.
• 6 rounds of inlining of small functions to help our analyses infer more high-level facts:

  The Gigahorse pipeline also includes a few rounds of inlining of small functions in order to help the subsequent client libraries get more high-level inferences. The inlining functionality can be disabled with --disable_inline.

Whenever a block is cloned we change its identifier. Would it help if we add information about the original block id?

[sifislag]

Closing due to inactivity.