Callsite analysis may fail to preserve return value info #5676
Description
Description
Minimal example:
global f0
global f1
section .text
f0:
mov eax, 0
ret
f1:
call f0
retWith CompleteCallingConventions parameter analyze_callsites=True:
$ angr ./callsite_retval.o dec
void f0()
{
return;
}
void f1()
{
f0();
return;
}
With CompleteCallingConventions parameter analyze_callsites=False, the return value is preserved:
$ angr ./callsite_retval.o dec
long long f0()
{
return 0;
}
long long f1()
{
return f0();
}
Steps to reproduce the bug
Environment
angr @ f9677c6
Additional context
No response