/usr/src/gnu/usr.bin/texinfo/info/nodes.c

Bug Summary

File:	src/gnu/usr.bin/texinfo/info/nodes.c
Warning:	line 807, column 37 Array access (via field 'tags') results in a null pointer dereference
Annotated Source Code

Press '?' to see keyboard shortcuts
Show analyzer invocation
clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name nodes.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 1 -pic-is-pie -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/gnu/usr.bin/texinfo/obj/info -resource-dir /usr/local/lib/clang/13.0.0 -D HAVE_CONFIG_H -D LOCALEDIR="/usr/share/locale" -D INFODIR="/usr/share/info" -D INFODIR2="/usr/share/info" -I . -I /usr/src/gnu/usr.bin/texinfo/info -I .. -I . -I /usr/src/gnu/usr.bin/texinfo/lib -I ../intl -I .. -I /usr/src/gnu/usr.bin/texinfo/info -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/gnu/usr.bin/texinfo/obj/info -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c /usr/src/gnu/usr.bin/texinfo/info/nodes.c
1/* nodes.c -- how to get an Info file and node.
 $Id: nodes.c,v 1.1.1.5 2006/07/17 16:03:43 espie Exp $

 Copyright (C) 1993, 1998, 1999, 2000, 2002, 2003, 2004 Free Software
 Foundation, Inc.

 This program is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 2, or (at your option)
 any later version.

 This program is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with this program; if not, write to the Free Software
 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

 Originally written by Brian Fox (bfox@ai.mit.edu). */

23#include "info.h"

25#include "nodes.h"
26#include "search.h"
27#include "filesys.h"
28#include "info-utils.h"

30#if defined (HANDLE_MAN_PAGES)
31#  include "man.h"
32#endif /* HANDLE_MAN_PAGES */

34static void forget_info_file (char *filename);
35static void remember_info_file (FILE_BUFFER *file_buffer);
36static void free_file_buffer_tags (FILE_BUFFER *file_buffer);
37static void free_info_tag (TAG *tag);
38static void get_nodes_of_tags_table (FILE_BUFFER *file_buffer,
  SEARCH_BINDING *buffer_binding);
40static void get_nodes_of_info_file (FILE_BUFFER *file_buffer);
41static void get_tags_of_indirect_tags_table (FILE_BUFFER *file_buffer,
  SEARCH_BINDING *indirect_binding, SEARCH_BINDING *tags_binding);
43static void info_reload_file_buffer_contents (FILE_BUFFER *fb);
44static char *adjust_nodestart (NODE *node, int min, int max);
45static FILE_BUFFER *info_load_file_internal (char *filename, int get_tags);
46static FILE_BUFFER *info_find_file_internal (char *filename, int get_tags);
47static NODE *info_node_of_file_buffer_tags (FILE_BUFFER *file_buffer,
  char *nodename);

50static long get_node_length (SEARCH_BINDING *binding);

52/* Magic number that RMS used to decide how much a tags table pointer could
 be off by.  I feel that it should be much smaller, like 4.  */
54#define DEFAULT_INFO_FUDGE1000 1000

56/* Passed to *_internal functions.  INFO_GET_TAGS says to do what is
 neccessary to fill in the nodes or tags arrays in FILE_BUFFER. */
58#define INFO_NO_TAGS0  0
59#define INFO_GET_TAGS1 1
60
61/* Global variables.  */

63/* When non-zero, this is a string describing the recent file error. */
64char *info_recent_file_error = NULL((void *)0);

66/* The list of already loaded nodes. */
67FILE_BUFFER **info_loaded_files = NULL((void *)0);

69/* The number of slots currently allocated to LOADED_FILES. */
70int info_loaded_files_slots = 0;
71
72/* Public functions for node manipulation.  */

74/* Used to build `dir' menu from `localdir' files found in INFOPATH. */
75extern void maybe_build_dir_node (char *dirname);

77/* Return a pointer to a NODE structure for the Info node (FILENAME)NODENAME.
 If FILENAME is NULL, `dir' is used.
 IF NODENAME is NULL, `Top' is used.
 If the node cannot be found, return NULL. */
81NODE *
82info_get_node (char *filename, char *nodename)
83{
NODE *node;
FILE_BUFFER *file_buffer = NULL((void *)0);

info_recent_file_error = NULL((void *)0);
info_parse_node (nodename, DONT_SKIP_NEWLINES0);
nodename = NULL((void *)0);

if (info_parsed_filename)
  filename = info_parsed_filename;

if (info_parsed_nodename)
  nodename = info_parsed_nodename;

/* If FILENAME is not specified, it defaults to "dir". */
if (!filename)
  filename = "dir";

/* If the file to be looked up is "dir", build the contents from all of
   the "dir"s and "localdir"s found in INFOPATH. */
if (is_dir_name (filename))
  maybe_build_dir_node (filename);

/* Find the correct info file, or give up.  */
file_buffer = info_find_file (filename);
if (!file_buffer)
  {
    if (filesys_error_number)
      info_recent_file_error =
        filesys_error_string (filename, filesys_error_number);
    return NULL((void *)0);
  }

/* Look for the node.  */
node = info_get_node_of_file_buffer (nodename, file_buffer);

/* If the node not found was "Top", try again with different case.  */
if (!node && (nodename == NULL((void *)0) || strcasecmp (nodename, "Top") == 0))
  {
    node = info_get_node_of_file_buffer ("Top", file_buffer);
    if (!node)
      node = info_get_node_of_file_buffer ("top", file_buffer);
    if (!node)
      node = info_get_node_of_file_buffer ("TOP", file_buffer);
  }

return node;
130}

132/* Return a pointer to a NODE structure for the Info node NODENAME in
 FILE_BUFFER.  NODENAME can be passed as NULL, in which case the
 nodename of "Top" is used.  If the node cannot be found, return a
 NULL pointer. */
