From aef0d6c42022c0bfd5d95ef9d9f6b1bb2680a6ef Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 25 Nov 2014 11:44:32 +0300 Subject: [PATCH] flow: 7777777777 was too long Oops. 7777777777 can't fit into int. Also that number is not very creative so maybe someone was already using it. Signed-off-by: Dan Carpenter --- smatch_flow.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/smatch_flow.c b/smatch_flow.c index 56ca2169..8722edc7 100644 --- a/smatch_flow.c +++ b/smatch_flow.c @@ -69,7 +69,7 @@ struct symbol *cur_func_sym = NULL; struct stree *global_states; long long valid_ptr_min = 4096; -long long valid_ptr_max = 7777777777; +long long valid_ptr_max = 2117777777; sval_t valid_ptr_min_sval = { .type = &ptr_ctype, {.value = 4096}, @@ -82,9 +82,9 @@ sval_t valid_ptr_max_sval = { static void set_valid_ptr_max(void) { if (type_bits(&ptr_ctype) == 32) - valid_ptr_max = 7777777777; + valid_ptr_max = 2117777777; else if (type_bits(&ptr_ctype) == 64) - valid_ptr_max = 7777777777777777777LL; + valid_ptr_max = 2117777777777777777LL; valid_ptr_max_sval.value = valid_ptr_max; } -- 2.11.4.GIT