Complex processing of ite instruction under thumb instruction set

[imethod]

Excuse me I used a translation tool

mil

The three lines of thumb instruction should be an if else structure but mil complicates it

I tried merging variables , But the branches weren't removed

ida f5 effect

ninja c

The most important thing is that when I set the value of the variable, the second if is not recognized

Maybe there is a function that can be optimized manually but I don't understand how
thankes 0.0

[fuzyll]

Created issue #4498 out of this discussion.

[lwerdna]

@imethod Can you provide the binary used in your screenshot, or another that exhibits the same problem? Also which version of BinaryNinja are you using?

[imethod]

#4430 fix.zip
version : Always up-to-date 3.6 dev