136NODE *
137info_get_node_of_file_buffer (char *nodename, FILE_BUFFER *file_buffer)
138{
NODE *node = NULL((void *)0);

/* If we are unable to find the file, we have to give up.  There isn't
   anything else we can do. */
if (!file_buffer)
  return NULL((void *)0);

/* If the file buffer was gc'ed, reload the contents now. */
if (!file_buffer->contents)
  info_reload_file_buffer_contents (file_buffer);

/* If NODENAME is not specified, it defaults to "Top". */
if (!nodename)
  nodename = "Top";

/* If the name of the node that we wish to find is exactly "*", then the
   node body is the contents of the entire file.  Create and return such
   a node. */
if (strcmp (nodename, "*") == 0)
  {
    node = (NODE *)xmalloc (sizeof (NODE));
    node->filename = file_buffer->fullpath;
    node->parent   = NULL((void *)0);
    node->nodename = xstrdup ("*");
    node->contents = file_buffer->contents;
    node->nodelen = file_buffer->filesize;
    node->flags = 0;
    node->display_pos = 0;
  }
168#if defined (HANDLE_MAN_PAGES)
/* If the file buffer is the magic one associated with manpages, call
   the manpage node finding function instead. */
else if (file_buffer->flags & N_IsManPage0x40)
  {
      node = get_manpage_node (file_buffer, nodename);
  }
175#endif /* HANDLE_MAN_PAGES */
/* If this is the "main" info file, it might contain a tags table.  Search
   the tags table for an entry which matches the node that we want.  If
   there is a tags table, get the file which contains this node, but don't
   bother building a node list for it. */
else if (file_buffer->tags)
  {
    node = info_node_of_file_buffer_tags (file_buffer, nodename);
  }

/* Return the results of our node search. */
return node;
187}

189/* Locate the file named by FILENAME, and return the information structure
 describing this file.  The file may appear in our list of loaded files
 already, or it may not.  If it does not already appear, find the file,
 and add it to the list of loaded files.  If the file cannot be found,
 return a NULL FILE_BUFFER *. */
194FILE_BUFFER *
195info_find_file (char *filename)
196{
return info_find_file_internal (filename, INFO_GET_TAGS1);
198}

200/* Load the info file FILENAME, remembering information about it in a
 file buffer. */
202FILE_BUFFER *
203info_load_file (char *filename)
204{
return info_load_file_internal (filename, INFO_GET_TAGS1);
1
Calling 'info_load_file_internal'→
206}

208
209/* Private functions implementation.  */

211/* The workhorse for info_find_file ().  Non-zero 2nd argument says to
 try to build a tags table (or otherwise glean the nodes) for this
 file once found.  By default, we build the tags table, but when this
 function is called by info_get_node () when we already have a valid
 tags table describing the nodes, it is unnecessary. */
216static FILE_BUFFER *
217info_find_file_internal (char *filename, int get_tags)
218{
int i;
FILE_BUFFER *file_buffer;

/* First try to find the file in our list of already loaded files. */
if (info_loaded_files)
  {
    for (i = 0; (file_buffer = info_loaded_files[i]); i++)
      if ((FILENAME_CMPstrcmp (filename, file_buffer->filename) == 0)
          || (FILENAME_CMPstrcmp (filename, file_buffer->fullpath) == 0)
          || (!IS_ABSOLUTE (filename)((filename)[0] == '/')
              && FILENAME_CMPstrcmp (filename,
                              filename_non_directory (file_buffer->fullpath))
                  == 0))
        {
          struct stat new_info, *old_info;

          /* This file is loaded.  If the filename that we want is
             specifically "dir", then simply return the file buffer. */
          if (is_dir_name (filename_non_directory (filename)))
            return file_buffer;

240#if defined (HANDLE_MAN_PAGES)
          /* Do the same for the magic MANPAGE file. */
          if (file_buffer->flags & N_IsManPage0x40)
            return file_buffer;
244#endif /* HANDLE_MAN_PAGES */

          /* The file appears to be already loaded, and is not "dir".  Check
             to see if it's changed since the last time it was loaded.  */
          if (stat (file_buffer->fullpath, &new_info) == -1)
            {
              filesys_error_number = errno(*__errno());
              return NULL((void *)0);
            }

          old_info = &file_buffer->finfo;

          if (new_info.st_size != old_info->st_size
              || new_info.st_mtimest_mtim.tv_sec != old_info->st_mtimest_mtim.tv_sec)
            {
              /* The file has changed.  Forget that we ever had loaded it
                 in the first place. */
              forget_info_file (filename);
              break;
            }
          else
            {
              /* The info file exists, and has not changed since the last
                 time it was loaded.  If the caller requested a nodes list
                 for this file, and there isn't one here, build the nodes
                 for this file_buffer.  In any case, return the file_buffer
                 object. */
              if (!file_buffer->contents)
                {
                  /* The file's contents have been gc'ed.  Reload it.  */
                  info_reload_file_buffer_contents (file_buffer);
                  if (!file_buffer->contents)
                    return NULL((void *)0);
                }

              if (get_tags && !file_buffer->tags)
                build_tags_and_nodes (file_buffer);

              return file_buffer;
            }
        }
  }

/* The file wasn't loaded.  Try to load it now. */
288#if defined (HANDLE_MAN_PAGES)
/* If the name of the file that we want is our special file buffer for
   Unix manual pages, then create the file buffer, and return it now. */
if (strcasecmp (filename, MANPAGE_FILE_BUFFER_NAME"*manpages*") == 0)
  file_buffer = create_manpage_file_buffer ();
else
294#endif /* HANDLE_MAN_PAGES */
  file_buffer = info_load_file_internal (filename, get_tags);

/* If the file was loaded, remember the name under which it was found. */
if (file_buffer)
  remember_info_file (file_buffer);

return file_buffer;
302}

304/* The workhorse function for info_load_file ().  Non-zero second argument
 says to build a list of tags (or nodes) for this file.  This is the
 default behaviour when info_load_file () is called, but it is not
 necessary when loading a subfile for which we already have tags. */
