On Tue, Dec 05, 2017 at 11:44:14AM -0800, Alexei Starovoitov wrote:
> On Tue, Dec 05, 2017 at 07:15:18PM +0000, Edward Cree wrote:
> > Incorrect signed bounds were being computed, although this had no effect
> > since the propagation in __reg_deduce_bounds() happened to overwrite them.
> >
> > Fixes: b03c9f9fdc37 ("bpf/verifier: track signed and unsigned min/max
> > values")
> > Reported-by: Jann Horn <ja...@google.com>
> > Signed-off-by: Edward Cree <ec...@solarflare.com>
>
> Acked-by: Alexei Starovoitov <a...@kernel.org>
turned out this one is incomplete fix. The more complete set
from Jann and Ed will be coming.
