Re: [PATCH 3/3] rbtree_test: add more rbtree integrity checks

2013-03-22 Thread Davidlohr Bueso
On Thu, 2013-03-21 at 20:36 -0700, Michel Lespinasse wrote: > On Mon, Mar 18, 2013 at 4:21 PM, Davidlohr Bueso > wrote: > > When checking the rbtree, account for more properties: > > > >- Both children of a red node are black. > >- The tree has at least 2**bh(v)-1 internal nodes. > > >

Re: [PATCH 3/3] rbtree_test: add more rbtree integrity checks

2013-03-22 Thread Davidlohr Bueso
On Thu, 2013-03-21 at 20:36 -0700, Michel Lespinasse wrote: On Mon, Mar 18, 2013 at 4:21 PM, Davidlohr Bueso davidlohr.bu...@hp.com wrote: When checking the rbtree, account for more properties: - Both children of a red node are black. - The tree has at least 2**bh(v)-1 internal

Re: [PATCH 3/3] rbtree_test: add more rbtree integrity checks

2013-03-21 Thread Michel Lespinasse
On Mon, Mar 18, 2013 at 4:21 PM, Davidlohr Bueso wrote: > When checking the rbtree, account for more properties: > >- Both children of a red node are black. >- The tree has at least 2**bh(v)-1 internal nodes. > - WARN_ON_ONCE(is_red(rb) && > -

Re: [PATCH 3/3] rbtree_test: add more rbtree integrity checks

2013-03-21 Thread Michel Lespinasse
On Mon, Mar 18, 2013 at 4:21 PM, Davidlohr Bueso davidlohr.bu...@hp.com wrote: When checking the rbtree, account for more properties: - Both children of a red node are black. - The tree has at least 2**bh(v)-1 internal nodes. - WARN_ON_ONCE(is_red(rb) -

[PATCH 3/3] rbtree_test: add more rbtree integrity checks

2013-03-18 Thread Davidlohr Bueso
When checking the rbtree, account for more properties: - Both children of a red node are black. - The tree has at least 2**bh(v)-1 internal nodes. Signed-off-by: Davidlohr Bueso --- lib/rbtree_test.c | 24 +++- 1 file changed, 19 insertions(+), 5 deletions(-) diff

[PATCH 3/3] rbtree_test: add more rbtree integrity checks

2013-03-18 Thread Davidlohr Bueso
When checking the rbtree, account for more properties: - Both children of a red node are black. - The tree has at least 2**bh(v)-1 internal nodes. Signed-off-by: Davidlohr Bueso davidlohr.bu...@hp.com --- lib/rbtree_test.c | 24 +++- 1 file changed, 19 insertions(+), 5