/usr/src/gnu/usr.bin/texinfo/makeinfo/html.c

Bug Summary

File:	src/gnu/usr.bin/texinfo/makeinfo/html.c
Warning:	line 781, column 7 Null pointer passed as 2nd argument to string concatenation function

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 html.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/makeinfo -resource-dir /usr/local/lib/clang/13.0.0 -D HAVE_CONFIG_H -I . -I /usr/src/gnu/usr.bin/texinfo/makeinfo -I .. -I /usr/src/gnu/usr.bin/texinfo/lib -I ../intl -D LOCALEDIR="/usr/share/locale" -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/makeinfo -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/makeinfo/html.c

1/* html.c -- html-related utilities.
 $Id: html.c,v 1.3 2010/06/06 12:31:09 fgsch Exp $

 Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005 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.  */

21#include "system.h"
22#include "cmds.h"
23#include "files.h"
24#include "html.h"
25#include "lang.h"
26#include "makeinfo.h"
27#include "node.h"
28#include "sectioning.h"

30
31/* Append CHAR to BUFFER, (re)allocating as necessary.  We don't handle
 null characters.  */

34typedef struct
35{
unsigned size;    /* allocated */
unsigned length;  /* used */
char *buffer;
39} buffer_type;

41static buffer_type *
42init_buffer (void)
43{
buffer_type *buf = xmalloc (sizeof (buffer_type));
buf->length = 0;
buf->size = 0;
buf->buffer = NULL((void *)0);

return buf;
50}

52static void
53append_char (buffer_type *buf, int c)
54{
buf->length++;
if (buf->length >= buf->size)
  {
    buf->size += 100;
    buf->buffer = xrealloc (buf->buffer, buf->size);
  }
buf->buffer[buf->length - 1] = c;
buf->buffer[buf->length] = 0;
63}

65/* Read the cascading style-sheet file FILENAME.  Write out any @import
 commands, which must come first, by the definition of css.  If the
 file contains any actual css code following the @imports, return it;
 else return NULL.  */
69static char *
70process_css_file (char *filename)
71{
int c;
int lastchar = 0;
FILE *f;
buffer_type *import_text = init_buffer ();
buffer_type *inline_text = init_buffer ();
unsigned lineno = 1;
enum { null_state, comment_state, import_state, inline_state } state
  = null_state, prev_state;

prev_state = null_state;

/* read from stdin if `-' is the filename.  */
f = STREQ (filename, "-")(strcmp (filename, "-") == 0) ? stdin(&__sF[0]) : fopen (filename, "r");
if (!f)
  {
    error (_("%s: could not open --css-file: %s")((const char *) ("%s: could not open --css-file: %s")), progname, filename);
    return NULL((void *)0);
  }

/* Read the file.  The @import statements must come at the beginning,
   with only whitespace and comments allowed before any inline css code.  */
while ((c = getc (f)(!__isthreaded ? (--(f)->_r < 0 ? __srget(f) : (int)(*(
f)->_p++)) : (getc)(f))) >= 0)
  {
    if (c == '\n')
      lineno++;

    switch (state)
      {
      case null_state: /* between things */
        if (c == '@')
          { /* Only @import and @charset should switch into
               import_state, other @-commands, such as @media, should
               put us into inline_state.  I don't think any other css
               @-commands start with `i' or `c', although of course
               this will break when such a command is defined.  */
            int nextchar = getc (f)(!__isthreaded ? (--(f)->_r < 0 ? __srget(f) : (int)(*(
f)->_p++)) : (getc)(f));
            if (nextchar == 'i' || nextchar == 'c')
              {
                append_char (import_text, c);
                state = import_state;
              }
            else
              {
                ungetc (nextchar, f);  /* wasn't an @import */
                state = inline_state;
              }
          }
        else if (c == '/')
          { /* possible start of a comment */
            int nextchar = getc (f)(!__isthreaded ? (--(f)->_r < 0 ? __srget(f) : (int)(*(
f)->_p++)) : (getc)(f));
            if (nextchar == '*')
              state = comment_state;
            else
              {
                ungetc (nextchar, f); /* wasn't a comment */
                state = inline_state;
              }
          }
        else if (isspace (c))
          ; /* skip whitespace; maybe should use c_isspace?  */

        else
          /* not an @import, not a comment, not whitespace: we must
             have started the inline text.  */
          state = inline_state;

        if (state == inline_state)
          append_char (inline_text, c);

        if (state != null_state)
          prev_state = null_state;
        break;

      case comment_state:
        if (c == '/' && lastchar == '*')
          state = prev_state;  /* end of comment */
        break;  /* else ignore this comment char */

      case import_state:
        append_char (import_text, c);  /* include this import char */
        if (c == ';')
          { /* done with @import */
            append_char (import_text, '\n');  /* make the output nice */
            state = null_state;
            prev_state = import_state;
          }
        break;

      case inline_state:
        /* No harm in writing out comments, so don't bother parsing
           them out, just append everything.  */
        append_char (inline_text, c);
        break;
      }

    lastchar = c;
  }

fclose (f);  /* Even closing stdin should be ok, can't read it more
                than once? */

/* Reached the end of the file.  We should not be still in a comment.  */
if (state == comment_state)
  warning (_("%s:%d: --css-file ended in comment")((const char *) ("%s:%d: --css-file ended in comment")), filename, lineno);

/* Write the @import text, if any.  */
if (import_text->buffer)
  {
    add_word (import_text->buffer);
    free (import_text->buffer);
    free (import_text);
  }

/* We're wasting the buffer struct memory, but so what.  */
return inline_text->buffer;
187}
188
189HSTACK *htmlstack = NULL((void *)0);

