/usr/src/usr.bin/mg/echo.c

Bug Summary

File:	src/usr.bin/mg/echo.c
Warning:	line 963, column 12 Assigned value is garbage or undefined

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 echo.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/usr.bin/mg/obj -resource-dir /usr/local/lib/clang/13.0.0 -D REGEX -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/usr.bin/mg/obj -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/usr.bin/mg/echo.c

1/*	$OpenBSD: echo.c,v 1.68 2021/03/02 15:03:35 lum Exp $	*/

3/* This file is in the public domain. */

5/*
*	Echo line reading and writing.
*
* Common routines for reading and writing characters in the echo line area
* of the display screen. Used by the entire known universe.
*/

12#include <sys/queue.h>
13#include <signal.h>
14#include <stdarg.h>
15#include <stdio.h>
16#include <stdlib.h>
17#include <string.h>
18#include <term.h>

20#include "def.h"
21#include "funmap.h"
22#include "key.h"
23#include "macro.h"

25static char	*veread(const char *, char *, size_t, int, va_list)
	__attribute__((__format__ (printf, 1, 0)));
27static int	 complt(int, int, char *, size_t, int, int *);
28static int	 complt_list(int, char *, int);
29static void	 eformat(const char *, va_list)
	__attribute__((__format__ (printf, 1, 0)));
31static void	 eputi(int, int);
32static void	 eputl(long, int);
33static void	 eputs(const char *);
34static void	 eputc(char);
35static struct list	*copy_list(struct list *);

37int		epresf = FALSE0;		/* stuff in echo line flag */

39/*
* Erase the echo line.
*/
42void
43eerase(void)
44{
ttcolor(CTEXT1);
ttmove(nrow - 1, 0);
tteeol();
ttflush();
epresf = FALSE0;
50}

52/*
* Ask a "yes" or "no" question.  Return ABORT if the user answers the
* question with the abort ("^G") character.  Return FALSE for "no" and
* TRUE for "yes".  No formatting services are available.  No newline
* required.
*/
58int
59eyorn(const char *sp)
60{
int	 s;

if (inmacro)
return (TRUE1);

ewprintf("%s? (y or n) ", sp);
for (;;) {
s = getkey(FALSE0);
if (s == 'y' || s == 'Y' || s == ' ') {
	ewprintf("");
	return (TRUE1);
}
if (s == 'n' || s == 'N' || s == CCHR('M')(('M') ^ 0x40)) {
	ewprintf("");
	return (FALSE0);
}
if (s == CCHR('G')(('G') ^ 0x40)) {
	ewprintf("");
	return (ctrlg(FFRAND8, 1));
}
ewprintf("Please answer y or n.  %s? (y or n) ", sp);
}
/* NOTREACHED */
84}

86/*
* Ask a "yes", "no" or "revert" question.  Return ABORT if the user answers
* the question with the abort ("^G") character.  Return FALSE for "no",
* TRUE for "yes" and REVERT for "revert". No formatting services are
* available.  No newline required.
*/
92int
93eynorr(const char *sp)
94{
int	 s;

if (inmacro)
return (TRUE1);

ewprintf("%s? (y, n or r) ", sp);
for (;;) {
s = getkey(FALSE0);
if (s == 'y' || s == 'Y' || s == ' ') {
	ewprintf("");
	return (TRUE1);
}
if (s == 'n' || s == 'N' || s == CCHR('M')(('M') ^ 0x40)) {
	ewprintf("");
	return (FALSE0);
}
if (s == 'r' || s == 'R') {
	ewprintf("");
	return (REVERT4);
}
if (s == CCHR('G')(('G') ^ 0x40)) {
	ewprintf("");
	return (ctrlg(FFRAND8, 1));
}
ewprintf("Please answer y, n or r.");
}
/* NOTREACHED */
122}

