tree 491427d7aca44d874fbbba56c2b3103f5f4725d1
parent 455a35a6cdb6f53fe9294e23301eb056f2908bd9
author Rasmus Villemoes <linux@rasmusvillemoes.dk> 1528094487 +0200
committer Kees Cook <keescook@chromium.org> 1528226211 -0700

test_overflow: macrofy some more, do more tests for free

Obviously a+b==b+a and a*b==b*a, but the implementation of the fallback
checks are not entirely symmetric in how they treat a and b. So we might
as well check the (b,a,r,of) tuple as well as the (a,b,r,of) one for +
and *. Rather than more copy-paste, factor out the common part to
check_one_op.

Signed-off-by: Rasmus Villemoes <linux@rasmusvillemoes.dk>
Signed-off-by: Kees Cook <keescook@chromium.org>