191/* See html.h.  */
192int html_output_head_p = 0;
193int html_title_written = 0;

195void
196html_output_head (void)
197{
static const char *html_title = NULL((void *)0);
char *encoding;

if (html_output_head_p)
  return;
html_output_head_p = 1;

encoding = current_document_encoding ();

/* The <title> should not have markup, so use text_expansion.  */
if (!html_title)
  html_title = escape_string (title ?
      text_expansion (title) : (char *) _("Untitled")((const char *) ("Untitled")));

/* Make sure this is the very first string of the output document.  */
output_paragraph_offset = 0;

add_html_block_elt_args ("<html lang=\"%s\">\n<head>\n",
    language_table[language_code].abbrev);

/* When splitting, add current node's name to title if it's available and not
   Top.  */
if (splitting && current_node && !STREQ (current_node, "Top")(strcmp (current_node, "Top") == 0))
  add_word_args ("<title>%s - %s</title>\n",
      escape_string (xstrdup (current_node)), html_title);
else
  add_word_args ("<title>%s</title>\n",  html_title);

add_word ("<meta http-equiv=\"Content-Type\" content=\"text/html");
if (encoding && *encoding)
  add_word_args ("; charset=%s", encoding);
                 
add_word ("\">\n");

if (!document_description)
  document_description = html_title;

add_word_args ("<meta name=\"description\" content=\"%s\">\n",
               document_description);
add_word_args ("<meta name=\"generator\" content=\"makeinfo %s\">\n",
               VERSION"4.8");

/* Navigation bar links.  */
if (!splitting)
  add_word ("<link title=\"Top\" rel=\"top\" href=\"#Top\">\n");
else if (tag_table)
  {
    /* Always put a top link.  */
    add_word ("<link title=\"Top\" rel=\"start\" href=\"index.html#Top\">\n");

    /* We already have a top link, avoid duplication.  */
    if (tag_table->up && !STREQ (tag_table->up, "Top")(strcmp (tag_table->up, "Top") == 0))
      add_link (tag_table->up, "rel=\"up\"");

    if (tag_table->prev)
      add_link (tag_table->prev, "rel=\"prev\"");

    if (tag_table->next)
      add_link (tag_table->next, "rel=\"next\"");

    /* fixxme: Look for a way to put links to various indices in the
       document.  Also possible candidates to be added here are First and
       Last links.  */
  }
else
  {
    /* We are splitting, but we neither have a tag_table.  So this must be
       index.html.  So put a link to Top. */
    add_word ("<link title=\"Top\" rel=\"start\" href=\"#Top\">\n");
  }

add_word ("<link href=\"http://www.gnu.org/software/texinfo/\" \
270rel=\"generator-home\" title=\"Texinfo Homepage\">\n");

if (copying_text)
  { /* It is not ideal that we include the html markup here within
       <head>, so we use text_expansion.  */
    insert_string ("<!--\n");
    insert_string (text_expansion (copying_text));
    insert_string ("-->\n");
  }

/* Put the style definitions in a comment for the sake of browsers
   that don't support <style>.  */
add_word ("<meta http-equiv=\"Content-Style-Type\" content=\"text/css\">\n");
add_word ("<style type=\"text/css\"><!--\n");

{
  char *css_inline = NULL((void *)0);

  if (css_include)
    /* This writes out any @import commands from the --css-file,
       and returns any actual css code following the imports.  */
    css_inline = process_css_file (css_include);

  /* This seems cleaner than adding <br>'s at the end of each line for
     these "roman" displays.  It's hardly the end of the world if the
     browser doesn't do <style>s, in any case; they'll just come out in
     typewriter.  */
297#define CSS_FONT_INHERIT"font-family:inherit" "font-family:inherit"
  add_word_args ("  pre.display { %s }\n", CSS_FONT_INHERIT"font-family:inherit");
  add_word_args ("  pre.format  { %s }\n", CSS_FONT_INHERIT"font-family:inherit");

  /* Alternatively, we could do <font size=-1> in insertion.c, but this
     way makes it easier to override.  */
303#define CSS_FONT_SMALLER"font-size:smaller" "font-size:smaller"
  add_word_args ("  pre.smalldisplay { %s; %s }\n", CSS_FONT_INHERIT"font-family:inherit",
                 CSS_FONT_SMALLER"font-size:smaller");
  add_word_args ("  pre.smallformat  { %s; %s }\n", CSS_FONT_INHERIT"font-family:inherit",
                 CSS_FONT_SMALLER"font-size:smaller");
  add_word_args ("  pre.smallexample { %s }\n", CSS_FONT_SMALLER"font-size:smaller");
  add_word_args ("  pre.smalllisp    { %s }\n", CSS_FONT_SMALLER"font-size:smaller");

  /* Since HTML doesn't have a sc element, we use span with a bit of
     CSS spice instead.  */
313#define CSS_FONT_SMALL_CAPS"font-variant:small-caps" "font-variant:small-caps"
  add_word_args ("  span.sc    { %s }\n", CSS_FONT_SMALL_CAPS"font-variant:small-caps");

  /* Roman (default) font class, closest we can come.  */
317#define CSS_FONT_ROMAN"font-family:serif; font-weight:normal;" "font-family:serif; font-weight:normal;"
  add_word_args ("  span.roman { %s } \n", CSS_FONT_ROMAN"font-family:serif; font-weight:normal;");

  /* Sans serif font class.  */
321#define CSS_FONT_SANSSERIF"font-family:sans-serif; font-weight:normal;" "font-family:sans-serif; font-weight:normal;"
  add_word_args ("  span.sansserif { %s } \n", CSS_FONT_SANSSERIF"font-family:sans-serif; font-weight:normal;");

  /* Write out any css code from the user's --css-file.  */
  if (css_inline)
    insert_string (css_inline);

  add_word ("--></style>\n");
}

add_word ("</head>\n<body>\n");

if (title && !html_title_written && titlepage_cmd_present)
  {
    add_word_args ("<h1 class=\"settitle\">%s</h1>\n", html_title);
    html_title_written = 1;
  }

free (encoding);
340}
341
342/* Escape HTML special characters in the string if necessary,
 returning a pointer to a possibly newly-allocated one. */
