From 0d3acc4802ad3f57d1cd9407d84842490d56c34b Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Mon, 25 Mar 2013 11:12:39 +0300 Subject: [PATCH] sval: introduce sval_is_negative_min() It's like sval_is_min() except that for unsigned values we don't treat zero as the min. I look at zero as being a useful limit where s32min is probably just a guess. I'll use it in later code. Signed-off-by: Dan Carpenter --- smatch.h | 1 + smatch_sval.c | 7 +++++++ 2 files changed, 8 insertions(+) diff --git a/smatch.h b/smatch.h index 38274ab5..55b869ad 100644 --- a/smatch.h +++ b/smatch.h @@ -613,6 +613,7 @@ int sval_is_min(sval_t sval); int sval_is_max(sval_t sval); int sval_is_a_min(sval_t sval); int sval_is_a_max(sval_t sval); +int sval_is_negative_min(sval_t sval); int sval_cmp(sval_t one, sval_t two); int sval_cmp_t(struct symbol *type, sval_t one, sval_t two); int sval_cmp_val(sval_t one, long long val); diff --git a/smatch_sval.c b/smatch_sval.c index abb2fbf9..7d495422 100644 --- a/smatch_sval.c +++ b/smatch_sval.c @@ -165,6 +165,13 @@ int sval_is_a_max(sval_t sval) return 0; } +int sval_is_negative_min(sval_t sval) +{ + if (!sval_is_negative(sval)) + return 0; + return sval_is_min(sval); +} + /* * Returns -1 if one is smaller, 0 if they are the same and 1 if two is larger. */ -- 2.11.4.GIT