tree 864f5f7e43fbcba5dcc2953ee84d9c1470373d59
parent f1174f77b50c94eecaa658fdc56fa69b421de4b8
author Edward Cree <ecree@solarflare.com> 1502115996 +0100
committer David S. Miller <davem@davemloft.net> 1502239894 -0700

bpf/verifier: track signed and unsigned min/max values

Allows us to, sometimes, combine information from a signed check of one
 bound and an unsigned check of the other.
We now track the full range of possible values, rather than restricting
 ourselves to [0, 1<<30) and considering anything beyond that as
 unknown.  While this is probably not necessary, it makes the code more
 straightforward and symmetrical between signed and unsigned bounds.

Signed-off-by: Edward Cree <ecree@solarflare.com>
Signed-off-by: David S. Miller <davem@davemloft.net>