344char *
345escape_string (char *string)
346{
char *newstring;
int i = 0, newlen = 0;

do
  {
    /* Find how much to allocate. */
    switch (string[i])
      {
      case '"':
        newlen += 6;          /* `&quot;' */
        break;
      case '&':
        newlen += 5;          /* `&amp;' */
        break;
      case '<':
      case '>':
        newlen += 4;          /* `&lt;', `&gt;' */
        break;
      default:
        newlen++;
      }
  }
while (string[i++]);

if (newlen == i) return string; /* Already OK. */

newstring = xmalloc (newlen);
i = 0;
do
  {
    switch (string[i])
      {
      case '"':
        strcpy (newstring, "&quot;");
        newstring += 6;
        break;
      case '&':
        strcpy (newstring, "&amp;");
        newstring += 5;
        break;
      case '<':
        strcpy (newstring, "&lt;");
        newstring += 4;
        break;
      case '>':
        strcpy (newstring, "&gt;");
        newstring += 4;
        break;
      default:
        newstring[0] = string[i];
        newstring++;
      }
  }
while (string[i++]);
free (string);
return newstring - newlen;
403}
404
405/* Save current tag.  */
406static void
407push_tag (char *tag, char *attribs)
408{
HSTACK *newstack = xmalloc (sizeof (HSTACK));

newstack->tag = tag;
newstack->attribs = xstrdup (attribs);
newstack->next = htmlstack;
htmlstack = newstack;
415}

