From b68048779ac43998e50bccd8d44ef56498a70421 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Wed, 2 Dec 2009 10:46:45 +0200 Subject: [PATCH] Fix get_implied_value() get_single_value_from_range() would return success if passed an empty range. That was a bug. Signed-off-by: Dan Carpenter --- smatch_ranges.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_ranges.c b/smatch_ranges.c index a2b3e41c..34b95a67 100644 --- a/smatch_ranges.c +++ b/smatch_ranges.c @@ -288,7 +288,7 @@ int get_single_value_from_range(struct data_info *dinfo, long long *val) return 0; } } END_FOR_EACH_PTR(tmp); - return 1; + return count; } int true_comparison_range(struct data_range *left, int comparison, struct data_range *right) -- 2.11.4.GIT