patch.c revision 298531
1/*-
2 * Copyright 1986, Larry Wall
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following condition is met:
6 * 1. Redistributions of source code must retain the above copyright notice,
7 * this condition and the following disclaimer.
8 *
9 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND ANY
10 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
11 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
12 * DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE FOR
13 * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
14 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
15 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
16 * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
17 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
18 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
19 * SUCH DAMAGE.
20 *
21 * patch - a program to apply diffs to original files
22 *
23 * -C option added in 1998, original code by Marc Espie, based on FreeBSD
24 * behaviour
25 *
26 * $OpenBSD: patch.c,v 1.54 2014/12/13 10:31:07 tobias Exp $
27 * $FreeBSD: head/usr.bin/patch/patch.c 298531 2016-04-24 04:28:04Z pfg $
28 *
29 */
30
31#include <sys/types.h>
32#include <sys/stat.h>
33
34#include <ctype.h>
35#include <getopt.h>
36#include <limits.h>
37#include <stdio.h>
38#include <string.h>
39#include <stdlib.h>
40#include <unistd.h>
41
42#include "common.h"
43#include "util.h"
44#include "pch.h"
45#include "inp.h"
46#include "backupfile.h"
47#include "pathnames.h"
48
49mode_t		filemode = 0644;
50
51char		*buf;			/* general purpose buffer */
52size_t		buf_size;		/* size of the general purpose buffer */
53
54bool		using_plan_a = true;	/* try to keep everything in memory */
55bool		out_of_mem = false;	/* ran out of memory in plan a */
56
57#define MAXFILEC 2
58
59char		*filearg[MAXFILEC];
60bool		ok_to_create_file = false;
61char		*outname = NULL;
62char		*origprae = NULL;
63char		*TMPOUTNAME;
64char		*TMPINNAME;
65char		*TMPREJNAME;
66char		*TMPPATNAME;
67bool		toutkeep = false;
68bool		trejkeep = false;
69bool		warn_on_invalid_line;
70bool		last_line_missing_eol;
71
72#ifdef DEBUGGING
73int		debug = 0;
74#endif
75
76bool		force = false;
77bool		batch = false;
78bool		verbose = true;
79bool		reverse = false;
80bool		noreverse = false;
81bool		skip_rest_of_patch = false;
82int		strippath = 957;
83bool		canonicalize = false;
84bool		check_only = false;
85int		diff_type = 0;
86char		*revision = NULL;	/* prerequisite revision, if any */
87LINENUM		input_lines = 0;	/* how long is input file in lines */
88int		posix = 0;		/* strict POSIX mode? */
89
90static void	reinitialize_almost_everything(void);
91static void	get_some_switches(void);
92static LINENUM	locate_hunk(LINENUM);
93static void	abort_context_hunk(void);
94static void	rej_line(int, LINENUM);
95static void	abort_hunk(void);
96static void	apply_hunk(LINENUM);
97static void	init_output(const char *);
98static void	init_reject(const char *);
99static void	copy_till(LINENUM, bool);
100static bool	spew_output(void);
101static void	dump_line(LINENUM, bool);
102static bool	patch_match(LINENUM, LINENUM, LINENUM);
103static bool	similar(const char *, const char *, int);
104static void	usage(void);
105
106/* true if -E was specified on command line.  */
107static bool	remove_empty_files = false;
108
109/* true if -R was specified on command line.  */
110static bool	reverse_flag_specified = false;
111
112static bool	Vflag = false;
113
114/* buffer holding the name of the rejected patch file. */
115static char	rejname[NAME_MAX + 1];
116
117/* how many input lines have been irretractibly output */
118static LINENUM	last_frozen_line = 0;
119
120static int	Argc;		/* guess */
121static char	**Argv;
122static int	Argc_last;	/* for restarting plan_b */
123static char	**Argv_last;
124
125static FILE	*ofp = NULL;	/* output file pointer */
126static FILE	*rejfp = NULL;	/* reject file pointer */
127
128static int	filec = 0;	/* how many file arguments? */
129static LINENUM	last_offset = 0;
130static LINENUM	maxfuzz = 2;
131
132/* patch using ifdef, ifndef, etc. */
133static bool		do_defines = false;
134/* #ifdef xyzzy */
135static char		if_defined[128];
136/* #ifndef xyzzy */
137static char		not_defined[128];
138/* #else */
139static const char	else_defined[] = "#else\n";
140/* #endif xyzzy */
141static char		end_defined[128];
142
143
144/* Apply a set of diffs as appropriate. */
145
146int
147main(int argc, char *argv[])
148{
149	int	error = 0, hunk, failed, i, fd;
150	bool	patch_seen, reverse_seen;
151	LINENUM	where = 0, newwhere, fuzz, mymaxfuzz;
152	const	char *tmpdir;
153	char	*v;
154
155	setvbuf(stdout, NULL, _IOLBF, 0);
156	setvbuf(stderr, NULL, _IOLBF, 0);
157	for (i = 0; i < MAXFILEC; i++)
158		filearg[i] = NULL;
159
160	buf_size = INITLINELEN;
161	buf = malloc((unsigned)(buf_size));
162	if (buf == NULL)
163		fatal("out of memory\n");
164
165	/* Cons up the names of the temporary files.  */
166	if ((tmpdir = getenv("TMPDIR")) == NULL || *tmpdir == '\0')
167		tmpdir = _PATH_TMP;
168	for (i = strlen(tmpdir) - 1; i > 0 && tmpdir[i] == '/'; i--)
169		;
170	i++;
171	if (asprintf(&TMPOUTNAME, "%.*s/patchoXXXXXXXXXX", i, tmpdir) == -1)
172		fatal("cannot allocate memory");
173	if ((fd = mkstemp(TMPOUTNAME)) < 0)
174		pfatal("can't create %s", TMPOUTNAME);
175	close(fd);
176
177	if (asprintf(&TMPINNAME, "%.*s/patchiXXXXXXXXXX", i, tmpdir) == -1)
178		fatal("cannot allocate memory");
179	if ((fd = mkstemp(TMPINNAME)) < 0)
180		pfatal("can't create %s", TMPINNAME);
181	close(fd);
182
183	if (asprintf(&TMPREJNAME, "%.*s/patchrXXXXXXXXXX", i, tmpdir) == -1)
184		fatal("cannot allocate memory");
185	if ((fd = mkstemp(TMPREJNAME)) < 0)
186		pfatal("can't create %s", TMPREJNAME);
187	close(fd);
188
189	if (asprintf(&TMPPATNAME, "%.*s/patchpXXXXXXXXXX", i, tmpdir) == -1)
190		fatal("cannot allocate memory");
191	if ((fd = mkstemp(TMPPATNAME)) < 0)
192		pfatal("can't create %s", TMPPATNAME);
193	close(fd);
194
195	v = getenv("SIMPLE_BACKUP_SUFFIX");
196	if (v)
197		simple_backup_suffix = v;
198	else
199		simple_backup_suffix = ORIGEXT;
200
201	/* parse switches */
202	Argc = argc;
203	Argv = argv;
204	get_some_switches();
205
206	if (!Vflag) {
207		if ((v = getenv("PATCH_VERSION_CONTROL")) == NULL)
208			v = getenv("VERSION_CONTROL");
209		if (v != NULL || !posix)
210			backup_type = get_version(v);	/* OK to pass NULL. */
211	}
212
213	/* make sure we clean up /tmp in case of disaster */
214	set_signals(0);
215
216	patch_seen = false;
217	for (open_patch_file(filearg[1]); there_is_another_patch();
218	    reinitialize_almost_everything()) {
219		/* for each patch in patch file */
220
221		patch_seen = true;
222
223		warn_on_invalid_line = true;
224
225		if (outname == NULL)
226			outname = xstrdup(filearg[0]);
227
228		/* for ed script just up and do it and exit */
229		if (diff_type == ED_DIFF) {
230			do_ed_script();
231			continue;
232		}
233		/* initialize the patched file */
234		if (!skip_rest_of_patch)
235			init_output(TMPOUTNAME);
236
237		/* initialize reject file */
238		init_reject(TMPREJNAME);
239
240		/* find out where all the lines are */
241		if (!skip_rest_of_patch)
242			scan_input(filearg[0]);
243
244		/*
245		 * from here on, open no standard i/o files, because
246		 * malloc might misfire and we can't catch it easily
247		 */
248
249		/* apply each hunk of patch */
250		hunk = 0;
251		failed = 0;
252		reverse_seen = false;
253		out_of_mem = false;
254		while (another_hunk()) {
255			hunk++;
256			fuzz = 0;
257			mymaxfuzz = pch_context();
258			if (maxfuzz < mymaxfuzz)
259				mymaxfuzz = maxfuzz;
260			if (!skip_rest_of_patch) {
261				do {
262					where = locate_hunk(fuzz);
263					if (hunk == 1 && where == 0 && !force && !reverse_seen) {
264						/* dwim for reversed patch? */
265						if (!pch_swap()) {
266							if (fuzz == 0)
267								say("Not enough memory to try swapped hunk!  Assuming unswapped.\n");
268							continue;
269						}
270						reverse = !reverse;
271						/* try again */
272						where = locate_hunk(fuzz);
273						if (where == 0) {
274							/* didn't find it swapped */
275							if (!pch_swap())
276								/* put it back to normal */
277								fatal("lost hunk on alloc error!\n");
278							reverse = !reverse;
279						} else if (noreverse) {
280							if (!pch_swap())
281								/* put it back to normal */
282								fatal("lost hunk on alloc error!\n");
283							reverse = !reverse;
284							say("Ignoring previously applied (or reversed) patch.\n");
285							skip_rest_of_patch = true;
286						} else if (batch) {
287							if (verbose)
288								say("%seversed (or previously applied) patch detected!  %s -R.",
289								    reverse ? "R" : "Unr",
290								    reverse ? "Assuming" : "Ignoring");
291						} else {
292							ask("%seversed (or previously applied) patch detected!  %s -R? [y] ",
293							    reverse ? "R" : "Unr",
294							    reverse ? "Assume" : "Ignore");
295							if (*buf == 'n') {
296								ask("Apply anyway? [n] ");
297								if (*buf != 'y')
298									skip_rest_of_patch = true;
299								else
300									reverse_seen = true;
301								where = 0;
302								reverse = !reverse;
303								if (!pch_swap())
304									/* put it back to normal */
305									fatal("lost hunk on alloc error!\n");
306							}
307						}
308					}
309				} while (!skip_rest_of_patch && where == 0 &&
310				    ++fuzz <= mymaxfuzz);
311
312				if (skip_rest_of_patch) {	/* just got decided */
313					if (ferror(ofp) || fclose(ofp)) {
314						say("Error writing %s\n",
315						    TMPOUTNAME);
316						error = 1;
317					}
318					ofp = NULL;
319				}
320			}
321			newwhere = pch_newfirst() + last_offset;
322			if (skip_rest_of_patch) {
323				abort_hunk();
324				failed++;
325				if (verbose)
326					say("Hunk #%d ignored at %ld.\n",
327					    hunk, newwhere);
328			} else if (where == 0) {
329				abort_hunk();
330				failed++;
331				if (verbose)
332					say("Hunk #%d failed at %ld.\n",
333					    hunk, newwhere);
334			} else {
335				apply_hunk(where);
336				if (verbose) {
337					say("Hunk #%d succeeded at %ld",
338					    hunk, newwhere);
339					if (fuzz != 0)
340						say(" with fuzz %ld", fuzz);
341					if (last_offset)
342						say(" (offset %ld line%s)",
343						    last_offset,
344						    last_offset == 1L ? "" : "s");
345					say(".\n");
346				}
347			}
348		}
349
350		if (out_of_mem && using_plan_a) {
351			Argc = Argc_last;
352			Argv = Argv_last;
353			say("\n\nRan out of memory using Plan A--trying again...\n\n");
354			if (ofp)
355				fclose(ofp);
356			ofp = NULL;
357			if (rejfp)
358				fclose(rejfp);
359			rejfp = NULL;
360			continue;
361		}
362		if (hunk == 0)
363			fatal("Internal error: hunk should not be 0\n");
364
365		/* finish spewing out the new file */
366		if (!skip_rest_of_patch && !spew_output()) {
367			say("Can't write %s\n", TMPOUTNAME);
368			error = 1;
369		}
370
371		/* and put the output where desired */
372		ignore_signals();
373		if (!skip_rest_of_patch) {
374			struct stat	statbuf;
375			char	*realout = outname;
376
377			if (!check_only) {
378				if (move_file(TMPOUTNAME, outname) < 0) {
379					toutkeep = true;
380					realout = TMPOUTNAME;
381					chmod(TMPOUTNAME, filemode);
382				} else
383					chmod(outname, filemode);
384
385				if (remove_empty_files &&
386				    stat(realout, &statbuf) == 0 &&
387				    statbuf.st_size == 0) {
388					if (verbose)
389						say("Removing %s (empty after patching).\n",
390						    realout);
391					unlink(realout);
392				}
393			}
394		}
395		if (ferror(rejfp) || fclose(rejfp)) {
396			say("Error writing %s\n", rejname);
397			error = 1;
398		}
399		rejfp = NULL;
400		if (failed) {
401			error = 1;
402			if (*rejname == '\0') {
403				if (strlcpy(rejname, outname,
404				    sizeof(rejname)) >= sizeof(rejname))
405					fatal("filename %s is too long\n", outname);
406				if (strlcat(rejname, REJEXT,
407				    sizeof(rejname)) >= sizeof(rejname))
408					fatal("filename %s is too long\n", outname);
409			}
410			if (!check_only)
411				say("%d out of %d hunks %s--saving rejects to %s\n",
412				    failed, hunk, skip_rest_of_patch ? "ignored" : "failed", rejname);
413			else
414				say("%d out of %d hunks %s while patching %s\n",
415				    failed, hunk, skip_rest_of_patch ? "ignored" : "failed", filearg[0]);
416			if (!check_only && move_file(TMPREJNAME, rejname) < 0)
417				trejkeep = true;
418		}
419		set_signals(1);
420	}
421
422	if (!patch_seen)
423		error = 2;
424
425	my_exit(error);
426	/* NOTREACHED */
427}
428
429/* Prepare to find the next patch to do in the patch file. */
430
431static void
432reinitialize_almost_everything(void)
433{
434	re_patch();
435	re_input();
436
437	input_lines = 0;
438	last_frozen_line = 0;
439
440	filec = 0;
441	if (!out_of_mem) {
442		free(filearg[0]);
443		filearg[0] = NULL;
444	}
445
446	free(outname);
447	outname = NULL;
448
449	last_offset = 0;
450	diff_type = 0;
451
452	free(revision);
453	revision = NULL;
454
455	reverse = reverse_flag_specified;
456	skip_rest_of_patch = false;
457
458	get_some_switches();
459}
460
461/* Process switches and filenames. */
462
463static void
464get_some_switches(void)
465{
466	const char *options = "b::B:cCd:D:eEfF:i:lnNo:p:r:RstuvV:x:z:";
467	static struct option longopts[] = {
468		{"backup",		no_argument,		0,	'b'},
469		{"batch",		no_argument,		0,	't'},
470		{"check",		no_argument,		0,	'C'},
471		{"context",		no_argument,		0,	'c'},
472		{"debug",		required_argument,	0,	'x'},
473		{"directory",		required_argument,	0,	'd'},
474		{"dry-run",		no_argument,		0,	'C'},
475		{"ed",			no_argument,		0,	'e'},
476		{"force",		no_argument,		0,	'f'},
477		{"forward",		no_argument,		0,	'N'},
478		{"fuzz",		required_argument,	0,	'F'},
479		{"ifdef",		required_argument,	0,	'D'},
480		{"input",		required_argument,	0,	'i'},
481		{"ignore-whitespace",	no_argument,		0,	'l'},
482		{"normal",		no_argument,		0,	'n'},
483		{"output",		required_argument,	0,	'o'},
484		{"prefix",		required_argument,	0,	'B'},
485		{"quiet",		no_argument,		0,	's'},
486		{"reject-file",		required_argument,	0,	'r'},
487		{"remove-empty-files",	no_argument,		0,	'E'},
488		{"reverse",		no_argument,		0,	'R'},
489		{"silent",		no_argument,		0,	's'},
490		{"strip",		required_argument,	0,	'p'},
491		{"suffix",		required_argument,	0,	'z'},
492		{"unified",		no_argument,		0,	'u'},
493		{"version",		no_argument,		0,	'v'},
494		{"version-control",	required_argument,	0,	'V'},
495		{"posix",		no_argument,		&posix,	1},
496		{NULL,			0,			0,	0}
497	};
498	int ch;
499
500	rejname[0] = '\0';
501	Argc_last = Argc;
502	Argv_last = Argv;
503	if (!Argc)
504		return;
505	optreset = optind = 1;
506	while ((ch = getopt_long(Argc, Argv, options, longopts, NULL)) != -1) {
507		switch (ch) {
508		case 'b':
509			if (backup_type == none)
510				backup_type = numbered_existing;
511			if (optarg == NULL)
512				break;
513			if (verbose)
514				say("Warning, the ``-b suffix'' option has been"
515				    " obsoleted by the -z option.\n");
516			/* FALLTHROUGH */
517		case 'z':
518			/* must directly follow 'b' case for backwards compat */
519			simple_backup_suffix = xstrdup(optarg);
520			break;
521		case 'B':
522			origprae = xstrdup(optarg);
523			break;
524		case 'c':
525			diff_type = CONTEXT_DIFF;
526			break;
527		case 'C':
528			check_only = true;
529			break;
530		case 'd':
531			if (chdir(optarg) < 0)
532				pfatal("can't cd to %s", optarg);
533			break;
534		case 'D':
535			do_defines = true;
536			if (!isalpha((unsigned char)*optarg) && *optarg != '_')
537				fatal("argument to -D is not an identifier\n");
538			snprintf(if_defined, sizeof if_defined,
539			    "#ifdef %s\n", optarg);
540			snprintf(not_defined, sizeof not_defined,
541			    "#ifndef %s\n", optarg);
542			snprintf(end_defined, sizeof end_defined,
543			    "#endif /* %s */\n", optarg);
544			break;
545		case 'e':
546			diff_type = ED_DIFF;
547			break;
548		case 'E':
549			remove_empty_files = true;
550			break;
551		case 'f':
552			force = true;
553			break;
554		case 'F':
555			maxfuzz = atoi(optarg);
556			break;
557		case 'i':
558			if (++filec == MAXFILEC)
559				fatal("too many file arguments\n");
560			filearg[filec] = xstrdup(optarg);
561			break;
562		case 'l':
563			canonicalize = true;
564			break;
565		case 'n':
566			diff_type = NORMAL_DIFF;
567			break;
568		case 'N':
569			noreverse = true;
570			break;
571		case 'o':
572			outname = xstrdup(optarg);
573			break;
574		case 'p':
575			strippath = atoi(optarg);
576			break;
577		case 'r':
578			if (strlcpy(rejname, optarg,
579			    sizeof(rejname)) >= sizeof(rejname))
580				fatal("argument for -r is too long\n");
581			break;
582		case 'R':
583			reverse = true;
584			reverse_flag_specified = true;
585			break;
586		case 's':
587			verbose = false;
588			break;
589		case 't':
590			batch = true;
591			break;
592		case 'u':
593			diff_type = UNI_DIFF;
594			break;
595		case 'v':
596			version();
597			break;
598		case 'V':
599			backup_type = get_version(optarg);
600			Vflag = true;
601			break;
602#ifdef DEBUGGING
603		case 'x':
604			debug = atoi(optarg);
605			break;
606#endif
607		default:
608			if (ch != '\0')
609				usage();
610			break;
611		}
612	}
613	Argc -= optind;
614	Argv += optind;
615
616	if (Argc > 0) {
617		filearg[0] = xstrdup(*Argv++);
618		Argc--;
619		while (Argc > 0) {
620			if (++filec == MAXFILEC)
621				fatal("too many file arguments\n");
622			filearg[filec] = xstrdup(*Argv++);
623			Argc--;
624		}
625	}
626
627	if (getenv("POSIXLY_CORRECT") != NULL)
628		posix = 1;
629}
630
631static void
632usage(void)
633{
634	fprintf(stderr,
635"usage: patch [-bCcEeflNnRstuv] [-B backup-prefix] [-D symbol] [-d directory]\n"
636"             [-F max-fuzz] [-i patchfile] [-o out-file] [-p strip-count]\n"
637"             [-r rej-name] [-V t | nil | never | none] [-x number]\n"
638"             [-z backup-ext] [--posix] [origfile [patchfile]]\n"
639"       patch <patchfile\n");
640	my_exit(EXIT_FAILURE);
641}
642
643/*
644 * Attempt to find the right place to apply this hunk of patch.
645 */
646static LINENUM
647locate_hunk(LINENUM fuzz)
648{
649	LINENUM	first_guess = pch_first() + last_offset;
650	LINENUM	offset;
651	LINENUM	pat_lines = pch_ptrn_lines();
652	LINENUM	max_pos_offset = input_lines - first_guess - pat_lines + 1;
653	LINENUM	max_neg_offset = first_guess - last_frozen_line - 1 + pch_context();
654
655	if (pat_lines == 0) {		/* null range matches always */
656		if (verbose && fuzz == 0 && (diff_type == CONTEXT_DIFF
657		    || diff_type == NEW_CONTEXT_DIFF
658		    || diff_type == UNI_DIFF)) {
659			say("Empty context always matches.\n");
660		}
661		return (first_guess);
662	}
663	if (max_neg_offset >= first_guess)	/* do not try lines < 0 */
664		max_neg_offset = first_guess - 1;
665	if (first_guess <= input_lines && patch_match(first_guess, 0, fuzz))
666		return first_guess;
667	for (offset = 1; ; offset++) {
668		bool	check_after = (offset <= max_pos_offset);
669		bool	check_before = (offset <= max_neg_offset);
670
671		if (check_after && patch_match(first_guess, offset, fuzz)) {
672#ifdef DEBUGGING
673			if (debug & 1)
674				say("Offset changing from %ld to %ld\n",
675				    last_offset, offset);
676#endif
677			last_offset = offset;
678			return first_guess + offset;
679		} else if (check_before && patch_match(first_guess, -offset, fuzz)) {
680#ifdef DEBUGGING
681			if (debug & 1)
682				say("Offset changing from %ld to %ld\n",
683				    last_offset, -offset);
684#endif
685			last_offset = -offset;
686			return first_guess - offset;
687		} else if (!check_before && !check_after)
688			return 0;
689	}
690}
691
692/* We did not find the pattern, dump out the hunk so they can handle it. */
693
694static void
695abort_context_hunk(void)
696{
697	LINENUM	i;
698	const LINENUM	pat_end = pch_end();
699	/*
700	 * add in last_offset to guess the same as the previous successful
701	 * hunk
702	 */
703	const LINENUM	oldfirst = pch_first() + last_offset;
704	const LINENUM	newfirst = pch_newfirst() + last_offset;
705	const LINENUM	oldlast = oldfirst + pch_ptrn_lines() - 1;
706	const LINENUM	newlast = newfirst + pch_repl_lines() - 1;
707	const char	*stars = (diff_type >= NEW_CONTEXT_DIFF ? " ****" : "");
708	const char	*minuses = (diff_type >= NEW_CONTEXT_DIFF ? " ----" : " -----");
709
710	fprintf(rejfp, "***************\n");
711	for (i = 0; i <= pat_end; i++) {
712		switch (pch_char(i)) {
713		case '*':
714			if (oldlast < oldfirst)
715				fprintf(rejfp, "*** 0%s\n", stars);
716			else if (oldlast == oldfirst)
717				fprintf(rejfp, "*** %ld%s\n", oldfirst, stars);
718			else
719				fprintf(rejfp, "*** %ld,%ld%s\n", oldfirst,
720				    oldlast, stars);
721			break;
722		case '=':
723			if (newlast < newfirst)
724				fprintf(rejfp, "--- 0%s\n", minuses);
725			else if (newlast == newfirst)
726				fprintf(rejfp, "--- %ld%s\n", newfirst, minuses);
727			else
728				fprintf(rejfp, "--- %ld,%ld%s\n", newfirst,
729				    newlast, minuses);
730			break;
731		case '\n':
732			fprintf(rejfp, "%s", pfetch(i));
733			break;
734		case ' ':
735		case '-':
736		case '+':
737		case '!':
738			fprintf(rejfp, "%c %s", pch_char(i), pfetch(i));
739			break;
740		default:
741			fatal("fatal internal error in abort_context_hunk\n");
742		}
743	}
744}
745
746static void
747rej_line(int ch, LINENUM i)
748{
749	size_t len;
750	const char *line = pfetch(i);
751
752	len = strnlen(line, USHRT_MAX);
753
754	fprintf(rejfp, "%c%s", ch, line);
755	if (len == 0 || line[len-1] != '\n') {
756		if (len >= USHRT_MAX)
757			fprintf(rejfp, "\n\\ Line too long\n");
758		else
759			fprintf(rejfp, "\n\\ No newline at end of line\n");
760	}
761}
762
763static void
764abort_hunk(void)
765{
766	LINENUM		i, j, split;
767	int		ch1, ch2;
768	const LINENUM	pat_end = pch_end();
769	const LINENUM	oldfirst = pch_first() + last_offset;
770	const LINENUM	newfirst = pch_newfirst() + last_offset;
771
772	if (diff_type != UNI_DIFF) {
773		abort_context_hunk();
774		return;
775	}
776	split = -1;
777	for (i = 0; i <= pat_end; i++) {
778		if (pch_char(i) == '=') {
779			split = i;
780			break;
781		}
782	}
783	if (split == -1) {
784		fprintf(rejfp, "malformed hunk: no split found\n");
785		return;
786	}
787	i = 0;
788	j = split + 1;
789	fprintf(rejfp, "@@ -%ld,%ld +%ld,%ld @@\n",
790	    pch_ptrn_lines() ? oldfirst : 0,
791	    pch_ptrn_lines(), newfirst, pch_repl_lines());
792	while (i < split || j <= pat_end) {
793		ch1 = i < split ? pch_char(i) : -1;
794		ch2 = j <= pat_end ? pch_char(j) : -1;
795		if (ch1 == '-') {
796			rej_line('-', i);
797			i++;
798		} else if (ch1 == ' ' && ch2 == ' ') {
799			rej_line(' ', i);
800			i++;
801			j++;
802		} else if (ch1 == '!' && ch2 == '!') {
803			while (i < split && ch1 == '!') {
804				rej_line('-', i);
805				i++;
806				ch1 = i < split ? pch_char(i) : -1;
807			}
808			while (j <= pat_end && ch2 == '!') {
809				rej_line('+', j);
810				j++;
811				ch2 = j <= pat_end ? pch_char(j) : -1;
812			}
813		} else if (ch1 == '*') {
814			i++;
815		} else if (ch2 == '+' || ch2 == ' ') {
816			rej_line(ch2, j);
817			j++;
818		} else {
819			fprintf(rejfp, "internal error on (%ld %ld %ld)\n",
820			    i, split, j);
821			rej_line(ch1, i);
822			rej_line(ch2, j);
823			return;
824		}
825	}
826}
827
828/* We found where to apply it (we hope), so do it. */
829
830static void
831apply_hunk(LINENUM where)
832{
833	LINENUM		old = 1;
834	const LINENUM	lastline = pch_ptrn_lines();
835	LINENUM		new = lastline + 1;
836#define OUTSIDE 0
837#define IN_IFNDEF 1
838#define IN_IFDEF 2
839#define IN_ELSE 3
840	int		def_state = OUTSIDE;
841	const LINENUM	pat_end = pch_end();
842
843	where--;
844	while (pch_char(new) == '=' || pch_char(new) == '\n')
845		new++;
846
847	while (old <= lastline) {
848		if (pch_char(old) == '-') {
849			copy_till(where + old - 1, false);
850			if (do_defines) {
851				if (def_state == OUTSIDE) {
852					fputs(not_defined, ofp);
853					def_state = IN_IFNDEF;
854				} else if (def_state == IN_IFDEF) {
855					fputs(else_defined, ofp);
856					def_state = IN_ELSE;
857				}
858				fputs(pfetch(old), ofp);
859			}
860			last_frozen_line++;
861			old++;
862		} else if (new > pat_end) {
863			break;
864		} else if (pch_char(new) == '+') {
865			copy_till(where + old - 1, false);
866			if (do_defines) {
867				if (def_state == IN_IFNDEF) {
868					fputs(else_defined, ofp);
869					def_state = IN_ELSE;
870				} else if (def_state == OUTSIDE) {
871					fputs(if_defined, ofp);
872					def_state = IN_IFDEF;
873				}
874			}
875			fputs(pfetch(new), ofp);
876			new++;
877		} else if (pch_char(new) != pch_char(old)) {
878			say("Out-of-sync patch, lines %ld,%ld--mangled text or line numbers, maybe?\n",
879			    pch_hunk_beg() + old,
880			    pch_hunk_beg() + new);
881#ifdef DEBUGGING
882			say("oldchar = '%c', newchar = '%c'\n",
883			    pch_char(old), pch_char(new));
884#endif
885			my_exit(2);
886		} else if (pch_char(new) == '!') {
887			copy_till(where + old - 1, false);
888			if (do_defines) {
889				fputs(not_defined, ofp);
890				def_state = IN_IFNDEF;
891			}
892			while (pch_char(old) == '!') {
893				if (do_defines) {
894					fputs(pfetch(old), ofp);
895				}
896				last_frozen_line++;
897				old++;
898			}
899			if (do_defines) {
900				fputs(else_defined, ofp);
901				def_state = IN_ELSE;
902			}
903			while (pch_char(new) == '!') {
904				fputs(pfetch(new), ofp);
905				new++;
906			}
907		} else {
908			if (pch_char(new) != ' ')
909				fatal("Internal error: expected ' '\n");
910			old++;
911			new++;
912			if (do_defines && def_state != OUTSIDE) {
913				fputs(end_defined, ofp);
914				def_state = OUTSIDE;
915			}
916		}
917	}
918	if (new <= pat_end && pch_char(new) == '+') {
919		copy_till(where + old - 1, false);
920		if (do_defines) {
921			if (def_state == OUTSIDE) {
922				fputs(if_defined, ofp);
923				def_state = IN_IFDEF;
924			} else if (def_state == IN_IFNDEF) {
925				fputs(else_defined, ofp);
926				def_state = IN_ELSE;
927			}
928		}
929		while (new <= pat_end && pch_char(new) == '+') {
930			fputs(pfetch(new), ofp);
931			new++;
932		}
933	}
934	if (do_defines && def_state != OUTSIDE) {
935		fputs(end_defined, ofp);
936	}
937}
938
939/*
940 * Open the new file.
941 */
942static void
943init_output(const char *name)
944{
945	ofp = fopen(name, "w");
946	if (ofp == NULL)
947		pfatal("can't create %s", name);
948}
949
950/*
951 * Open a file to put hunks we can't locate.
952 */
953static void
954init_reject(const char *name)
955{
956	rejfp = fopen(name, "w");
957	if (rejfp == NULL)
958		pfatal("can't create %s", name);
959}
960
961/*
962 * Copy input file to output, up to wherever hunk is to be applied.
963 * If endoffile is true, treat the last line specially since it may
964 * lack a newline.
965 */
966static void
967copy_till(LINENUM lastline, bool endoffile)
968{
969	if (last_frozen_line > lastline)
970		fatal("misordered hunks! output would be garbled\n");
971	while (last_frozen_line < lastline) {
972		if (++last_frozen_line == lastline && endoffile)
973			dump_line(last_frozen_line, !last_line_missing_eol);
974		else
975			dump_line(last_frozen_line, true);
976	}
977}
978
979/*
980 * Finish copying the input file to the output file.
981 */
982static bool
983spew_output(void)
984{
985	int rv;
986
987#ifdef DEBUGGING
988	if (debug & 256)
989		say("il=%ld lfl=%ld\n", input_lines, last_frozen_line);
990#endif
991	if (input_lines)
992		copy_till(input_lines, true);	/* dump remainder of file */
993	rv = ferror(ofp) == 0 && fclose(ofp) == 0;
994	ofp = NULL;
995	return rv;
996}
997
998/*
999 * Copy one line from input to output.
1000 */
1001static void
1002dump_line(LINENUM line, bool write_newline)
1003{
1004	char	*s;
1005
1006	s = ifetch(line, 0);
1007	if (s == NULL)
1008		return;
1009	/* Note: string is not NUL terminated. */
1010	for (; *s != '\n'; s++)
1011		putc(*s, ofp);
1012	if (write_newline)
1013		putc('\n', ofp);
1014}
1015
1016/*
1017 * Does the patch pattern match at line base+offset?
1018 */
1019static bool
1020patch_match(LINENUM base, LINENUM offset, LINENUM fuzz)
1021{
1022	LINENUM		pline = 1 + fuzz;
1023	LINENUM		iline;
1024	LINENUM		pat_lines = pch_ptrn_lines() - fuzz;
1025	const char	*ilineptr;
1026	const char	*plineptr;
1027	unsigned short	plinelen;
1028
1029	for (iline = base + offset + fuzz; pline <= pat_lines; pline++, iline++) {
1030		ilineptr = ifetch(iline, offset >= 0);
1031		if (ilineptr == NULL)
1032			return false;
1033		plineptr = pfetch(pline);
1034		plinelen = pch_line_len(pline);
1035		if (canonicalize) {
1036			if (!similar(ilineptr, plineptr, plinelen))
1037				return false;
1038		} else if (strnNE(ilineptr, plineptr, plinelen))
1039			return false;
1040		if (iline == input_lines) {
1041			/*
1042			 * We are looking at the last line of the file.
1043			 * If the file has no eol, the patch line should
1044			 * not have one either and vice-versa. Note that
1045			 * plinelen > 0.
1046			 */
1047			if (last_line_missing_eol) {
1048				if (plineptr[plinelen - 1] == '\n')
1049					return false;
1050			} else {
1051				if (plineptr[plinelen - 1] != '\n')
1052					return false;
1053			}
1054		}
1055	}
1056	return true;
1057}
1058
1059/*
1060 * Do two lines match with canonicalized white space?
1061 */
1062static bool
1063similar(const char *a, const char *b, int len)
1064{
1065	while (len) {
1066		if (isspace((unsigned char)*b)) {	/* whitespace (or \n) to match? */
1067			if (!isspace((unsigned char)*a))	/* no corresponding whitespace? */
1068				return false;
1069			while (len && isspace((unsigned char)*b) && *b != '\n')
1070				b++, len--;	/* skip pattern whitespace */
1071			while (isspace((unsigned char)*a) && *a != '\n')
1072				a++;	/* skip target whitespace */
1073			if (*a == '\n' || *b == '\n')
1074				return (*a == *b);	/* should end in sync */
1075		} else if (*a++ != *b++)	/* match non-whitespace chars */
1076			return false;
1077		else
1078			len--;	/* probably not necessary */
1079	}
1080	return true;		/* actually, this is not reached */
1081	/* since there is always a \n */
1082}
1083