308static FILE_BUFFER *
309info_load_file_internal (char *filename, int get_tags)
310{
char *fullpath, *contents;
long filesize;
struct stat finfo;
int retcode, compressed;
FILE_BUFFER *file_buffer = NULL((void *)0);

/* Get the full pathname of this file, as known by the info system.
   That is to say, search along INFOPATH and expand tildes, etc. */
fullpath = info_find_fullpath (filename);

/* Did we actually find the file? */
retcode = stat (fullpath, &finfo);

/* If the file referenced by the name returned from info_find_fullpath ()
   doesn't exist, then try again with the last part of the filename
   appearing in lowercase. */
/* This is probably not needed at all on those systems which define
   FILENAME_CMP to be strcasecmp.  But let's do it anyway, lest some
   network redirector supports case sensitivity.  */
if (retcode < 0)
2
←
Assuming 'retcode' is >= 0→
3
←
Taking false branch→
  {
    char *lowered_name;
    char *tmp_basename;

    lowered_name = xstrdup (filename);
    tmp_basename = filename_non_directory (lowered_name);

    while (*tmp_basename)
      {
        if (isupper (*tmp_basename))
          *tmp_basename = tolower (*tmp_basename);

        tmp_basename++;
      }

    fullpath = info_find_fullpath (lowered_name);

    retcode = stat (fullpath, &finfo);
    free (lowered_name);
  }

/* If the file wasn't found, give up, returning a NULL pointer. */
if (retcode3.1
'retcode' is >= 0
 < 0)
4
←
Taking false branch→
  {
    filesys_error_number = errno(*__errno());
    return NULL((void *)0);
  }

/* Otherwise, try to load the file. */
contents = filesys_read_info_file (fullpath, &filesize, &finfo, &compressed);

if (!contents)
5
←
Assuming 'contents' is non-null→
6
←
Taking false branch→
  return NULL((void *)0);

/* The file was found, and can be read.  Allocate FILE_BUFFER and fill
   in the various members. */
file_buffer = make_file_buffer ();
7
←
Calling 'make_file_buffer'→
9
←
Returning from 'make_file_buffer'→
file_buffer->filename = xstrdup (filename);
file_buffer->fullpath = xstrdup (fullpath);
file_buffer->finfo = finfo;
file_buffer->filesize = filesize;
file_buffer->contents = contents;
if (compressed)
10
←
Assuming 'compressed' is 0→
11
←
Taking false branch→
  file_buffer->flags |= N_IsCompressed0x08;

/* If requested, build the tags and nodes for this file buffer. */
if (get_tags11.1
'get_tags' is 1
)
12
←
Taking true branch→
  build_tags_and_nodes (file_buffer);
13
←
Calling 'build_tags_and_nodes'→

return file_buffer;
381}
382
383/* Grovel FILE_BUFFER->contents finding tags and nodes, and filling in the
 various slots.  This can also be used to rebuild a tag or node table. */
385void
386build_tags_and_nodes (FILE_BUFFER *file_buffer)
387{
SEARCH_BINDING binding;
long position;

free_file_buffer_tags (file_buffer);
14
←
Calling 'free_file_buffer_tags'→
18
←
Returning from 'free_file_buffer_tags'→
file_buffer->flags &= ~N_HasTagsTable0x01;

/* See if there is a tags table in this info file. */
binding.buffer = file_buffer->contents;
binding.start = file_buffer->filesize;
binding.end = binding.start - 1000;
if (binding.end < 0)
19
←
Assuming field 'end' is >= 0→
20
←
Taking false branch→
  binding.end = 0;
binding.flags = S_FoldCase0x01;

position = search_backward (TAGS_TABLE_END_LABEL"\nEnd Tag Table", &binding);

/* If there is a tag table, find the start of it, and grovel over it
   extracting tag information. */
if (position != -1)
21
←
Assuming the condition is true→
22
←
Taking true branch→
  while (1)
23
←
Loop condition is true.  Entering loop body→
    {
      long tags_table_begin, tags_table_end;

      binding.end = position;
      binding.start = binding.end - 5 - strlen (TAGS_TABLE_END_LABEL"\nEnd Tag Table");
      if (binding.start23.1
Field 'start' is >= 0
 < 0)
24
←
Taking false branch→
        binding.start = 0;

      position = find_node_separator (&binding);

      /* For this test, (and all others here) failure indicates a bogus
         tags table.  Grovel the file. */
      if (position == -1)
25
←
Assuming the condition is false→
26
←
Taking false branch→
        break;

      /* Remember the end of the tags table. */
      binding.start = position;
      tags_table_end = binding.start;
      binding.end = 0;

      /* Locate the start of the tags table. */
      position = search_backward (TAGS_TABLE_BEG_LABEL"Tag Table:\n", &binding);

      if (position == -1)
27
←
Assuming the condition is false→
28
←
Taking false branch→
        break;

      binding.end = position;
      binding.start = binding.end - 5 - strlen (TAGS_TABLE_BEG_LABEL"Tag Table:\n");
      position = find_node_separator (&binding);

      if (position == -1)
29
←
Assuming the condition is false→
30
←
Taking false branch→
        break;

      /* The file contains a valid tags table.  Fill the FILE_BUFFER's
         tags member. */
      file_buffer->flags |= N_HasTagsTable0x01;
      tags_table_begin = position;

      /* If this isn't an indirect tags table, just remember the nodes
         described locally in this tags table.  Note that binding.end
         is pointing to just after the beginning label. */
      binding.start = binding.end;
      binding.end = file_buffer->filesize;

      if (!looking_at (TAGS_TABLE_IS_INDIRECT_LABEL"(Indirect)", &binding))
31
←
Assuming the condition is false→
32
←
Taking false branch→
        {
          binding.start = tags_table_begin;
          binding.end = tags_table_end;
          get_nodes_of_tags_table (file_buffer, &binding);
          return;
        }
      else
        {
          /* This is an indirect tags table.  Build TAGS member. */
          SEARCH_BINDING indirect;

          indirect.start = tags_table_begin;
          indirect.end = 0;
          indirect.buffer = binding.buffer;
          indirect.flags = S_FoldCase0x01;

          position = search_backward (INDIRECT_TAGS_TABLE_LABEL"Indirect:\n", &indirect);

          if (position == -1)
33
←
Assuming the condition is false→
34
←
Taking false branch→
            {
              /* This file is malformed.  Give up. */
              return;
            }

          indirect.start = position;
          indirect.end = tags_table_begin;
          binding.start = tags_table_begin;
          binding.end = tags_table_end;
          get_tags_of_indirect_tags_table (file_buffer, &indirect, &binding);
35
←
Calling 'get_tags_of_indirect_tags_table'→
          return;
        }
    }

/* This file doesn't contain any kind of tags table.  Grovel the
   file and build node entries for it. */
get_nodes_of_info_file (file_buffer);
489}