417/* Get last tag.  */
418static void
419pop_tag (void)
420{
HSTACK *tos = htmlstack;

if (!tos)
  {
    line_error (_("[unexpected] no html tag to pop")((const char *) ("[unexpected] no html tag to pop")));
    return;
  }

free (htmlstack->attribs);

htmlstack = htmlstack->next;
free (tos);
433}

435/* Check if tag is an empty or a whitespace only element.
 If so, remove it, keeping whitespace intact.  */
437int
438rollback_empty_tag (char *tag)
439{
int check_position = output_paragraph_offset;
int taglen = strlen (tag);
int rollback_happened = 0;
char *contents = "";
char *contents_canon_white = "";

/* If output_paragraph is empty, we cannot rollback :-\  */
if (output_paragraph_offset <= 0)
  return 0;

/* Find the end of the previous tag.  */
while (check_position > 0 && output_paragraph[check_position-1] != '>')
  check_position--;

/* Save stuff between tag's end to output_paragraph's end.  */
if (check_position != output_paragraph_offset)
  {
    contents = xmalloc (output_paragraph_offset - check_position + 1);
    memcpy (contents, output_paragraph + check_position,
        output_paragraph_offset - check_position);

    contents[output_paragraph_offset - check_position] = '\0';

    contents_canon_white = xstrdup (contents);
    canon_white (contents_canon_white);
  }

/* Find the start of the previous tag.  */
while (check_position > 0 && output_paragraph[check_position-1] != '<')
  check_position--;

/* Check to see if this is the tag.  */
if (strncmp ((char *) output_paragraph + check_position, tag, taglen) == 0
    && (whitespace (output_paragraph[check_position + taglen])((output_paragraph[check_position + taglen]) == '\t' || (output_paragraph
[check_position + taglen]) == ' ')
        || output_paragraph[check_position + taglen] == '>'))
  {
    if (!contents_canon_white || !*contents_canon_white)
      {
        /* Empty content after whitespace removal, so roll it back.  */
        output_paragraph_offset = check_position - 1;
        rollback_happened = 1;

        /* Original contents may not be empty (whitespace.)  */
        if (contents && *contents)
          {
            insert_string (contents);
            free (contents);
          }
      }
  }

return rollback_happened;
492}

494/* Open or close TAG according to START_OR_END. */
495void
496#if defined (VA_FPRINTF) && __STDC__1
497insert_html_tag_with_attribute (int start_or_end, char *tag, char *format, ...)
498#else
499insert_html_tag_with_attribute (start_or_end, tag, format, va_alist)
   int start_or_end;
   char *tag;
   char *format;
   va_dcl
504#endif
505{
char *old_tag = NULL((void *)0);
char *old_attribs = NULL((void *)0);
char formatted_attribs[2000]; /* xx no fixed limits */
int do_return = 0;
extern int in_html_elt;

if (start_or_end != START0)
  pop_tag ();

if (htmlstack)
  {
    old_tag = htmlstack->tag;
    old_attribs = htmlstack->attribs;
  }

if (format)
  {
523#ifdef VA_SPRINTF
    va_list ap;
525#endif

    VA_START (ap, format)__builtin_va_start(ap, format);
528#ifdef VA_SPRINTF
    VA_SPRINTF (formatted_attribs, format, ap)vsprintf (formatted_attribs, format, ap);
530#else
    sprintf (formatted_attribs, format, a1, a2, a3, a4, a5, a6, a7, a8);
532#endif
    va_end (ap)__builtin_va_end(ap);
  }
else
  formatted_attribs[0] = '\0';

/* Exception: can nest multiple spans.  */
if (htmlstack
    && STREQ (htmlstack->tag, tag)(strcmp (htmlstack->tag, tag) == 0)
    && !(STREQ (tag, "span")(strcmp (tag, "span") == 0) && STREQ (old_attribs, formatted_attribs)(strcmp (old_attribs, formatted_attribs) == 0)))
  do_return = 1;

if (start_or_end == START0)
  push_tag (tag, formatted_attribs);

if (do_return)
  return;

in_html_elt++;

/* texinfo.tex doesn't support more than one font attribute
   at the same time.  */
if ((start_or_end == START0) && old_tag && *old_tag
    && !rollback_empty_tag (old_tag))
  add_word_args ("</%s>", old_tag);

if (*tag)
  {
    if (start_or_end == START0)
      add_word_args (format ? "<%s %s>" : "<%s>", tag, formatted_attribs);
    else if (!rollback_empty_tag (tag))
      /* Insert close tag only if we didn't rollback,
         in which case the opening tag is removed.  */
      add_word_args ("</%s>", tag);
  }

if ((start_or_end != START0) && old_tag && *old_tag)
  add_word_args (strlen (old_attribs) > 0 ? "<%s %s>" : "<%s>",
      old_tag, old_attribs);

in_html_elt--;
573}