124/*
* Like eyorn, but for more important questions.  User must type all of
* "yes" or "no" and the trailing newline.
*/
128int
129eyesno(const char *sp)
130{
char	 buf[64], *rep;

if (inmacro)
return (TRUE1);

rep = eread("%s? (yes or no) ", buf, sizeof(buf),
   EFNUL0x0040 | EFNEW0x0008 | EFCR0x0010, sp);
for (;;) {
if (rep == NULL((void *)0)) {
	ewprintf("");
	return (ABORT2);
}
if (rep[0] != '\0') {
	if (macrodef) {
		struct line	*lp = maclcur;

		maclcur = lp->l_bp;
		maclcur->l_fp = lp->l_fp;
		free(lp);
	}
	if (strcasecmp(rep, "yes") == 0) {
		ewprintf("");
		return (TRUE1);
	}
	if (strcasecmp(rep, "no") == 0) {
		ewprintf("");
		return (FALSE0);
	}
}
rep = eread("Please answer yes or no.  %s? (yes or no) ",
    buf, sizeof(buf), EFNUL0x0040 | EFNEW0x0008 | EFCR0x0010, sp);
}
/* NOTREACHED */
164}

166/*
* This is the general "read input from the echo line" routine.  The basic
* idea is that the prompt string "prompt" is written to the echo line, and
* a one line reply is read back into the supplied "buf" (with maximum
* length "len").
* XXX: When checking for an empty return value, always check rep, *not* buf
* as buf may be freed in pathological cases.
*/
174char *
175eread(const char *fmt, char *buf, size_t nbuf, int flag, ...)
176{
va_list	 ap;
char	*rep;

va_start(ap, flag)__builtin_va_start(ap, flag);
rep = veread(fmt, buf, nbuf, flag, ap);
va_end(ap)__builtin_va_end(ap);
return (rep);
184}

