From: Josef Bacik <jba...@fb.com> Date: Thu, 2 Feb 2017 12:00:38 -0500
> These two tests are based on the work done for f23cc643f9ba. The first test > is > just a basic one to make sure we don't allow AND'ing negative values, even if > it > would result in a valid index for the array. The second is a cleaned up > version > of the original testcase provided by Jann Horn that resulted in the commit. > > Signed-off-by: Josef Bacik <jba...@fb.com> This doesn't apply cleanly to net-next, please respin.