575void
576insert_html_tag (int start_or_end, char *tag)
577{
insert_html_tag_with_attribute (start_or_end, tag, NULL((void *)0));
579}
580
581/* Output an HTML <link> to the filename for NODE, including the
 other string as extra attributes. */
583void
584add_link (char *nodename, char *attributes)
585{
if (nodename)
  {
    add_html_elt ("<link ");
    add_word_args ("%s", attributes);
    add_word_args (" href=\"");
    add_anchor_name (nodename, 1);
    add_word_args ("\" title=\"%s\">\n", nodename);
  }
594}

596/* Output NAME with characters escaped as appropriate for an anchor
 name, i.e., escape URL special characters with our _00hh convention
 if OLD is zero.  (See the manual for details on the new scheme.)
 
 If OLD is nonzero, generate the node name with the 4.6-and-earlier
 convention of %hh (and more special characters output as-is, notably
 - and *).  This is only so that external references to old names can
 still work with HTML generated by the new makeinfo; the gcc folks
 needed this.  Our own HTML does not refer to these names.  */

606void
607add_escaped_anchor_name (char *name, int old)
608{
canon_white (name);

if (!old && !strchr ("abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ",
                     *name))
  { /* XHTML does not allow anything but an ASCII letter to start an
       identifier.  Therefore kludge in this constant string if we
       have a nonletter.  */
    add_word ("g_t");
  }

for (; *name; name++)
  {
    if (cr_or_whitespace (*name)(((*name) == '\t' || (*name) == ' ') || (*name) == '\r' || (*
name) == '\n'))
      add_char ('-');

    else if (!old && !URL_SAFE_CHAR (*name)(isalnum (*name)))
      /* Cast so characters with the high bit set are treated as >128,
         for example o-umlaut should be 246, not -10.  */
      add_word_args ("_00%x", (unsigned char) *name);

    else if (old && !URL_SAFE_CHAR (*name)(isalnum (*name)) && !OLD_URL_SAFE_CHAR (*name)(strchr ("$-_.+!*'()", *name)))
      /* Different output convention, but still cast as above.  */
      add_word_args ("%%%x", (unsigned char) *name);

    else
      add_char (*name);
  }
636}

638/* Insert the text for the name of a reference in an HTML anchor
 appropriate for NODENAME.
 
 If HREF is zero, generate text for name= in the new node name
   conversion convention.
 If HREF is negative, generate text for name= in the old convention.
 If HREF is positive, generate the name for an href= attribute, i.e.,
   including the `#' if it's an internal reference.   */
646void
647add_anchor_name (char *nodename, int href)
648{
if (href > 0)
  {
    if (splitting)
add_url_name (nodename, href);
    add_char ('#');
  }
/* Always add NODENAME, so that the reference would pinpoint the
   exact node on its file.  This is so several nodes could share the
   same file, in case of file-name clashes, but also for more
   accurate browser positioning.  */
if (strcasecmp (nodename, "(dir)") == 0)
  /* Strip the parens, but keep the original letter-case.  */
  add_word_args ("%.3s", nodename + 1);
else if (strcasecmp (nodename, "top") == 0)
  add_word ("Top");
else
  add_escaped_anchor_name (nodename, href < 0);
666}

668/* Insert the text for the name of a reference in an HTML url, aprropriate
 for NODENAME */
670void
671add_url_name (char *nodename, int href)
672{
  add_nodename_to_filename (nodename, href);
674}

676/* Convert non [A-Za-z0-9] to _00xx, where xx means the hexadecimal
 representation of the ASCII character.  Also convert spaces and
 newlines to dashes.  */
