There was uncertainty about the correctness of the parameter for checking with the conditional else if construction.
1.
2.
The value of
rlen is checked beforehand in the loop and
ret is initialized based on the results of the check.
1.
2.
And when working out the conditional
else if construction,
ret is checked, which will later be overwritten without saving the value of the status code.
1.
2.
Perhaps the check was required for `rlen'?
Thank you for your time and consideration.
Found by Linux Verification Center with SVACE
There was uncertainty about the correctness of the parameter for checking with the conditional
else ifconstruction.1.
uwsgi/core/protocol.c
Line 44 in 8d116f7
2.
uwsgi/core/protocol.c
Line 70 in 8d116f7
The value of
rlenis checked beforehand in the loop andretis initialized based on the results of the check.1.
uwsgi/core/protocol.c
Line 31 in 8d116f7
2.
uwsgi/core/protocol.c
Line 57 in 8d116f7
And when working out the conditional
else ifconstruction,retis checked, which will later be overwritten without saving the value of the status code.1.
uwsgi/core/protocol.c
Line 45 in 8d116f7
2.
uwsgi/core/protocol.c
Line 71 in 8d116f7
Perhaps the check was required for `rlen'?
Thank you for your time and consideration.
Found by Linux Verification Center with SVACE