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 <[email protected]>
> Signed-off-by: Edward Cree <[email protected]>Acked-by: Alexei Starovoitov <[email protected]>