491/* Search through FILE_BUFFER->contents building an array of TAG *,
 one entry per each node present in the file.  Store the tags in
 FILE_BUFFER->tags, and the number of allocated slots in
 FILE_BUFFER->tags_slots. */
495static void
496get_nodes_of_info_file (FILE_BUFFER *file_buffer)
497{
long nodestart;
int tags_index = 0;
SEARCH_BINDING binding;

binding.buffer = file_buffer->contents;
binding.start = 0;
binding.end = file_buffer->filesize;
binding.flags = S_FoldCase0x01;

while ((nodestart = find_node_separator (&binding)) != -1)
  {
    int start, end;
    char *nodeline;
    TAG *entry;
    int anchor = 0;

    /* Skip past the characters just found. */
    binding.start = nodestart;
    binding.start += skip_node_separator (binding.buffer + binding.start);

    /* Move to the start of the line defining the node. */
    nodeline = binding.buffer + binding.start;

    /* Find "Node:" */
    start = string_in_line (INFO_NODE_LABEL"Node:", nodeline);
    /* No Node:.  Maybe it's a Ref:.  */
    if (start == -1)
      {
        start = string_in_line (INFO_REF_LABEL"Ref:", nodeline);
        if (start != -1)
          anchor = 1;
      }

    /* If not there, this is not the start of a node. */
    if (start == -1)
      continue;

    /* Find the start of the nodename. */
    start += skip_whitespace (nodeline + start);

    /* Find the end of the nodename. */
    end = start +
      skip_node_characters (nodeline + start, DONT_SKIP_NEWLINES0);

    /* Okay, we have isolated the node name, and we know where the
       node starts.  Remember this information. */
    entry = xmalloc (sizeof (TAG));
    entry->nodename = xmalloc (1 + (end - start));
    strncpy (entry->nodename, nodeline + start, end - start);
    entry->nodename[end - start] = 0;
    entry->nodestart = nodestart;
    if (anchor)
      entry->nodelen = 0;
    else
      {
        SEARCH_BINDING node_body;

        node_body.buffer = binding.buffer + binding.start;
        node_body.start = 0;
        node_body.end = binding.end - binding.start;
        node_body.flags = S_FoldCase0x01;
        entry->nodelen = get_node_length (&node_body);
      }

    entry->filename = file_buffer->fullpath;

    /* Add this tag to the array of tag structures in this FILE_BUFFER. */
    add_pointer_to_array (entry, tags_index, file_buffer->tags,do { if (tags_index + 2 >= file_buffer->tags_slots) file_buffer
->tags = (TAG * *)(xrealloc (file_buffer->tags, (file_buffer
->tags_slots += 100) * sizeof (TAG *))); file_buffer->tags
[tags_index++] = (TAG *)entry; file_buffer->tags[tags_index
] = (TAG *)((void *)0); } while (0)
                          file_buffer->tags_slots, 100, TAG *)do { if (tags_index + 2 >= file_buffer->tags_slots) file_buffer
->tags = (TAG * *)(xrealloc (file_buffer->tags, (file_buffer
->tags_slots += 100) * sizeof (TAG *))); file_buffer->tags
[tags_index++] = (TAG *)entry; file_buffer->tags[tags_index
] = (TAG *)((void *)0); } while (0);
  }
568}

570/* Return the length of the node which starts at BINDING. */
571static long
572get_node_length (SEARCH_BINDING *binding)
573{
int i;
char *body;

/* [A node] ends with either a ^_, a ^L, or end of file.  */
for (i = binding->start, body = binding->buffer; i < binding->end; i++)
  {
    if (body[i] == INFO_FF'\014' || body[i] == INFO_COOKIE'\037')
      break;
  }
return i - binding->start;
584}

586/* Build and save the array of nodes in FILE_BUFFER by searching through the
 contents of BUFFER_BINDING for a tags table, and groveling the contents. */
588static void
589get_nodes_of_tags_table (FILE_BUFFER *file_buffer,
  SEARCH_BINDING *buffer_binding)