186static char *
187veread(const char *fp, char *buf, size_t nbuf, int flag, va_list ap)
188{
int	 dynbuf = (buf == NULL((void *)0));
1
Assuming 'buf' is not equal to NULL→
int	 cpos, epos;		/* cursor, end position in buf */
int	 c, i, y;
int	 cplflag;		/* display completion list */
int	 cwin = FALSE0;		/* completion list created */
int	 mr, ml;		/* match left/right arrows */
int	 esc;			/* position in esc pattern */
struct buffer	*bp;			/* completion list buffer */
struct mgwin	*wp;			/* window for compl list */
int	 match;			/* esc match found */
int	 cc, rr;		/* saved ttcol, ttrow */
char	*ret;			/* return value */

static char emptyval[] = "";	/* XXX hackish way to return err msg*/

if (inmacro) {
2
←
Assuming 'inmacro' is 0→
3
←
Taking false branch→
if (dynbuf) {
	if ((buf = malloc(maclcur->l_used + 1)) == NULL((void *)0))
		return (NULL((void *)0));
} else if (maclcur->l_used >= nbuf)
	return (NULL((void *)0));
bcopy(maclcur->l_text, buf, maclcur->l_used);
buf[maclcur->l_used] = '\0';
maclcur = maclcur->l_fp;
return (buf);
}
epos = cpos = 0;
ml = mr = esc = 0;
cplflag = FALSE0;

if ((flag & EFNEW0x0008) != 0 || ttrow != nrow - 1) {
4
←
Assuming the condition is false→
5
←
Assuming the condition is false→
6
←
Taking false branch→
ttcolor(CTEXT1);
ttmove(nrow - 1, 0);
epresf = TRUE1;
} else
eputc(' ');
eformat(fp, ap);
7
←
Calling 'eformat'→
if ((flag & EFDEF0x0020) != 0) {
if (buf == NULL((void *)0))
	return (NULL((void *)0));
eputs(buf);
epos = cpos += strlen(buf);
}
tteeol();
ttflush();
for (;;) {
c = getkey(FALSE0);
if ((flag & EFAUTO0x0007) != 0 && c == CCHR('I')(('I') ^ 0x40)) {
	if (cplflag == TRUE1) {
		complt_list(flag, buf, cpos);
		cwin = TRUE1;
	} else if (complt(flag, c, buf, nbuf, epos, &i) == TRUE1) {
		cplflag = TRUE1;
		epos += i;
		cpos = epos;
	}
	continue;
}
cplflag = FALSE0;

if (esc > 0) { /* ESC sequence started */
	match = 0;
	if (ml == esc && key_leftcur_term->type. Strings[79][ml] && c == key_leftcur_term->type. Strings[79][ml]) {
		match++;
		if (key_leftcur_term->type. Strings[79][++ml] == '\0') {
			c = CCHR('B')(('B') ^ 0x40);
			esc = 0;
		}
	}
	if (mr == esc && key_rightcur_term->type. Strings[83][mr] && c == key_rightcur_term->type. Strings[83][mr]) {
		match++;
		if (key_rightcur_term->type. Strings[83][++mr] == '\0') {
			c = CCHR('F')(('F') ^ 0x40);
			esc = 0;
		}
	}
	if (match == 0) {
		esc = 0;
		continue;
		/* hack. how do we know esc pattern is done? */
	}
	if (esc > 0) {
		esc++;
		continue;
	}
}
switch (c) {
case CCHR('A')(('A') ^ 0x40): /* start of line */
	while (cpos > 0) {
		if (ISCTRL(buf[--cpos])((cinfo[((unsigned char) (buf[--cpos]))]&0x08)!=0) != FALSE0) {
			ttputc('\b');
			--ttcol;
		}
		ttputc('\b');
		--ttcol;
	}
	ttflush();
	break;
case CCHR('D')(('D') ^ 0x40):
	if (cpos != epos) {
		tteeol();
		epos--;
		rr = ttrow;
		cc = ttcol;
		for (i = cpos; i < epos; i++) {
			buf[i] = buf[i + 1];
			eputc(buf[i]);
		}
		ttmove(rr, cc);
		ttflush();
	}
	break;
case CCHR('E')(('E') ^ 0x40): /* end of line */
	while (cpos < epos) {
		eputc(buf[cpos++]);
	}
	ttflush();
	break;
case CCHR('B')(('B') ^ 0x40): /* back */
	if (cpos > 0) {
		if (ISCTRL(buf[--cpos])((cinfo[((unsigned char) (buf[--cpos]))]&0x08)!=0) != FALSE0) {
			ttputc('\b');
			--ttcol;
		}
		ttputc('\b');
		--ttcol;
		ttflush();
	}
	break;
case CCHR('F')(('F') ^ 0x40): /* forw */
	if (cpos < epos) {
		eputc(buf[cpos++]);
		ttflush();
	}
	break;
case CCHR('Y')(('Y') ^ 0x40): /* yank from kill buffer */
	i = 0;
	while ((y = kremove(i++)) >= 0 && y != *curbp->b_nlchr) {
		int t;
		if (dynbuf && epos + 1 >= nbuf) {
			void *newp;
			size_t newsize = epos + epos + 16;
			if ((newp = realloc(buf, newsize))
			    == NULL((void *)0))
				goto memfail;
			buf = newp;
			nbuf = newsize;
		}
		if (!dynbuf && epos + 1 >= nbuf) {
			dobeep();
			ewprintf("Line too long. Press Control-g to escape.");
			goto skipkey;
		}
		for (t = epos; t > cpos; t--)
			buf[t] = buf[t - 1];
		buf[cpos++] = (char)y;
		epos++;
		eputc((char)y);
		cc = ttcol;
		rr = ttrow;
		for (t = cpos; t < epos; t++)
			eputc(buf[t]);
		ttmove(rr, cc);
	}
	ttflush();
	break;
case CCHR('K')(('K') ^ 0x40): /* copy here-EOL to kill buffer */
	kdelete();
	for (i = cpos; i < epos; i++)
		kinsert(buf[i], KFORW0x01);
	tteeol();
	epos = cpos;
	ttflush();
	break;
case CCHR('[')(('[') ^ 0x40):
	ml = mr = esc = 1;
	break;
case CCHR('J')(('J') ^ 0x40):
	c = CCHR('M')(('M') ^ 0x40);
	/* FALLTHROUGH */
case CCHR('M')(('M') ^ 0x40):			/* return, done */
	/* if there's nothing in the minibuffer, abort */
	if (epos == 0 && !(flag & EFNUL0x0040)) {
		(void)ctrlg(FFRAND8, 0);
		ttflush();
		return (NULL((void *)0));
	}
	if ((flag & EFFUNC0x0001) != 0) {
		if (complt(flag, c, buf, nbuf, epos, &i)
		    == FALSE0)
			continue;
		if (i > 0)
			epos += i;
	}
	buf[epos] = '\0';
	if ((flag & EFCR0x0010) != 0) {
		ttputc(CCHR('M')(('M') ^ 0x40));
		ttflush();
	}
	if (macrodef) {
		struct line	*lp;

		if ((lp = lalloc(cpos)) == NULL((void *)0))
			goto memfail;
		lp->l_fp = maclcur->l_fp;
		maclcur->l_fp = lp;
		lp->l_bp = maclcur;
		maclcur = lp;
		bcopy(buf, lp->l_text, cpos);
	}
	ret = buf;
	goto done;
case CCHR('G')(('G') ^ 0x40):			/* bell, abort */
	eputc(CCHR('G')(('G') ^ 0x40));
	(void)ctrlg(FFRAND8, 0);
	ttflush();
	ret = NULL((void *)0);
	goto done;
case CCHR('H')(('H') ^ 0x40):			/* rubout, erase */
case CCHR('?')(('?') ^ 0x40):
	if (cpos != 0) {
		y = buf[--cpos];
		epos--;
		ttputc('\b');
		ttcol--;
		if (ISCTRL(y)((cinfo[((unsigned char) (y))]&0x08)!=0) != FALSE0) {
			ttputc('\b');
			ttcol--;
		}
		rr = ttrow;
		cc = ttcol;
		for (i = cpos; i < epos; i++) {
			buf[i] = buf[i + 1];
			eputc(buf[i]);
		}
		ttputc(' ');
		if (ISCTRL(y)((cinfo[((unsigned char) (y))]&0x08)!=0) != FALSE0) {
			ttputc(' ');
			ttputc('\b');
		}
		ttputc('\b');
		ttmove(rr, cc);
		ttflush();
	}
	break;
case CCHR('X')(('X') ^ 0x40):			/* kill line */
case CCHR('U')(('U') ^ 0x40):
	while (cpos != 0) {
		ttputc('\b');
		ttputc(' ');
		ttputc('\b');
		--ttcol;
		if (ISCTRL(buf[--cpos])((cinfo[((unsigned char) (buf[--cpos]))]&0x08)!=0) != FALSE0) {
			ttputc('\b');
			ttputc(' ');
			ttputc('\b');
			--ttcol;
		}
		epos--;
	}
	ttflush();
	break;
case CCHR('W')(('W') ^ 0x40):			/* kill to beginning of word */
	while ((cpos > 0) && !ISWORD(buf[cpos - 1])((cinfo[((unsigned char) (buf[cpos - 1]))]&0x01)!=0)) {
		ttputc('\b');
		ttputc(' ');
		ttputc('\b');
		--ttcol;
		if (ISCTRL(buf[--cpos])((cinfo[((unsigned char) (buf[--cpos]))]&0x08)!=0) != FALSE0) {
			ttputc('\b');
			ttputc(' ');
			ttputc('\b');
			--ttcol;
		}
		epos--;
	}
	while ((cpos > 0) && ISWORD(buf[cpos - 1])((cinfo[((unsigned char) (buf[cpos - 1]))]&0x01)!=0)) {
		ttputc('\b');
		ttputc(' ');
		ttputc('\b');
		--ttcol;
		if (ISCTRL(buf[--cpos])((cinfo[((unsigned char) (buf[--cpos]))]&0x08)!=0) != FALSE0) {
			ttputc('\b');
			ttputc(' ');
			ttputc('\b');
			--ttcol;
		}
		epos--;
	}
	ttflush();
	break;
case CCHR('\\')(('\\') ^ 0x40):
case CCHR('Q')(('Q') ^ 0x40):			/* quote next */
	c = getkey(FALSE0);
	/* FALLTHROUGH */
default:
	if (dynbuf && epos + 1 >= nbuf) {
		void *newp;
		size_t newsize = epos + epos + 16;
		if ((newp = realloc(buf, newsize)) == NULL((void *)0))
			goto memfail;
		buf = newp;
		nbuf = newsize;
	}
	if (!dynbuf && epos + 1 >= nbuf) {
		dobeep();
		ewprintf("Line too long. Press Control-g to escape.");
		goto skipkey;
	}
	for (i = epos; i > cpos; i--)
		buf[i] = buf[i - 1];
	buf[cpos++] = (char)c;
	epos++;
	eputc((char)c);
	cc = ttcol;
	rr = ttrow;
	for (i = cpos; i < epos; i++)
		eputc(buf[i]);
	ttmove(rr, cc);
	ttflush();
}

511skipkey:	/* ignore key press */
512;
}
514done:
if (cwin == TRUE1) {
/* blow away cpltion window */
bp = bfind("*Completions*", TRUE1);
if ((wp = popbuf(bp, WEPHEM0x01)) != NULL((void *)0)) {
	if (wp->w_flag & WEPHEM0x01) {
		curwp = wp;
		delwind(FFRAND8, 1);
	} else {
		killbuffer(bp);
	}
}
}
return (ret);
528memfail:
if (dynbuf && buf)
free(buf);
dobeep();
ewprintf("Out of memory");
return (emptyval);
534}

