Typecasted value becomes 0

[yangzao]

Description

Original code:

v0 = 0 * v0 + (unsigned short)((v0 | 321) * 0 * v0) + 363;

Decompiled code:

s_l = 321 + 42 + ((short)((((double)(s_l)) * ((double)(321))))) * ((short)((((int)(s_l)) | ((int)(321))))) + ((int)((((double)(s_l)) * ((double)(321)))));

Both (doube)(321) and (int)(321) are recovered as 0.

Steps to reproduce the bug

Files:
10.zip

(0. the exec is included as orig_exec)

1. compile orig,c with GCC and -O0.
2. decompile the exec with angr.
3. the issue is at the first for loop near the beginning of func_1.

Environment

No response

Additional context

No response