right_blackheight   47 maint/gnulib/lib/gl_rbtree_list.c   unsigned int right_blackheight =
right_blackheight   60 maint/gnulib/lib/gl_rbtree_list.c   if (!(left_blackheight == right_blackheight))
right_blackheight  785 maint/gnulib/lib/gl_rbtree_ordered.h   unsigned int right_blackheight =
right_blackheight  794 maint/gnulib/lib/gl_rbtree_ordered.h   if (!(left_blackheight == right_blackheight))
right_blackheight   69 maint/gnulib/lib/gl_rbtreehash_list.c   unsigned int right_blackheight =
right_blackheight   82 maint/gnulib/lib/gl_rbtreehash_list.c   if (!(left_blackheight == right_blackheight))