536/*
* Do completion on a list of objects.
* c is SPACE, TAB, or CR
* return TRUE if matched (or partially matched)
* FALSE is result is ambiguous,
* ABORT on error.
*/
543static int
544complt(int flags, int c, char *buf, size_t nbuf, int cpos, int *nx)
545{
struct list	*lh, *lh2;
struct list	*wholelist = NULL((void *)0);
int	 i, nxtra, nhits, bxtra, msglen, nshown;
int	 wflag = FALSE0;
char	*msg;

lh = lh2 = NULL((void *)0);

if ((flags & EFFUNC0x0001) != 0) {
buf[cpos] = '\0';
wholelist = lh = complete_function_list(buf);
} else if ((flags & EFBUF0x0002) != 0) {
lh = &(bheadp->b_list);
} else if ((flags & EFFILE0x0004) != 0) {
buf[cpos] = '\0';
wholelist = lh = make_file_list(buf);
} else
panic("broken complt call: flags");

if (c == ' ')
wflag = TRUE1;
else if (c != '\t' && c != CCHR('M')(('M') ^ 0x40))
panic("broken complt call: c");

nhits = 0;
nxtra = HUGE1000;

for (; lh != NULL((void *)0); lh = lh->l_nextl_p.l_nxt) {
if (memcmp(buf, lh->l_name, cpos) != 0)
	continue;
if (nhits == 0)
	lh2 = lh;
++nhits;
if (lh->l_name[cpos] == '\0')
	nxtra = -1; /* exact match */
else {
	bxtra = getxtra(lh, lh2, cpos, wflag);
	if (bxtra < nxtra)
		nxtra = bxtra;
	lh2 = lh;
}
}
if (nhits == 0)
msg = " [No match]";
else if (nhits > 1 && nxtra == 0)
msg = " [Ambiguous. Ctrl-G to cancel]";
else {
/*
 * Being lazy - ought to check length, but all things
 * autocompleted have known types/lengths.
 */
if (nxtra < 0 && nhits > 1 && c == ' ')
	nxtra = 1; /* ??? */
for (i = 0; i < nxtra && cpos < nbuf; ++i) {
	buf[cpos] = lh2->l_name[cpos];
	eputc(buf[cpos++]);
}
/* XXX should grow nbuf */
ttflush();
free_file_list(wholelist);
*nx = nxtra;
if (nxtra < 0 && c != CCHR('M')(('M') ^ 0x40)) /* exact */
	*nx = 0;
return (TRUE1);
}

/*
* wholelist is NULL if we are doing buffers.  Want to free lists
* that were created for us, but not the buffer list!
*/
free_file_list(wholelist);

/* Set up backspaces, etc., being mindful of echo line limit. */
msglen = strlen(msg);
nshown = (ttcol + msglen + 2 > ncol) ?
ncol - ttcol - 2 : msglen;
eputs(msg);
ttcol -= (i = nshown);	/* update ttcol!		 */
while (i--)		/* move back before msg		 */
ttputc('\b');
ttflush();		/* display to user		 */
i = nshown;
while (i--)		/* blank out on next flush	 */
eputc(' ');
ttcol -= (i = nshown);	/* update ttcol on BS's		 */
while (i--)
ttputc('\b');	/* update ttcol again!		 */
*nx = nxtra;
return ((nhits > 0) ? TRUE1 : FALSE0);
635}

