On Tue, 11 Dec 2018 21:28:50 -0800, Alexei Starovoitov wrote: > Several improvements to verifier state logic. > Patch 1 - trivial optimization > Patch 3 - significant optimization for stack state equivalence > Patch 4 - safety check for liveness and prep for future state merging
One possible optimization, but these seem correct to me. FWIW: Acked-by: Jakub Kicinski <jakub.kicin...@netronome.com>