591{
int name_offset;
SEARCH_BINDING *tmp_search;
long position;
int tags_index = 0;

tmp_search = copy_binding (buffer_binding);

/* Find the start of the tags table. */
position = find_tags_table (tmp_search);

/* If none, we're all done. */
if (position == -1)
37
←
Assuming the condition is true→
38
←
Taking true branch→
  return;
39
←
Returning without writing to 'file_buffer->tags'→

/* Move to one character before the start of the actual table. */
tmp_search->start = position;
tmp_search->start += skip_node_separator
  (tmp_search->buffer + tmp_search->start);
tmp_search->start += strlen (TAGS_TABLE_BEG_LABEL"Tag Table:\n");
tmp_search->start--;

/* The tag table consists of lines containing node names and positions.
   Do each line until we find one that doesn't contain a node name. */
while ((position = search_forward ("\n", tmp_search)) != -1)
  {
    TAG *entry;
    char *nodedef;
    unsigned p;
    int anchor = 0;

    /* Prepare to skip this line. */
    tmp_search->start = position;
    tmp_search->start++;

    /* Skip past informative "(Indirect)" tags table line. */
    if (!tags_index && looking_at (TAGS_TABLE_IS_INDIRECT_LABEL"(Indirect)", tmp_search))
      continue;

    /* Find the label preceding the node name. */
    name_offset =
      string_in_line (INFO_NODE_LABEL"Node:", tmp_search->buffer + tmp_search->start);

    /* If no node label, maybe it's an anchor.  */
    if (name_offset == -1)
      {
        name_offset = string_in_line (INFO_REF_LABEL"Ref:",
            tmp_search->buffer + tmp_search->start);
        if (name_offset != -1)
          anchor = 1;
      }

    /* If not there, not a defining line, so we must be out of the
       tags table.  */
    if (name_offset == -1)
      break;

    entry = xmalloc (sizeof (TAG));

    /* Find the beginning of the node definition. */
    tmp_search->start += name_offset;
    nodedef = tmp_search->buffer + tmp_search->start;
    nodedef += skip_whitespace (nodedef);

    /* Move past the node's name in this tag to the TAGSEP character. */
    for (p = 0; nodedef[p] && nodedef[p] != INFO_TAGSEP'\177'; p++)
      ;
    if (nodedef[p] != INFO_TAGSEP'\177')
      continue;

    entry->nodename = xmalloc (p + 1);
    strncpy (entry->nodename, nodedef, p);
    entry->nodename[p] = 0;
    p++;
    entry->nodestart = atol (nodedef + p);

    /* If a node, we don't know the length yet, but if it's an
       anchor, the length is 0. */
    entry->nodelen = anchor ? 0 : -1;

    /* The filename of this node is currently known as the same as the
       name of this file. */
    entry->filename = file_buffer->fullpath;

    /* Add this node structure to the array of node structures in this
       FILE_BUFFER. */
    add_pointer_to_array (entry, tags_index, file_buffer->tags,do { if (tags_index + 2 >= file_buffer->tags_slots) file_buffer
->tags = (TAG * *)(xrealloc (file_buffer->tags, (file_buffer
->tags_slots += 100) * sizeof (TAG *))); file_buffer->tags
[tags_index++] = (TAG *)entry; file_buffer->tags[tags_index
] = (TAG *)((void *)0); } while (0)
                          file_buffer->tags_slots, 100, TAG *)do { if (tags_index + 2 >= file_buffer->tags_slots) file_buffer
->tags = (TAG * *)(xrealloc (file_buffer->tags, (file_buffer
->tags_slots += 100) * sizeof (TAG *))); file_buffer->tags
[tags_index++] = (TAG *)entry; file_buffer->tags[tags_index
] = (TAG *)((void *)0); } while (0);
  }
free (tmp_search);
681}

683/* A structure used only in `get_tags_of_indirect_tags_table' to hold onto
 an intermediate value. */
685typedef struct {
char *filename;
long first_byte;
688} SUBFILE;

690/* Remember in FILE_BUFFER the nodenames, subfilenames, and offsets within the
 subfiles of every node which appears in TAGS_BINDING.  The 2nd argument is
 a binding surrounding the indirect files list. */
693static void
694get_tags_of_indirect_tags_table (FILE_BUFFER *file_buffer,
  SEARCH_BINDING *indirect_binding, SEARCH_BINDING *tags_binding)