637/*
* Do completion on a list of objects, listing instead of completing.
*/
640static int
641complt_list(int flags, char *buf, int cpos)
642{
struct list	*lh, *lh2, *lh3;
struct list	*wholelist = NULL((void *)0);
struct buffer	*bp;
int	 i, maxwidth, width;
int	 preflen = 0;
int	 oldrow = ttrow;
int	 oldcol = ttcol;
int	 oldhue = tthue;
char	 *linebuf;
size_t	 linesize, len;
char *cp;

lh = NULL((void *)0);

ttflush();

/* The results are put into a completion buffer. */
bp = bfind("*Completions*", TRUE1);
if (bclear(bp) == FALSE0)
return (FALSE0);
bp->b_flag |= BFREADONLY0x10;

/*
* First get the list of objects.  This list may contain only
* the ones that complete what has been typed, or may be the
* whole list of all objects of this type.  They are filtered
* later in any case.  Set wholelist if the list has been
* cons'ed up just for us, so we can free it later.  We have
* to copy the buffer list for this function even though we
* didn't for complt.  The sorting code does destructive
* changes to the list, which we don't want to happen to the
* main buffer list!
*/
if ((flags & EFBUF0x0002) != 0)
wholelist = lh = copy_list(&(bheadp->b_list));
else if ((flags & EFFUNC0x0001) != 0) {
buf[cpos] = '\0';
wholelist = lh = complete_function_list(buf);
} else if ((flags & EFFILE0x0004) != 0) {
buf[cpos] = '\0';
wholelist = lh = make_file_list(buf);
/*
 * We don't want to display stuff up to the / for file
 * names preflen is the list of a prefix of what the
 * user typed that should not be displayed.
 */
cp = strrchr(buf, '/');
if (cp)
	preflen = cp - buf + 1;
} else
panic("broken complt call: flags");

/*
* Sort the list, since users expect to see it in alphabetic
* order.
*/
lh2 = lh;
while (lh2 != NULL((void *)0)) {
lh3 = lh2->l_nextl_p.l_nxt;
while (lh3 != NULL((void *)0)) {
	if (strcmp(lh2->l_name, lh3->l_name) > 0) {
		cp = lh2->l_name;
		lh2->l_name = lh3->l_name;
		lh3->l_name = cp;
	}
	lh3 = lh3->l_nextl_p.l_nxt;
}
lh2 = lh2->l_nextl_p.l_nxt;
}

/*
* First find max width of object to be displayed, so we can
* put several on a line.
*/
maxwidth = 0;
lh2 = lh;
while (lh2 != NULL((void *)0)) {
for (i = 0; i < cpos; ++i) {
	if (buf[i] != lh2->l_name[i])
		break;
}
if (i == cpos) {
	width = strlen(lh2->l_name);
	if (width > maxwidth)
		maxwidth = width;
}
lh2 = lh2->l_nextl_p.l_nxt;
}
maxwidth += 1 - preflen;

/*
* Now do the display.  Objects are written into linebuf until
* it fills, and then put into the help buffer.
*/
linesize = (ncol > maxwidth ? ncol : maxwidth) + 1;
if ((linebuf = malloc(linesize)) == NULL((void *)0)) {
free_file_list(wholelist);
return (FALSE0);
}
width = 0;

/*
* We're going to strlcat() into the buffer, so it has to be
* NUL terminated.
*/
linebuf[0] = '\0';
for (lh2 = lh; lh2 != NULL((void *)0); lh2 = lh2->l_nextl_p.l_nxt) {
for (i = 0; i < cpos; ++i) {
	if (buf[i] != lh2->l_name[i])
		break;
}
/* if we have a match */
if (i == cpos) {
	/* if it wraps */
	if ((width + maxwidth) > ncol) {
		addline(bp, linebuf)addlinef(bp, "%s", linebuf);
		linebuf[0] = '\0';
		width = 0;
	}
	len = strlcat(linebuf, lh2->l_name + preflen,
	    linesize);
	width += maxwidth;
	if (len < width && width < linesize) {
		/* pad so the objects nicely line up */
		memset(linebuf + len, ' ',
		    maxwidth - strlen(lh2->l_name + preflen));
		linebuf[width] = '\0';
	}
}
}
if (width > 0)
addline(bp, linebuf)addlinef(bp, "%s", linebuf);
free(linebuf);

/*
* Note that we free lists only if they are put in wholelist lists
* that were built just for us should be freed.  However when we use
* the buffer list, obviously we don't want it freed.
*/
free_file_list(wholelist);
popbuftop(bp, WEPHEM0x01);	/* split the screen and put up the help
		 * buffer */
update(CMODE2);		/* needed to make the new stuff actually
		 * appear */
ttmove(oldrow, oldcol);	/* update leaves cursor in arbitrary place */
ttcolor(oldhue);	/* with arbitrary color */
ttflush();
return (0);
791}

