Make sure we do not loop when allocating an extent region with EX_CONFLICTOK

and the whole extent is used; the current code computations would wrap.
Found the hard way by jsg@, fix discuss with kettenis@, and you get a
regress test for free (which will spin if you compile it again an old
subr_extent.c)

2 files changed, 11 insertions, 2 deletions

diff --git a/regress/sys/kern/extent/extest.exp b/regress/sys/kern/extent/extest.exp
index 6312307f2e9..4e4f6a5a462 100644
--- a/regress/sys/kern/extent/extest.exp
+++ b/regress/sys/kern/extent/extest.exp
@@ -1,4 +1,4 @@
-# $OpenBSD: extest.exp,v 1.3 2009/09/18 19:19:15 kettenis Exp $
+# $OpenBSD: extest.exp,v 1.4 2009/10/13 20:53:40 miod Exp $
 # $NetBSD: extest.exp,v 1.9 2005/03/15 18:27:23 bouyer Exp $
 # real output must start in line 5
 
@@ -89,3 +89,6 @@ extent `test15' (0x0 - 0xffffffff), flags = 0x0
 output for test16
 extent `test16' (0x0 - 0xffffffff), flags = 0x0
      0x0 - 0x1fffffff
+output for test17
+extent `test17' (0x0 - 0xffffffffffffffff), flags = 0x0
+     0x0 - 0xffffffffffffffff
diff --git a/regress/sys/kern/extent/tests b/regress/sys/kern/extent/tests
index fe312a5ae4d..9f85853aade 100644
--- a/regress/sys/kern/extent/tests
+++ b/regress/sys/kern/extent/tests
@@ -1,4 +1,4 @@
-# $OpenBSD: tests,v 1.4 2009/09/18 19:19:15 kettenis Exp $
+# $OpenBSD: tests,v 1.5 2009/10/13 20:53:40 miod Exp $
 # $NetBSD: tests,v 1.9 2005/03/15 18:27:23 bouyer Exp $
 
 #fill up an extent, should coalesce into one allocation
@@ -130,3 +130,9 @@ alloc_region 0x0 0xa0000
 alloc_region 0xf0000 0x1ff10000
 alloc_region 0xa0000 0x60000 EX_CONFLICTOK
 print
+
+# Check allocation of a conflicting region in an otherwise filled
+# extent does not trigger an infinite loop
+extent test17 0x00000000 -1L EX_FILLED
+alloc_region 0 0x4000 EX_CONFLICTOK
+print