On Tue, Nov 29, 2016 at 12:35:19PM -0500, Josef Bacik wrote: > This is a test to verify that > > bpf: fix states equal logic for varlen access > > actually fixed the problem. The problem was if the register we added to our > map > register was UNKNOWN in both the false and true branches and the only thing > that > changed was the range then we'd incorrectly assume that the true branch was > valid, which it really wasnt. This tests this case and properly fails without > my fix in place and passes with it in place. > > Signed-off-by: Josef Bacik <[email protected]>
Awesome. thanks for the test! Acked-by: Alexei Starovoitov <[email protected]>