793/*
* The "lp1" and "lp2" point to list structures.  The "cpos" is a horizontal
* position in the name.  Return the longest block of characters that can be
* autocompleted at this point.  Sometimes the two symbols are the same, but
* this is normal.
*/
799int
800getxtra(struct list *lp1, struct list *lp2, int cpos, int wflag)
801{
int	i;

i = cpos;
for (;;) {
if (lp1->l_name[i] != lp2->l_name[i])
	break;
if (lp1->l_name[i] == '\0')
	break;
++i;
if (wflag && !ISWORD(lp1->l_name[i - 1])((cinfo[((unsigned char) (lp1->l_name[i - 1]))]&0x01)!=
0))
	break;
}
return (i - cpos);
815}

817/*
* Special "printf" for the echo line.  Each call to "ewprintf" starts a
* new line in the echo area, and ends with an erase to end of the echo
* line.  The formatting is done by a call to the standard formatting
* routine.
*/
823void
824ewprintf(const char *fmt, ...)
825{
va_list	 ap;

if (inmacro)
return;

va_start(ap, fmt)__builtin_va_start(ap, fmt);
ttcolor(CTEXT1);
ttmove(nrow - 1, 0);
eformat(fmt, ap);
va_end(ap)__builtin_va_end(ap);
tteeol();
ttflush();
epresf = TRUE1;
839}

