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>
