silence null pointer dereference warning by adding INSIST(sibling != NULL);

diff --git a/lib/dns/rbt.c b/lib/dns/rbt.c
index 0c74e09b1173642d925acd78bbf49aafc23dfb22..3664d318ce09436fcb7996bbd376bce0b3756136 100644 (file)
--- a/lib/dns/rbt.c
+++ b/lib/dns/rbt.c
@@ -15,7 +15,7 @@
  * PERFORMANCE OF THIS SOFTWARE.
  */
 
-/* $Id: rbt.c,v 1.148 2011/03/12 04:59:48 tbox Exp $ */
+/* $Id: rbt.c,v 1.149 2011/08/25 05:56:50 marka Exp $ */
 
 /*! \file */
 
@@ -1929,6 +1929,8 @@ dns_rbt_deletefromlevel(dns_rbtnode_t *delete, dns_rbtnode_t **rootp) {
                                        sibling = RIGHT(parent);
                                }
 
+                               INSIST(sibling != NULL);
+
                                if (IS_BLACK(LEFT(sibling)) &&
                                    IS_BLACK(RIGHT(sibling))) {
                                        MAKE_RED(sibling);
@@ -1965,6 +1967,8 @@ dns_rbt_deletefromlevel(dns_rbtnode_t *delete, dns_rbtnode_t **rootp) {
                                        sibling = LEFT(parent);
                                }
 
+                               INSIST(sibling != NULL);
+
                                if (IS_BLACK(LEFT(sibling)) &&
                                    IS_BLACK(RIGHT(sibling))) {
                                        MAKE_RED(sibling);