696{
int i;
SUBFILE **subfiles = NULL((void *)0);
int subfiles_index = 0, subfiles_slots = 0;
TAG *entry;

/* First get the list of tags from the tags table.  Then lookup the
   associated file in the indirect list for each tag, and update it. */
get_nodes_of_tags_table (file_buffer, tags_binding);
36
←
Calling 'get_nodes_of_tags_table'→
40
←
Returning from 'get_nodes_of_tags_table'→

/* We have the list of tags in file_buffer->tags.  Get the list of
   subfiles from the indirect table. */
{
  char *start, *end, *line;
  SUBFILE *subfile;

  start = indirect_binding->buffer + indirect_binding->start;
  end = indirect_binding->buffer + indirect_binding->end;
  line = start;

  while (line < end)
41
←
Assuming 'line' is < 'end'→
42
←
Loop condition is true.  Entering loop body→
48
←
Assuming 'line' is >= 'end'→
49
←
Loop condition is false. Execution continues on line 740→
    {
      int colon;

      colon = string_in_line (":", line);

      if (colon == -1)
43
←
Assuming the condition is false→
44
←
Taking false branch→
        break;

      subfile = (SUBFILE *)xmalloc (sizeof (SUBFILE));
      subfile->filename = (char *)xmalloc (colon);
      strncpy (subfile->filename, line, colon - 1);
      subfile->filename[colon - 1] = 0;
      subfile->first_byte = (long) atol (line + colon);

      add_pointer_to_arraydo { if (subfiles_index + 2 >= subfiles_slots) subfiles = (
SUBFILE * *)(xrealloc (subfiles, (subfiles_slots += 10) * sizeof
 (SUBFILE *))); subfiles[subfiles_index++] = (SUBFILE *)subfile
; subfiles[subfiles_index] = (SUBFILE *)((void *)0); } while (
0)
45
←
Taking true branch→
46
←
Loop condition is false.  Exiting loop→
        (subfile, subfiles_index, subfiles, subfiles_slots, 10, SUBFILE *)do { if (subfiles_index + 2 >= subfiles_slots) subfiles = (
SUBFILE * *)(xrealloc (subfiles, (subfiles_slots += 10) * sizeof
 (SUBFILE *))); subfiles[subfiles_index++] = (SUBFILE *)subfile
; subfiles[subfiles_index] = (SUBFILE *)((void *)0); } while (
0);

      while (*line++ != '\n');
47
←
Loop condition is false. Execution continues on line 716→
    }
}

/* If we have successfully built the indirect files table, then
   merge the information in the two tables. */
if (!subfiles49.1
'subfiles' is non-null
)
50
←
Taking false branch→
  {
    free_file_buffer_tags (file_buffer);
    return;
  }
else
  {
    int tags_index;
    long header_length;
    SEARCH_BINDING binding;

    /* Find the length of the header of the file containing the indirect
       tags table.  This header appears at the start of every file.  We
       want the absolute position of each node within each subfile, so
       we subtract the start of the containing subfile from the logical
       position of the node, and then add the length of the header in. */
    binding.buffer = file_buffer->contents;
    binding.start = 0;
    binding.end = file_buffer->filesize;
    binding.flags = S_FoldCase0x01;

    header_length = find_node_separator (&binding);
    if (header_length == -1)
51
←
Assuming the condition is false→
52
←
Taking false branch→
      header_length = 0;

    /* Build the file buffer's list of subfiles. */
    {
      char *containing_dir = xstrdup (file_buffer->fullpath);
      char *temp = filename_non_directory (containing_dir);
      int len_containing_dir;

      if (temp > containing_dir)
53
←
Assuming 'temp' is <= 'containing_dir'→
54
←
Taking false branch→
        {
          if (HAVE_DRIVE (file_buffer->fullpath)(0) &&
              temp == containing_dir + 2)
            {
              /* Avoid converting "d:foo" into "d:/foo" below.  */
              *temp = '.';
              temp += 2;
            }
          temp[-1] = 0;
        }

      len_containing_dir = strlen (containing_dir);

      for (i = 0; subfiles[i]; i++);
55
←
Loop condition is true.  Entering loop body→
56
←
Loop condition is false. Execution continues on line 787→

      file_buffer->subfiles = (char **) xmalloc ((1 + i) * sizeof (char *));

      for (i = 0; subfiles[i]; i++)
57
←
Loop condition is true.  Entering loop body→
58
←
Loop condition is false. Execution continues on line 801→
        {
          char *fullpath;

          fullpath = (char *) xmalloc
            (2 + strlen (subfiles[i]->filename) + len_containing_dir);

          sprintf (fullpath, "%s/%s",
                   containing_dir, subfiles[i]->filename);

          file_buffer->subfiles[i] = fullpath;
        }
      file_buffer->subfiles[i] = NULL((void *)0);
      free (containing_dir);
    }

    /* For each node in the file's tags table, remember the starting
       position. */
    for (tags_index = 0; (entry = file_buffer->tags[tags_index]);
59
←
Array access (via field 'tags') results in a null pointer dereference
         tags_index++)
      {
        for (i = 0;
             subfiles[i] && entry->nodestart >= subfiles[i]->first_byte;
             i++);

        /* If the Info file containing the indirect tags table is
           malformed, then give up. */
        if (!i)
          {
            /* The Info file containing the indirect tags table is
               malformed.  Give up. */
            for (i = 0; subfiles[i]; i++)
              {
                free (subfiles[i]->filename);
                free (subfiles[i]);
                free (file_buffer->subfiles[i]);
              }
            file_buffer->subfiles = NULL((void *)0);
            free_file_buffer_tags (file_buffer);
            return;
          }

        /* SUBFILES[i] is the index of the first subfile whose logical
           first byte is greater than the logical offset of this node's
           starting position.  This means that the subfile directly
           preceding this one is the one containing the node. */

        entry->filename = file_buffer->subfiles[i - 1];
        entry->nodestart -= subfiles[i - 1]->first_byte;
        entry->nodestart += header_length;
      }

    /* We have successfully built the tags table.  Remember that it
       was indirect. */
    file_buffer->flags |= N_TagsIndirect0x02;
  }

/* Free the structures assigned to SUBFILES.  Free the names as well
   as the structures themselves, then finally, the array. */
for (i = 0; subfiles[i]; i++)
  {
    free (subfiles[i]->filename);
    free (subfiles[i]);
  }
free (subfiles);
854}


857/* Return the node that contains TAG in FILE_BUFFER, else
 (pathologically) NULL.  Called from info_node_of_file_buffer_tags.  */
859static NODE *
860find_node_of_anchor (FILE_BUFFER *file_buffer, TAG *tag)
861{
int anchor_pos, node_pos;
TAG *node_tag;
NODE *node;

/* Look through the tag list for the anchor.  */
for (anchor_pos = 0; file_buffer->tags[anchor_pos]; anchor_pos++)
  {
    TAG *t = file_buffer->tags[anchor_pos];
    if (t->nodestart == tag->nodestart)
      break;
  }

/* Should not happen, because we should always find the anchor.  */
if (!file_buffer->tags[anchor_pos])
  return NULL((void *)0);

/* We've found the anchor.  Look backwards in the tag table for the
   preceding node (we're assuming the tags are given in order),
   skipping over any preceding anchors.  */
for (node_pos = anchor_pos - 1;
     node_pos >= 0 && file_buffer->tags[node_pos]->nodelen == 0;
     node_pos--)
  ;

/* An info file with an anchor before any nodes is pathological, but
   it's possible, so don't crash.  */
if (node_pos < 0)
  return NULL((void *)0);

/* We have the tag for the node that contained the anchor tag.  */
node_tag = file_buffer->tags[node_pos];

/* Look up the node name in the tag table to get the actual node.
   This is a recursive call, but it can't recurse again, because we
   call it with a real node.  */
node = info_node_of_file_buffer_tags (file_buffer, node_tag->nodename);

/* Start displaying the node at the anchor position.  */
if (node)
  { /* The nodestart for real nodes is three characters before the `F'
       in the `File:' line (a newline, the CTRL-_, and another
       newline).  The nodestart for anchors is the actual position.
       But we offset by only 2, rather than 3, because if an anchor is
       at the beginning of a paragraph, it's nicer for it to end up on
       the beginning of the first line of the paragraph rather than
       the blank line before it.  (makeinfo has no way of knowing that
       a paragraph is going to start, so we can't fix it there.)  */
    node->display_pos = file_buffer->tags[anchor_pos]->nodestart
                        - (node_tag->nodestart + 2);

    /* Otherwise an anchor at the end of a node ends up displaying at
       the end of the last line of the node (way over on the right of
       the screen), which looks wrong.  */
    if (node->display_pos >= (unsigned long) node->nodelen)
      node->display_pos = node->nodelen - 1;

    /* Don't search in the node for the xref text, it's not there.  */
    node->flags |= N_FromAnchor0x80;
  }

return node;
923}


