From 836c87a862137eee6e47a04173081fb0fe73ca57 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 23 Dec 2014 17:27:03 +0300 Subject: [PATCH] validation: update to current pointer ranges 0,4096-2117777777777777777 These days valid pointers generally go from 4096-2117777777777777777. That way "ptr++" is another valid pointer instead of potentially wrapping to NULL. Update the validation/ directory to match. Signed-off-by: Dan Carpenter --- validation/sm_implied10.c | 4 ++-- validation/sm_implied11.c | 2 +- validation/sm_implied12.c | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/validation/sm_implied10.c b/validation/sm_implied10.c index a95aabdf..2fc41fe0 100644 --- a/validation/sm_implied10.c +++ b/validation/sm_implied10.c @@ -22,8 +22,8 @@ void func(int *y) * check-command: smatch -I.. -m64 sm_implied10.c * * check-output-start -sm_implied10.c:10 func() y = 0,4096-s64max -sm_implied10.c:12 func() y = 4096-s64max +sm_implied10.c:10 func() y = 0,4096-2117777777777777777 +sm_implied10.c:12 func() y = 4096-2117777777777777777 sm_implied10.c:15 func() offset = s32min-s32max sm_implied10.c:17 func() offset = s32min-9 * check-output-end diff --git a/validation/sm_implied11.c b/validation/sm_implied11.c index 1e5a07f6..5a8b02b5 100644 --- a/validation/sm_implied11.c +++ b/validation/sm_implied11.c @@ -29,6 +29,6 @@ static void ad_agg_selection_logic(void) * check-command: smatch -I.. -m64 sm_implied11.c * * check-output-start -sm_implied11.c:25 ad_agg_selection_logic() implied: foo = '0,4096-s64max' +sm_implied11.c:25 ad_agg_selection_logic() implied: foo = '0,4096-2117777777777777777' * check-output-end */ diff --git a/validation/sm_implied12.c b/validation/sm_implied12.c index e35ea596..ad9e4948 100644 --- a/validation/sm_implied12.c +++ b/validation/sm_implied12.c @@ -33,6 +33,6 @@ static void ad_agg_selection_logic(void) * check-command: smatch -I.. -m64 sm_implied12.c * * check-output-start -sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-s64max' +sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-2117777777777777777' * check-output-end */ -- 2.11.4.GIT