Реализация двоичного дерева в вопросе C, найденном в K&R

Итак, я прочитал книгу K&R C и у меня есть вопрос ... в 6-й главе о структурах на страницах 140-141 есть код, который выглядит примерно так (я удалил некоторые из наиболее не относящихся к делу частей)

/*
the program loops through a tree looking for some word
if it finds the word itll incremenet the count by 1 
if it doesnt itll add a new node
*/

 struct node {
    char *word;
    int count;
    struct node *left;
    struct node *right;
}

 main() {
    struct node *root;
    char word[1000];

    root = NULL;
    while(getword(word, MAXWORD) != EOF) /* getword just grabs 1 word at a time from a file of words */
        if(isalpha(word[0])) /* isalpha checks to see if it is a valid word */
            root = addNode(root, word);

    treeprint(root); /* prints the tree */
    return 0;
}

struct node *addNode(struct node *p, char *w) {
    int cond;

    if(p == NULL) {
        p = malloc(sizeof(struct node)); /* allocates memory for the new node */
        p -> word = strdup(w);
        p -> count = 1;
        p -> left = p -> right = NULL;
    }

    else if ((cond = strcmp(w, p -> word)) == 0)
        p -> count++;

    else if(cond < 0)
        p -> left = addNode(p -> left, w);

    else
        p -> right = addNode(p -> right, w);

    return p;
}

И моя путаница заключается в функции main () по адресу root = addNode (root, word)

Если addNode возвращает указатель на только что добавленный узел (или на узел, в котором находится слово, если он уже находится в дереве), не потеряет ли это все данные над деревом? Разве root не должен оставаться корнем дерева?

Спасибо!