Hello Genode,

I think I found a bug on nic_bridge. Just briefly, nic_bridge uses memcmp to maintain avl_tree for clients, but genode memcmp impl. is not fully c-standard compatible.

nic_brdige uses address node which is a avl_tree node that uses Genode::memcmp to determine which node is higher:
os/src/server/nic_bridge/address_node.h:

                        bool higher(Address_node *c)
                        {
                                using namespace Genode;

                                return (memcmp(&c->_addr.addr, &_addr.addr,
                                               sizeof(_addr.addr)) > 0);
                        }

Genode memcmp is not fully c-standard compatible: it only returns 0 or 1.
base/include/util/string.h:

        /**
         * Compare memory blocks
         *
         * \retval 0 memory blocks are equal
         * \retval 1 memory blocks differ
         *
         * NOTE: This function is not fully compatible to the C standard.
         */
        inline int memcmp(const void *p0, const void *p1, size_t size)
        {
                char *c0 = (char *)p0;
                char *c1 = (char *)p1;

                size_t i;
                for (i = 0; i < size; i++)
                        if (c0[i] != c1[i]) return 1;

                return 0;
        }

which makes Address_node avl_tree only grows in one direction (1 side).
Once the avl_tree is rebalanced, we never reach to the other side (0 side).

best regards,
Jaeyong