ITE instruction in Thumb2 may not be lifted correctly

[fuzyll]

In the discussion below, at a quick glance, it looks like ite cc may not be applied correctly? This could be another case like #4430, although it seems like it's manifesting differently.

Discussed in #4427

^{Originally posted by imethod June 20, 2023}
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

[lwerdna]

This issue is not the same as when we prematurely leave an IT block due to an exiting instruction (#4430).

I cannot reproduce this issue. Without an example binary, the best I can do is construct a similar case:

which lifts and creates the expected if/then logic:

If we can get an example binary and reproduce the problem, please reopen the issue.