Mailing List Archive

# HG changeset patch
# User kaf24@firebug.cl.cam.ac.uk
# Node ID 03382076472cb8bd9cd8e524abe7a49c85d2e70c
# Parent 1987bb42110a44a32c28ea99a5398a96515dcce7
Add argument-checking assertions to rangeset interfaces.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff -r 1987bb42110a -r 03382076472c xen/common/rangeset.c
--- a/xen/common/rangeset.c Thu Feb 2 13:57:18 2006
+++ b/xen/common/rangeset.c Thu Feb 2 14:09:39 2006
@@ -95,6 +95,8 @@
struct range *x, *y;
int rc = 0;

+ ASSERT(s <= e);
+
spin_lock(&r->lock);

x = find_range(r, s);
@@ -161,6 +163,8 @@
struct range *x, *y, *t;
int rc = 0;

+ ASSERT(s <= e);
+
spin_lock(&r->lock);

x = find_range(r, s);
@@ -227,6 +231,8 @@
struct range *x;
int contains;

+ ASSERT(s <= e);
+
spin_lock(&r->lock);
x = find_range(r, s);
contains = (x && (x->e >= e));

_______________________________________________
Xen-changelog mailing list
Xen-changelog@lists.xensource.com
http://lists.xensource.com/xen-changelog