926/* Return the node from FILE_BUFFER which matches NODENAME by searching
 the tags table in FILE_BUFFER, or NULL.  */
928static NODE *
929info_node_of_file_buffer_tags (FILE_BUFFER *file_buffer, char *nodename)
930{
TAG *tag;
int i;

/* If no tags at all (possibly a misformatted info file), quit.  */
if (!file_buffer->tags) {
  return NULL((void *)0);
}

for (i = 0; (tag = file_buffer->tags[i]); i++)
  if (strcmp (nodename, tag->nodename) == 0)
    {
      FILE_BUFFER *subfile = info_find_file_internal (tag->filename,
                                                      INFO_NO_TAGS0);
      if (!subfile)
        return NULL((void *)0);

      if (!subfile->contents)
        {
          info_reload_file_buffer_contents (subfile);
          if (!subfile->contents)
            return NULL((void *)0);
        }

      /* If we were able to find this file and load it, then return
         the node within it. */
      {
        NODE *node = xmalloc (sizeof (NODE));
        node->filename    = subfile->fullpath;
        node->parent      = NULL((void *)0);
        node->nodename    = tag->nodename;
        node->contents    = subfile->contents + tag->nodestart;
        node->display_pos = 0;
        node->flags       = 0;

        if (file_buffer->flags & N_HasTagsTable0x01)
          {
            node->flags |= N_HasTagsTable0x01;

            if (file_buffer->flags & N_TagsIndirect0x02)
              {
                node->flags |= N_TagsIndirect0x02;
                node->parent = file_buffer->fullpath;
              }
          }

        if (subfile->flags & N_IsCompressed0x08)
          node->flags |= N_IsCompressed0x08;

        /* If TAG->nodelen hasn't been calculated yet, then we aren't
           in a position to trust the entry pointer.  Adjust things so
           that ENTRY->nodestart gets the exact address of the start of
           the node separator which starts this node, and NODE->contents
           gets the address of the line defining this node.  If we cannot
           do that, the node isn't really here. */
        if (tag->nodelen == -1)
          {
            int min, max;
            char *node_sep;
            SEARCH_BINDING node_body;
            char *buff_end;

            min = max = DEFAULT_INFO_FUDGE1000;

            if (tag->nodestart < DEFAULT_INFO_FUDGE1000)
              min = tag->nodestart;

            if (DEFAULT_INFO_FUDGE1000 >
                (subfile->filesize - tag->nodestart))
              max = subfile->filesize - tag->nodestart;

            /* NODE_SEP gets the address of the separator which defines
               this node, or NULL if the node wasn't found.
               NODE->contents is side-effected to point to right after
               the separator. */
            node_sep = adjust_nodestart (node, min, max);
            if (node_sep == NULL((void *)0))
              {
                free (node);
                return NULL((void *)0);
              }
            /* Readjust tag->nodestart. */
            tag->nodestart = node_sep - subfile->contents;

            /* Calculate the length of the current node. */
            buff_end = subfile->contents + subfile->filesize;

            node_body.buffer = node->contents;
            node_body.start = 0;
            node_body.end = buff_end - node_body.buffer;
            node_body.flags = 0;
            tag->nodelen = get_node_length (&node_body);
            node->nodelen = tag->nodelen;
          }

        else if (tag->nodelen == 0) /* anchor, return containing node */
          {
            free (node);
            node = find_node_of_anchor (file_buffer, tag);
          }

        else
          {
            /* Since we know the length of this node, we have already
               adjusted tag->nodestart to point to the exact start of
               it.  Simply skip the node separator. */
            node->contents += skip_node_separator (node->contents);
            node->nodelen = tag->nodelen;
          }

        return node;
      }
    }

/* There was a tag table for this file, and the node wasn't found.
   Return NULL, since this file doesn't contain the desired node. */
return NULL((void *)0);
1047}
1048
1049/* Managing file_buffers, nodes, and tags.  */

1051/* Create a new, empty file buffer. */
1052FILE_BUFFER *
1053make_file_buffer (void)
1054{
FILE_BUFFER *file_buffer = xmalloc (sizeof (FILE_BUFFER));

file_buffer->filename = file_buffer->fullpath = NULL((void *)0);
file_buffer->contents = NULL((void *)0);
file_buffer->tags = NULL((void *)0);
8
←
Null pointer value stored to field 'tags'→
file_buffer->subfiles = NULL((void *)0);
file_buffer->tags_slots = 0;
file_buffer->flags = 0;

return file_buffer;
1065}

1067/* Add FILE_BUFFER to our list of already loaded info files. */
1068static void
1069remember_info_file (FILE_BUFFER *file_buffer)
1070{
int i;

for (i = 0; info_loaded_files && info_loaded_files[i]; i++)
  ;

add_pointer_to_array (file_buffer, i, info_loaded_files,do { if (i + 2 >= info_loaded_files_slots) info_loaded_files
 = (FILE_BUFFER * *)(xrealloc (info_loaded_files, (info_loaded_files_slots
 += 10) * sizeof (FILE_BUFFER *))); info_loaded_files[i++] = (
FILE_BUFFER *)file_buffer; info_loaded_files[i] = (FILE_BUFFER
 *)((void *)0); } while (0)
                      info_loaded_files_slots, 10, FILE_BUFFER *)do { if (i + 2 >= info_loaded_files_slots) info_loaded_files
 = (FILE_BUFFER * *)(xrealloc (info_loaded_files, (info_loaded_files_slots
 += 10) * sizeof (FILE_BUFFER *))); info_loaded_files[i++] = (
FILE_BUFFER *)file_buffer; info_loaded_files[i] = (FILE_BUFFER
 *)((void *)0); } while (0);
1078}

