From d8653bbfd06775597859029a2f6e172676bc2c10 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 24 Feb 2015 13:17:54 +0300 Subject: [PATCH] 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 --- validation/sm_math2.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/validation/sm_math2.c b/validation/sm_math2.c index 640dc90a..61e60b72 100644 --- a/validation/sm_math2.c +++ b/validation/sm_math2.c @@ -20,6 +20,6 @@ void test(void) * check-output-start sm_math2.c:11 test() implied: a = '0-255' sm_math2.c:12 test() implied: b = '0,256-65280' -sm_math2.c:13 test() implied: c = '0-65280' +sm_math2.c:13 test() implied: c = '0-65535' * check-output-end */ -- 2.11.4.GIT