841/*
* Printf style formatting. This is called by "ewprintf" to provide
* formatting services to its clients.  The move to the start of the
* echo line, and the erase to the end of the echo line, is done by
* the caller. 
* %c prints the "name" of the supplied character.
* %k prints the name of the current key (and takes no arguments).
* %d prints a decimal integer
* %o prints an octal integer
* %p prints a pointer
* %s prints a string
* %ld prints a long word
* Anything else is echoed verbatim
*/
855static void
856eformat(const char *fp, va_list ap)
857{
char	kname[NKNAME20], tmp[100], *cp;
int	c;

while ((c = *fp++) != '\0') {
8
←
Assuming the condition is true→
9
←
Loop condition is true.  Entering loop body→
if (c != '%')
10
←
Assuming the condition is false→
11
←
Taking false branch→
	eputc(c);
else {
	c = *fp++;
	switch (c) {
12
←
Control jumps to 'case 107:'  at line 873→
	case 'c':
		getkeyname(kname, sizeof(kname),
		    va_arg(ap, int)__builtin_va_arg(ap, int));
		eputs(kname);
		break;

	case 'k':
		for (cp = kname, c = 0; c < key.k_count; c++) {
13
←
Assuming 'c' is >= field 'k_count'→
14
←
Loop condition is false. Execution continues on line 880→
			if (c)
				*cp++ = ' ';
			cp = getkeyname(cp, sizeof(kname) -
			    (cp - kname) - 1, key.k_chars[c]);
		}
		eputs(kname);
15
←
Calling 'eputs'→
		break;

	case 'd':
		eputi(va_arg(ap, int)__builtin_va_arg(ap, int), 10);
		break;

	case 'o':
		eputi(va_arg(ap, int)__builtin_va_arg(ap, int), 8);
		break;

	case 'p':
		snprintf(tmp, sizeof(tmp), "%p",
		    va_arg(ap, void *)__builtin_va_arg(ap, void *));
		eputs(tmp);
		break;

	case 's':
		eputs(va_arg(ap, char *)__builtin_va_arg(ap, char *));
		break;

	case 'l':
		/* explicit longword */
		c = *fp++;
		switch (c) {
		case 'd':
			eputl(va_arg(ap, long)__builtin_va_arg(ap, long), 10);
			break;
		default:
			eputc(c);
			break;
		}
		break;

	default:
		eputc(c);
	}
}
}
919}

