diff options
| author | Dmitrii Chuprov <cheese@altlinux.org> | 2025-05-05 17:48:02 +0300 |
|---|---|---|
| committer | Dmitrii Chuprov <chuprovdp@basealt.ru> | 2025-05-14 13:45:54 +0000 |
| commit | 6a0b64b1f0bd0cc137f02ac6742fadd616bb0de3 (patch) | |
| tree | 5f662d9d9dc8c316e2c8c6577b5cf8f04007144c /common/Makefile | |
| parent | 4d5c60226c41197a1bac7344ecd2d6cba31a597e (diff) | |
UNUSED_VALUE The value of ip is not used. After the ip increment, the code will move to the literal block, where a new value for the ip variable will be assigned.
UNUSED_VALUE The value of ref is not used. After the ref increment, the code will move to the literal block, where there is no interaction with the ref variable.
Found by Linux Verification Center (linuxtesting.org) with SVACE
Signed-off-by: Dmitrii Chuprov <chuprovdp@basealt.ru>
Diffstat (limited to 'common/Makefile')
0 files changed, 0 insertions, 0 deletions