validation: correct some output
commitd8653bbfd06775597859029a2f6e172676bc2c10
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 24 Feb 2015 10:17:54 +0000 (24 13:17 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 24 Feb 2015 10:17:54 +0000 (24 13:17 +0300)
tree7f8d5b2b8552a4f11318bb056669dbe002762d14
parentbc6f8ff0e46d4cd1e2078b52a2995e2d7405de34
validation: correct some output

There was a bug in how smatch handled bitwise OR.  The original validation
test expected wrong output but now the bug has been fixed.

If only I validated the validation tests firsts this could all have been
avoided.  :(

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
validation/sm_math2.c