mirror of
https://github.com/torvalds/linux.git
synced 2026-10-07 05:31:08 -04:00
while comparing for verifier state equivalency the comparison
was missing a check for uninitialized register.
Make sure it does so and add a testcase.
Fixes: f1bca824da ("bpf: add search pruning optimization to verifier")
Cc: Hannes Frederic Sowa <[email protected]>
Signed-off-by: Alexei Starovoitov <[email protected]>
Acked-by: Hannes Frederic Sowa <[email protected]>
Signed-off-by: David S. Miller <[email protected]>