Re: [PATCH net-next] bpf: fix state equivalence

2016-12-08 Thread David Miller
From: Alexei Starovoitov Date: Wed, 7 Dec 2016 10:57:59 -0800 > Commmits 57a09bf0a416 ("bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL > registers") > and 484611357c19 ("bpf: allow access into map value arrays") by themselves > are correct, but in combination they make state equivalence ignore '

Re: [PATCH net-next] bpf: fix state equivalence

2016-12-07 Thread Thomas Graf
On 12/07/16 at 10:57am, Alexei Starovoitov wrote: > Commmits 57a09bf0a416 ("bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL > registers") > and 484611357c19 ("bpf: allow access into map value arrays") by themselves > are correct, but in combination they make state equivalence ignore 'id' field > of