--- texinfo-6.3-orig/info/nodes.c 2016-09-07 02:43:16.000000000 +0200 +++ texinfo-6.3/info/nodes.c 2016-10-02 16:11:10.568140803 +0200 @@ -1102,7 +1102,7 @@ return NULL; for (i = 0; (tag = file_buffer->tags[i]); i++) - if (strcmp (nodename, tag->nodename) == 0) + if ((tag->nodename != NULL) && (strcmp (nodename, tag->nodename) == 0)) { node = info_node_of_tag (file_buffer, &file_buffer->tags[i]); break;