wrong quotient value for a originally modulo operation

[yangzao]

Description

Original code:

((long)((((int)(l_l)) % ((int)(13134243433)))))

Decompiled code:

v7 = v3;
v8 = v7;
v10 = ((v7 * -1983035073 >> 32) + v8 >> 27) - (v8 >> 31);
v3 = 13134243475 - (v8 - v10 * 249341545);

The modulo operation is decompiled into a process of calculating the quotient v10 and then find the remainder.
But the quotient value in the first loop should be 0 while v10 is not.

Steps to reproduce the bug

Files:
5.zip

(compiled program is included as orig_exec)

1. compile orig.c with GCC and -O0.
2. decompile the exec with angr.
3. in the decompiled code, the issue is at the last for loop near the end of func_1.

Environment

No response

Additional context

No response