1080/* Forget the contents, tags table, nodes list, and names of FILENAME. */
1081static void
1082forget_info_file (char *filename)
1083{
int i;
FILE_BUFFER *file_buffer;

if (!info_loaded_files)
  return;

for (i = 0; (file_buffer = info_loaded_files[i]); i++)
  if (FILENAME_CMPstrcmp (filename, file_buffer->filename) == 0
      || FILENAME_CMPstrcmp (filename, file_buffer->fullpath) == 0)
    {
      free (file_buffer->filename);
      free (file_buffer->fullpath);

      if (file_buffer->contents)
        free (file_buffer->contents);

      /* free_file_buffer_tags () also kills the subfiles list, since
         the subfiles list is only of use in conjunction with tags. */
      free_file_buffer_tags (file_buffer);

      /* Move rest of list down.  */
      while (info_loaded_files[i + 1])
        {
          info_loaded_files[i] = info_loaded_files[i + 1];
          i++;
        }
      info_loaded_files[i] = 0;

      break;
    }
1114}

1116/* Free the tags (if any) associated with FILE_BUFFER. */
1117static void
1118free_file_buffer_tags (FILE_BUFFER *file_buffer)
1119{
int i;

if (file_buffer->tags14.1
Field 'tags' is null
)
15
←
Taking false branch→
  {
    TAG *tag;

    for (i = 0; (tag = file_buffer->tags[i]); i++)
      free_info_tag (tag);

    free (file_buffer->tags);
    file_buffer->tags = NULL((void *)0);
    file_buffer->tags_slots = 0;
  }

if (file_buffer->subfiles15.1
Field 'subfiles' is null
)
16
←
Taking false branch→
  {
    for (i = 0; file_buffer->subfiles[i]; i++)
      free (file_buffer->subfiles[i]);

    free (file_buffer->subfiles);
    file_buffer->subfiles = NULL((void *)0);
  }
1142}
17
←
Returning without writing to 'file_buffer->tags'→

1144/* Free the data associated with TAG, as well as TAG itself. */
1145static void
1146free_info_tag (TAG *tag)
1147{
free (tag->nodename);

/* We don't free tag->filename, because that filename is part of the
   subfiles list for the containing FILE_BUFFER.  free_info_tags ()
   will free the subfiles when it is appropriate. */

free (tag);
1155}

1157/* Load the contents of FILE_BUFFER->contents.  This function is called
 when a file buffer was loaded, and then in order to conserve memory, the
 file buffer's contents were freed and the pointer was zero'ed.  Note that
 the file was already loaded at least once successfully, so the tags and/or
 nodes members are still correctly filled. */
1162static void
1163info_reload_file_buffer_contents (FILE_BUFFER *fb)
1164{
int is_compressed;

1167#if defined (HANDLE_MAN_PAGES)
/* If this is the magic manpage node, don't try to reload, just give up. */
if (fb->flags & N_IsManPage0x40)
  return;
1171#endif

fb->flags &= ~N_IsCompressed0x08;

/* Let the filesystem do all the work for us. */
fb->contents =
  filesys_read_info_file (fb->fullpath, &(fb->filesize), &(fb->finfo),
                          &is_compressed);
if (is_compressed)
  fb->flags |= N_IsCompressed0x08;
1181}

1183/* Return the actual starting memory location of NODE, side-effecting
 NODE->contents.  MIN and MAX are bounds for a search if one is necessary.
 Because of the way that tags are implemented, the physical nodestart may
 not actually be where the tag says it is.  If that is the case, but the
 node was found anyway, set N_UpdateTags in NODE->flags.  If the node is
 found, return non-zero.  NODE->contents is returned positioned right after
 the node separator that precedes this node, while the return value is
 position directly on the separator that precedes this node.  If the node
 could not be found, return a NULL pointer. */
1192static char *
1193adjust_nodestart (NODE *node, int min, int max)
1194{
long position;
SEARCH_BINDING node_body;

/* Define the node body. */
node_body.buffer = node->contents;
node_body.start = 0;
node_body.end = max;
node_body.flags = 0;

/* Try the optimal case first.  Who knows?  This file may actually be
   formatted (mostly) correctly. */
if (node_body.buffer[0] != INFO_COOKIE'\037' && min > 2)
  node_body.buffer -= 3;

position = find_node_separator (&node_body);

/* If we found a node start, then check it out. */
if (position != -1)
  {
    int sep_len;

    sep_len = skip_node_separator (node->contents);

    /* If we managed to skip a node separator, then check for this node
       being the right one. */
    if (sep_len != 0)
      {
        char *nodedef, *nodestart;
        int offset;

        nodestart = node_body.buffer + position + sep_len;
        nodedef = nodestart;
        offset = string_in_line (INFO_NODE_LABEL"Node:", nodedef);

        if (offset != -1)
          {
            nodedef += offset;
            nodedef += skip_whitespace (nodedef);
            offset = skip_node_characters (nodedef, DONT_SKIP_NEWLINES0);
            if (((unsigned int) offset == strlen (node->nodename)) &&
                (strncmp (node->nodename, nodedef, offset) == 0))
              {
                node->contents = nodestart;
                return node_body.buffer + position;
              }
          }
      }
  }

/* Oh well, I guess we have to try to find it in a larger area. */
node_body.buffer = node->contents - min;
node_body.start = 0;
node_body.end = min + max;
node_body.flags = 0;

position = find_node_in_binding (node->nodename, &node_body);

/* If the node couldn't be found, we lose big. */
if (position == -1)
  return NULL((void *)0);

/* Otherwise, the node was found, but the tags table could need updating
   (if we used a tag to get here, that is).  Set the flag in NODE->flags. */
node->contents = node_body.buffer + position;
node->contents += skip_node_separator (node->contents);
if (node->flags & N_HasTagsTable0x01)
  node->flags |= N_UpdateTags0x04;
return node_body.buffer + position;
1263}