sval: add sval_is_negative()/positive()
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 19 Nov 2012 13:22:00 +0000 (19 16:22 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 19 Nov 2012 18:47:47 +0000 (19 21:47 +0300)
This seems like a commonly used check.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_sval.c

index f4a94d1..5d00266 100644 (file)
--- a/smatch.h
+++ b/smatch.h
@@ -523,6 +523,8 @@ int sval_signed(sval_t sval);
 int sval_bits(sval_t sval);
 int sval_positive_bits(sval_t sval);
 int sval_bits_used(sval_t sval);
+int sval_is_negative(sval_t sval);
+int sval_is_positive(sval_t sval);
 int sval_is_min(sval_t sval);
 int sval_is_max(sval_t sval);
 int sval_is_a_min(sval_t sval);
index 61a3e1e..d91d426 100644 (file)
@@ -109,6 +109,18 @@ int sval_bits_used(sval_t sval)
        return 0;
 }
 
+int sval_is_negative(sval_t sval)
+{
+       if (sval_cmp_val(sval, 0) < 0)
+               return 1;
+       return 0;
+}
+
+int sval_is_positive(sval_t sval)
+{
+       return !sval_is_negative(sval);
+}
+
 int sval_is_min(sval_t sval)
 {
        sval_t min = sval_type_min(sval.type);