Overly aggressive code elimination removes condition

[ZetaTwo]

Version and Platform (required):

• Binary Ninja Version: 3.4.4161-dev (307b0cbe)
• OS: Ubuntu Linux
• OS Version: 22.04
• CPU Architecture: x64

Bug Description:

Consider the four screenshots below from the same binary. The disassembly and LLIL is correct with six separate conditions on the argument (arg1 == "ABC123") but the MLIL, and therefore the HLIL only contain five conditions (arg1 == "ABC12").

Steps To Reproduce:
Please provide all steps required to reproduce the behavior:

1. Have function with the disassembly shown in the first screenshot
2. View the HLIL

Expected Behavior:
I expect all six conditions to appear in the HLIL

Screenshots:

Correct disassembly:

Correct LLIL:

Incorrect MLIL:

Incorrect HLIL:

Additional Information
The binary is attached: binja-bug-dce.zip

[plafosse]

Looks like this issues is fixed in latest dev