921/*
* Put integer, in radix "r".
*/
924static void
925eputi(int i, int r)
926{
int	 q;

if (i < 0) {
eputc('-');
i = -i;
}
if ((q = i / r) != 0)
eputi(q, r);
eputc(i % r + '0');
936}

938/*
* Put long, in radix "r".
*/
941static void
942eputl(long l, int r)
943{
long	 q;

if (l < 0) {
eputc('-');
l = -l;
}
if ((q = l / r) != 0)
eputl(q, r);
eputc((int)(l % r) + '0');
953}

955/*
* Put string.
*/
958static void
959eputs(const char *s)
960{
int	 c;

while ((c = *s++) != '\0')
16
←
Assigned value is garbage or undefined
eputc(c);
965}

967/*
* Put character.  Watch for control characters, and for the line getting
* too long.
*/
971static void
972eputc(char c)
973{
if (ttcol + 2 < ncol) {
if (ISCTRL(c)((cinfo[((unsigned char) (c))]&0x08)!=0)) {
	eputc('^');
	c = CCHR(c)((c) ^ 0x40);
}
ttputc(c);
++ttcol;
}
982}

984void
985free_file_list(struct list *lp)
986{
struct list	*next;

while (lp) {
next = lp->l_nextl_p.l_nxt;
free(lp->l_name);
free(lp);
lp = next;
}
995}

997static struct list *
998copy_list(struct list *lp)
999{
struct list	*current, *last, *nxt;

last = NULL((void *)0);
while (lp) {
current = malloc(sizeof(struct list));
if (current == NULL((void *)0)) {
	/* Free what we have allocated so far */
	for (current = last; current; current = nxt) {
		nxt = current->l_nextl_p.l_nxt;
		free(current->l_name);
		free(current);
	}
	return (NULL((void *)0));
}
current->l_nextl_p.l_nxt = last;
current->l_name = strdup(lp->l_name);
last = current;
lp = lp->l_nextl_p.l_nxt;
}
return (last);
1020}