679static void
680fix_filename (char *filename)
681{
int i;
int len = strlen (filename);
char *oldname = xstrdup (filename);

*filename = '\0';

for (i = 0; i < len; i++)
  {
    if (cr_or_whitespace (oldname[i])(((oldname[i]) == '\t' || (oldname[i]) == ' ') || (oldname[i]
) == '\r' || (oldname[i]) == '\n'))
      strcat (filename, "-");
    else if (URL_SAFE_CHAR (oldname[i])(isalnum (oldname[i])))
      strncat (filename, (char *) oldname + i, 1);
    else
      {
        char *hexchar = xmalloc (6 * sizeof (char));
        sprintf (hexchar, "_00%x", (unsigned char) oldname[i]);
        strcat (filename, hexchar);
        free (hexchar);
      }

    /* Check if we are nearing boundaries.  */
    if (strlen (filename) >= PATH_MAX1024 - 20)
      break;
  }

free (oldname);
708}

710/* As we can't look-up a (forward-referenced) nodes' html filename
 from the tentry, we take the easy way out.  We assume that
 nodenames are unique, and generate the html filename from the
 nodename, that's always known.  */
714static char *
715nodename_to_filename_1 (char *nodename, int href)
716{
char *p;
char *filename;
char dirname[PATH_MAX1024];

if (strcasecmp (nodename, "Top") == 0)
2
←
Assuming the condition is false→
3
←
Taking false branch→
  {
    /* We want to convert references to the Top node into
"index.html#Top".  */
    if (href)
filename = xstrdup ("index.html"); /* "#Top" is added by our callers */
    else
filename = xstrdup ("Top");
  }
else if (strcasecmp (nodename, "(dir)") == 0)
4
←
Assuming the condition is false→
5
←
Taking false branch→
  /* We want to convert references to the (dir) node into
     "../index.html".  */
  filename = xstrdup ("../index.html");
else
  {
    filename = xmalloc (PATH_MAX1024);
    dirname[0] = '\0';
    *filename = '\0';

    /* Check for external reference: ``(info-document)node-name''
Assume this node lives at: ``../info-document/node-name.html''

We need to handle the special case (sigh): ``(info-document)'',
ie, an external top-node, which should translate to:
``../info-document/info-document.html'' */

    p = nodename;
    if (*nodename == '(')
6
←
Assuming the condition is true→
7
←
Taking true branch→
{
 int length;

 p = strchr (nodename, ')');
 if (p == NULL((void *)0))
8
←
Assuming 'p' is equal to NULL→
9
←
Taking true branch→
   {
     line_error (_("[unexpected] invalid node name: `%s'")((const char *) ("[unexpected] invalid node name: `%s'")), nodename);
     xexit (1);
   }

 length = p - nodename - 1;
 if (length > 5 &&
10
←
Assuming 'length' is <= 5→
     FILENAME_CMPNstrncmp (p - 5, ".info", 5) == 0)
   length -= 5;
 /* This is for DOS, and also for Windows and GNU/Linux
    systems that might have Info files copied from a DOS 8+3
    filesystem.  */
 if (length > 4 &&
11
←
Assuming 'length' is <= 4→
     FILENAME_CMPNstrncmp (p - 4, ".inf", 4) == 0)
   length -= 4;
 strcpy (filename, "../");
 strncpy (dirname, nodename + 1, length);
 *(dirname + length) = '\0';
 fix_filename (dirname);
 strcat (filename, dirname);
 strcat (filename, "/");
 p++;
12
←
Null pointer value stored to 'p'→
}

    /* In the case of just (info-document), there will be nothing
remaining, and we will refer to ../info-document/, which will
work fine.  */
    strcat (filename, p);
13
←
Null pointer passed as 2nd argument to string concatenation function
    if (*p)
{
 /* Hmm */
 fix_filename (filename + strlen (filename) - strlen (p));
 strcat (filename, ".html");
}
  }

/* Produce a file name suitable for the underlying filesystem.  */
normalize_filename (filename);

793#if 0
/* We add ``#Nodified-filename'' anchor to external references to be
   prepared for non-split HTML support.  Maybe drop this. */
if (href && *dirname)
  {
    strcat (filename, "#");
    strcat (filename, p);
    /* Hmm, again */
    fix_filename (filename + strlen (filename) - strlen (p));
  }
803#endif

return filename;
806}

808/* If necessary, ie, if current filename != filename of node, output
 the node name.  */
810void
811add_nodename_to_filename (char *nodename, int href)
812{
/* for now, don't check: always output filename */
char *filename = nodename_to_filename_1 (nodename, href);
add_word (filename);
free (filename);
817}

819char *
820nodename_to_filename (char *nodename)
821{
/* The callers of nodename_to_filename use the result to produce
   <a href=, so call nodename_to_filename_1 with last arg non-zero.  */
return nodename_to_filename_1 (nodename, 1);
1
Calling 'nodename_to_filename_1'→
825}