From ecc4fda6bd07c02f4ad5c7968a70ca3a31fd8b01 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Mon, 29 Oct 2012 17:08:31 +0300 Subject: [PATCH] sval: update smatch_capped.c Change "long long" to sval_t. Signed-off-by: Dan Carpenter --- smatch_capped.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/smatch_capped.c b/smatch_capped.c index 4ef92334..4a1ff6ac 100644 --- a/smatch_capped.c +++ b/smatch_capped.c @@ -44,7 +44,7 @@ static int is_capped_macro(struct expression *expr) int is_capped(struct expression *expr) { - long long val; + sval_t sval; expr = strip_expr(expr); if (!expr) @@ -68,7 +68,7 @@ int is_capped(struct expression *expr) return 0; return 1; } - if (get_implied_max(expr, &val)) + if (get_implied_max_sval(expr, &sval)) return 1; if (get_state_expr(my_id, expr) == &capped) return 1; -- 2.11.4.GIT