Un-assigned value for decompiled switch-case statement

[yangzao]

Description

Angr introduces an un-assigned variable for decompiled switch-case statements.

int tmp_10;
...
else if ((int)tmp_10 == 1)
   {
        v5 = 456;
    }
    else if ((int)tmp_10 != 2)
    {
        v4 = 9876543;
    }

Steps to reproduce the bug

Files:
1.zip

1. Compile orig.c with Clang or Intel ICX compiler and -O0.
2. Decompile the compiled program with angr.
3. In the decompiled code, go to func_1() and the issue is at the if-else statement (decompiled from the switch-case statement).

Environment

No response

Additional context

No response