On 06/28/2019 06:24 PM, Alexei Starovoitov wrote:
> When equivalent state is found the current state needs to propagate precision
> marks.
> Otherwise the verifier will prune the search incorrectly.
>
> There is a price for correctness:
> before beforebrokenfixe
On 6/28/19, 12:33 PM, "netdev-ow...@vger.kernel.org on behalf of Andrii
Nakryiko"
wrote:
On Fri, Jun 28, 2019 at 9:25 AM Alexei Starovoitov wrote:
>
> When equivalent state is found the current state needs to propagate
precision marks.
> Otherwise the verifier will prune the
On Fri, Jun 28, 2019 at 9:25 AM Alexei Starovoitov wrote:
>
> When equivalent state is found the current state needs to propagate precision
> marks.
> Otherwise the verifier will prune the search incorrectly.
>
> There is a price for correctness:
> before beforebrok
When equivalent state is found the current state needs to propagate precision
marks.
Otherwise the verifier will prune the search incorrectly.
There is a price for correctness:
before beforebrokenfixed
cnst spill precise precise
bpf_lb-D
