annotate place.c @ 201:cc6ad214664a

Added tag release-0.5.2 for changeset 18b872f36217
author David A. Holland
date Sun, 04 Sep 2016 17:16:47 -0400
parents 1d2bad7151f9
children 3a25180d3a5c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
1 /*-
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
2 * Copyright (c) 2010 The NetBSD Foundation, Inc.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
3 * All rights reserved.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
4 *
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
5 * This code is derived from software contributed to The NetBSD Foundation
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
6 * by David A. Holland.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
7 *
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
8 * Redistribution and use in source and binary forms, with or without
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
9 * modification, are permitted provided that the following conditions
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
10 * are met:
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
11 * 1. Redistributions of source code must retain the above copyright
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
12 * notice, this list of conditions and the following disclaimer.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
13 * 2. Redistributions in binary form must reproduce the above copyright
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
14 * notice, this list of conditions and the following disclaimer in the
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
15 * documentation and/or other materials provided with the distribution.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
16 *
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
17 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
18 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
19 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
20 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
21 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
22 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
23 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
24 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
25 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
26 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
27 * POSSIBILITY OF SUCH DAMAGE.
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
28 */
76c114899f63 copyrights
David A. Holland
parents: 28
diff changeset
29
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
30 #include <assert.h>
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
31 #include <stdarg.h>
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
32 #include <stdio.h>
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
33 #include <stdlib.h>
112
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
34 #include <string.h>
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
35 #include <errno.h>
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
36
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
37 #include "utils.h"
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
38 #include "array.h"
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
39 #include "place.h"
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
40
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
41 struct placefile {
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
42 struct place includedfrom;
112
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
43 char *dir;
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
44 char *name;
28
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
45 int depth;
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
46 bool fromsystemdir;
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
47 };
107
33954a07d013 __unused -> UNUSED
David A. Holland
parents: 95
diff changeset
48 DECLARRAY(placefile, static UNUSED);
47
2e25e55dba6b Fix inline usage as per the version in dholland-make2.
David A. Holland
parents: 39
diff changeset
49 DEFARRAY(placefile, static);
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
50
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
51 static struct placefilearray placefiles;
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
52 static bool overall_failure;
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
53
142
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
54 static const char *myprogname;
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
55
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
56 static FILE *debuglogfile;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
57
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
58 ////////////////////////////////////////////////////////////
176
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
59 // placefiles
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
60
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
61 static
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
62 struct placefile *
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
63 placefile_create(const struct place *from, const char *name,
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
64 bool fromsystemdir)
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
65 {
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
66 struct placefile *pf;
112
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
67 const char *s;
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
68 size_t len;
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
69
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
70 pf = domalloc(sizeof(*pf));
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
71 pf->includedfrom = *from;
112
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
72
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
73 s = strrchr(name, '/');
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
74 len = (s == NULL) ? 0 : s - name;
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
75 pf->dir = dostrndup(name, len);
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
76
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
77 pf->name = dostrdup(name);
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
78 pf->fromsystemdir = fromsystemdir;
112
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
79
28
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
80 if (from->file != NULL) {
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
81 pf->depth = from->file->depth + 1;
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
82 } else {
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
83 pf->depth = 1;
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
84 }
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
85 return pf;
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
86 }
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
87
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
88 static
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
89 void
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
90 placefile_destroy(struct placefile *pf)
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
91 {
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
92 dostrfree(pf->name);
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
93 dofree(pf, sizeof(*pf));
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
94 }
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
95
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
96 DESTROYALL_ARRAY(placefile, );
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
97
112
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
98 const char *
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
99 place_getparsedir(const struct place *place)
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
100 {
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
101 if (place->file == NULL) {
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
102 return ".";
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
103 }
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
104 return place->file->dir;
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
105 }
2b0b61fd1a36 Fix handling of relative includes.
David A. Holland
parents: 107
diff changeset
106
176
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
107 static
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
108 struct placefile *
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
109 placefile_find(const struct place *incfrom, const char *name)
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
110 {
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
111 unsigned i, num;
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
112 struct placefile *pf;
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
113
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
114 num = placefilearray_num(&placefiles);
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
115 for (i=0; i<num; i++) {
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
116 pf = placefilearray_get(&placefiles, i);
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
117 if (place_eq(incfrom, &pf->includedfrom) &&
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
118 !strcmp(name, pf->name)) {
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
119 return pf;
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
120 }
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
121 }
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
122 return NULL;
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
123 }
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
124
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
125 void
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
126 place_changefile(struct place *p, const char *name)
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
127 {
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
128 struct placefile *pf;
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
129
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
130 assert(p->type == P_FILE);
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
131 if (!strcmp(name, p->file->name)) {
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
132 return;
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
133 }
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
134 pf = placefile_find(&p->file->includedfrom, name);
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
135 if (pf == NULL) {
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
136 pf = placefile_create(&p->file->includedfrom, name,
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
137 p->file->fromsystemdir);
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
138 placefilearray_add(&placefiles, pf, NULL);
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
139 }
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
140 p->file = pf;
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
141 }
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 160
diff changeset
142
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
143 const struct placefile *
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
144 place_addfile(const struct place *place, const char *file, bool issystem)
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
145 {
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
146 struct placefile *pf;
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
147
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
148 pf = placefile_create(place, file, issystem);
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
149 placefilearray_add(&placefiles, pf, NULL);
114
05d67dd74e1f Reduce the maximum include depth from 128 to 120.
David A. Holland
parents: 112
diff changeset
150 if (pf->depth > 120) {
28
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
151 complain(place, "Maximum include nesting depth exceeded");
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
152 die();
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
153 }
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
154 return pf;
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
155 }
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
156
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
157 ////////////////////////////////////////////////////////////
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
158 // places
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
159
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
160 void
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
161 place_setnowhere(struct place *p)
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
162 {
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
163 p->type = P_NOWHERE;
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
164 p->file = NULL;
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
165 p->line = 0;
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
166 p->column = 0;
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
167 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
168
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
169 void
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
170 place_setbuiltin(struct place *p, unsigned num)
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
171 {
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
172 p->type = P_BUILTIN;
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
173 p->file = NULL;
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
174 p->line = num;
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
175 p->column = 1;
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
176 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
177
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
178 void
14
David A. Holland
parents: 13
diff changeset
179 place_setcommandline(struct place *p, unsigned line, unsigned column)
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
180 {
14
David A. Holland
parents: 13
diff changeset
181 p->type = P_COMMANDLINE;
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
182 p->file = NULL;
14
David A. Holland
parents: 13
diff changeset
183 p->line = line;
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
184 p->column = column;
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
185 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
186
14
David A. Holland
parents: 13
diff changeset
187 void
David A. Holland
parents: 13
diff changeset
188 place_setfilestart(struct place *p, const struct placefile *pf)
David A. Holland
parents: 13
diff changeset
189 {
28
8a955e3dda2c two more tests, more fixes
David A. Holland
parents: 14
diff changeset
190 p->type = P_FILE;
14
David A. Holland
parents: 13
diff changeset
191 p->file = pf;
David A. Holland
parents: 13
diff changeset
192 p->line = 1;
David A. Holland
parents: 13
diff changeset
193 p->column = 1;
David A. Holland
parents: 13
diff changeset
194 }
David A. Holland
parents: 13
diff changeset
195
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
196 const char *
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
197 place_getname(const struct place *p)
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
198 {
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
199 switch (p->type) {
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
200 case P_NOWHERE: return "<nowhere>";
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
201 case P_BUILTIN: return "<built-in>";
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
202 case P_COMMANDLINE: return "<command-line>";
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
203 case P_FILE: return p->file->name;
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
204 }
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
205 assert(0);
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
206 return NULL;
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
207 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
208
185
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
209 bool
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
210 place_samefile(const struct place *a, const struct place *b)
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
211 {
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
212 if (a->type != b->type) {
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
213 return false;
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
214 }
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
215 if (a->file != b->file) {
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
216 return false;
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
217 }
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
218 return true;
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
219 }
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
220
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
221 bool
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
222 place_eq(const struct place *a, const struct place *b)
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
223 {
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
224 if (!place_samefile(a, b)) {
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
225 return false;
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
226 }
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
227 if (a->line != b->line || a->column != b->column) {
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
228 return false;
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
229 }
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
230 return true;
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
231 }
16b4451e34b8 Add the ability to output line numbers, sort of.
David A. Holland
parents: 176
diff changeset
232
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
233 static
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
234 void
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
235 place_printfrom(const struct place *p)
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
236 {
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
237 const struct place *from;
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
238
95
1c0575f7dd46 Don't crash printing the commandline place.
David A. Holland
parents: 47
diff changeset
239 if (p->file == NULL) {
1c0575f7dd46 Don't crash printing the commandline place.
David A. Holland
parents: 47
diff changeset
240 return;
1c0575f7dd46 Don't crash printing the commandline place.
David A. Holland
parents: 47
diff changeset
241 }
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
242 from = &p->file->includedfrom;
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
243 if (from->type != P_NOWHERE) {
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
244 place_printfrom(from);
12
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
245 fprintf(stderr, "In file included from %s:%u:%u:\n",
6c15ca895585 improve places more
David A. Holland
parents: 11
diff changeset
246 place_getname(from), from->line, from->column);
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
247 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
248 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
249
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
250 ////////////////////////////////////////////////////////////
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
251 // complaints
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
252
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
253 void
142
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
254 complain_init(const char *pn)
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
255 {
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
256 myprogname = pn;
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
257 }
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
258
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
259 void
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
260 complain(const struct place *p, const char *fmt, ...)
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
261 {
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
262 va_list ap;
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
263
142
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
264 if (p != NULL) {
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
265 place_printfrom(p);
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
266 fprintf(stderr, "%s:%u:%u: ", place_getname(p),
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
267 p->line, p->column);
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
268 } else {
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
269 fprintf(stderr, "%s: ", myprogname);
26ee741196d1 Allow complain(NULL, format, ...)
David A. Holland
parents: 114
diff changeset
270 }
8
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
271 va_start(ap, fmt);
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
272 vfprintf(stderr, fmt, ap);
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
273 va_end(ap);
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
274 fprintf(stderr, "\n");
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
275 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
276
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
277 void
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
278 complain_fail(void)
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
279 {
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
280 overall_failure = true;
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
281 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
282
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
283 bool
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
284 complain_failed(void)
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
285 {
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
286 return overall_failure;
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
287 }
97243badae69 split place stuff to its own file
David A. Holland
parents:
diff changeset
288
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
289 ////////////////////////////////////////////////////////////
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
290 // debug logging
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
291
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
292 void
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
293 debuglog_open(const struct place *p, /*const*/ char *file)
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
294 {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
295 assert(debuglogfile == NULL);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
296 debuglogfile = fopen(file, "w");
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
297 if (debuglogfile == NULL) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
298 complain(p, "%s: %s", file, strerror(errno));
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
299 die();
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
300 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
301 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
302
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
303 void
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
304 debuglog_close(void)
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
305 {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
306 if (debuglogfile != NULL) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
307 fclose(debuglogfile);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
308 debuglogfile = NULL;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
309 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
310 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
311
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
312 PF(2, 3) void
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
313 debuglog(const struct place *p, const char *fmt, ...)
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
314 {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
315 va_list ap;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
316
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
317 if (debuglogfile == NULL) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
318 return;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
319 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
320
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
321 fprintf(debuglogfile, "%s:%u: ", place_getname(p), p->line);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
322 va_start(ap, fmt);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
323 vfprintf(debuglogfile, fmt, ap);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
324 va_end(ap);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
325 fprintf(debuglogfile, "\n");
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
326 fflush(debuglogfile);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
327 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
328
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
329 PF(3, 4) void
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
330 debuglog2(const struct place *p, const struct place *p2, const char *fmt, ...)
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
331 {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
332 va_list ap;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
333
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
334 if (debuglogfile == NULL) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
335 return;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
336 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
337
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
338 fprintf(debuglogfile, "%s:%u: ", place_getname(p), p->line);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
339 if (place_samefile(p, p2)) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
340 fprintf(debuglogfile, "(block began at line %u) ",
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
341 p2->line);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
342 } else {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
343 fprintf(debuglogfile, "(block began at %s:%u)",
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
344 place_getname(p2), p2->line);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
345 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
346 va_start(ap, fmt);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
347 vfprintf(debuglogfile, fmt, ap);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
348 va_end(ap);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
349 fprintf(debuglogfile, "\n");
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
350 fflush(debuglogfile);
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
351 }
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
352
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 185
diff changeset
353 ////////////////////////////////////////////////////////////
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
354 // module init and cleanup
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
355
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
356 void
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
357 place_init(void)
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
358 {
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
359 placefilearray_init(&placefiles);
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
360 }
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
361
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
362 void
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
363 place_cleanup(void)
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
364 {
13
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
365 placefilearray_destroyall(&placefiles);
120629a5d6bf seenfile -> placefile (clearer)
David A. Holland
parents: 12
diff changeset
366 placefilearray_cleanup(&placefiles);
10
800f3a560a3b move seenfiles to place.c too
David A. Holland
parents: 8
diff changeset
367 }