../kernel/bpf/verifier.c:19305:11: warning: variable 'err' is uninitialized when used here [-Wuninitialized] 19305 | err = err ? : push_jmp_history(env, cur, 0, 0); | ^~~ ../kernel/bpf/verifier.c:19140:12: note: initialize the variable 'err' to silence this warning 19140 | int n, err, states_cnt = 0; | ^ | = 0 1 warning generated. ../kernel/bpf/liveness.c:451:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 451 | _J(BPF_EXIT, {.can_jump = false, .can_fallthrough = false}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:451:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 451 | _J(BPF_EXIT, {.can_jump = false, .can_fallthrough = false}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:452:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 452 | _J(BPF_JA, {.can_jump = true, .can_fallthrough = false}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:452:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 452 | _J(BPF_JA, {.can_jump = true, .can_fallthrough = false}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:453:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 453 | _J(BPF_JEQ, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:453:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 453 | _J(BPF_JEQ, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:454:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 454 | _J(BPF_JNE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:454:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 454 | _J(BPF_JNE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:455:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 455 | _J(BPF_JLT, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:455:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 455 | _J(BPF_JLT, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:456:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 456 | _J(BPF_JLE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:456:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 456 | _J(BPF_JLE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:457:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 457 | _J(BPF_JGT, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:457:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 457 | _J(BPF_JGT, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:458:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 458 | _J(BPF_JGE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:458:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 458 | _J(BPF_JGE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:459:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 459 | _J(BPF_JSGT, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:459:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 459 | _J(BPF_JSGT, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:460:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 460 | _J(BPF_JSGE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:460:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 460 | _J(BPF_JSGE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:461:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 461 | _J(BPF_JSLT, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:461:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 461 | _J(BPF_JSLT, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:462:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 462 | _J(BPF_JSLE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:462:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 462 | _J(BPF_JSLE, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:463:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 463 | _J(BPF_JCOND, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:463:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 463 | _J(BPF_JCOND, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:464:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 464 | _J(BPF_JSET, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' 448 | [BPF_JMP | code] = __VA_ARGS__, \ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:464:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] 464 | _J(BPF_JSET, {.can_jump = true, .can_fallthrough = true}), | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' 449 | [BPF_JMP32 | code] = __VA_ARGS__ | ^~~~~~~~~~~ ../kernel/bpf/liveness.c:446:17: note: previous initialization is here 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 28 warnings generated. ../kernel/bpf/verifier.c:19296:11: warning: variable 'err' is uninitialized when used here [-Wuninitialized] 19296 | err = err ? : push_jmp_history(env, cur, 0, 0); | ^~~ ../kernel/bpf/verifier.c:19131:12: note: initialize the variable 'err' to silence this warning 19131 | int n, err, states_cnt = 0; | ^ | = 0 1 warning generated. New errors added --- /tmp/tmp.sucRM3N3Zw 2025-09-10 20:45:10.515029159 -0700 +++ /tmp/tmp.oAxD4CJeSL 2025-09-10 20:47:01.869044150 -0700 @@ -1,2 +1,255 @@ -../kernel/bpf/verifier.c:19305:11: warning: variable 'err' is uninitialized when used here [-Wuninitialized] - 19305 | err = err ? : push_jmp_history(env, cur, 0, 0); +../kernel/bpf/liveness.c:451:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 451 | _J(BPF_EXIT, {.can_jump = false, .can_fallthrough = false}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:451:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 451 | _J(BPF_EXIT, {.can_jump = false, .can_fallthrough = false}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:452:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 452 | _J(BPF_JA, {.can_jump = true, .can_fallthrough = false}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:452:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 452 | _J(BPF_JA, {.can_jump = true, .can_fallthrough = false}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:453:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 453 | _J(BPF_JEQ, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:453:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 453 | _J(BPF_JEQ, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:454:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 454 | _J(BPF_JNE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:454:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 454 | _J(BPF_JNE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:455:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 455 | _J(BPF_JLT, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:455:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 455 | _J(BPF_JLT, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:456:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 456 | _J(BPF_JLE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:456:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 456 | _J(BPF_JLE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:457:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 457 | _J(BPF_JGT, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:457:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 457 | _J(BPF_JGT, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:458:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 458 | _J(BPF_JGE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:458:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 458 | _J(BPF_JGE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:459:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 459 | _J(BPF_JSGT, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:459:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 459 | _J(BPF_JSGT, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:460:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 460 | _J(BPF_JSGE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:460:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 460 | _J(BPF_JSGE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:461:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 461 | _J(BPF_JSLT, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:461:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 461 | _J(BPF_JSLT, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:462:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 462 | _J(BPF_JSLE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:462:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 462 | _J(BPF_JSLE, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:463:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 463 | _J(BPF_JCOND, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:463:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 463 | _J(BPF_JCOND, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:464:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 464 | _J(BPF_JSET, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:448:24: note: expanded from macro '_J' + 448 | [BPF_JMP | code] = __VA_ARGS__, \ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:464:17: warning: initializer overrides prior initialization of this subobject [-Winitializer-overrides] + 464 | _J(BPF_JSET, {.can_jump = true, .can_fallthrough = true}), + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +../kernel/bpf/liveness.c:449:24: note: expanded from macro '_J' + 449 | [BPF_JMP32 | code] = __VA_ARGS__ + | ^~~~~~~~~~~ +../kernel/bpf/liveness.c:446:17: note: previous initialization is here + 446 | [0 ... 255] = {.can_jump = false, .can_fallthrough = true}, + | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +28 warnings generated. +../kernel/bpf/verifier.c:19296:11: warning: variable 'err' is uninitialized when used here [-Wuninitialized] + 19296 | err = err ? : push_jmp_history(env, cur, 0, 0); @@ -4,2 +257,2 @@ -../kernel/bpf/verifier.c:19140:12: note: initialize the variable 'err' to silence this warning - 19140 | int n, err, states_cnt = 0; +../kernel/bpf/verifier.c:19131:12: note: initialize the variable 'err' to silence this warning + 19131 | int n, err, states_cnt = 0; Per-file breakdown --- /tmp/tmp.eJTG8cdcPq 2025-09-10 20:48:25.578295501 -0700 +++ /tmp/tmp.oSFia3O1WP 2025-09-10 20:48:25.581295475 -0700 @@ -0,0 +1 @@ + 28 ../kernel/bpf/liveness.c