|
8
|
1 #include <assert.h>
|
|
|
2 #include <stdarg.h>
|
|
|
3 #include <stdio.h>
|
|
|
4 #include <stdlib.h>
|
|
|
5
|
|
|
6 #include "utils.h"
|
|
10
|
7 #include "array.h"
|
|
8
|
8 #include "place.h"
|
|
|
9
|
|
|
10 #define NOWHERE_LINE 0
|
|
|
11 #define BUILTIN_LINE 1
|
|
|
12 #define COMMANDLINE_LINE 2
|
|
|
13
|
|
10
|
14 struct seenfile {
|
|
|
15 struct place includedfrom;
|
|
|
16 char *name;
|
|
|
17 bool fromsystemdir;
|
|
|
18 };
|
|
|
19 DECLARRAY(seenfile);
|
|
|
20 DEFARRAY(seenfile, );
|
|
|
21
|
|
|
22 static bool overall_failure;
|
|
|
23
|
|
8
|
24 static struct place scratchplace;
|
|
|
25 static bool scratchplace_inuse;
|
|
|
26
|
|
10
|
27 static struct seenfilearray seenfiles;
|
|
|
28
|
|
|
29 ////////////////////////////////////////////////////////////
|
|
|
30 // seenfiles
|
|
|
31
|
|
|
32 static
|
|
|
33 struct seenfile *
|
|
|
34 seenfile_create(const struct place *from, char *name, bool fromsystemdir)
|
|
|
35 {
|
|
|
36 struct seenfile *sf;
|
|
|
37
|
|
|
38 sf = domalloc(sizeof(*sf));
|
|
|
39 sf->includedfrom = *from;
|
|
|
40 sf->name = name;
|
|
|
41 sf->fromsystemdir = fromsystemdir;
|
|
|
42 return sf;
|
|
|
43 }
|
|
|
44
|
|
|
45 static
|
|
|
46 void
|
|
|
47 seenfile_destroy(struct seenfile *sf)
|
|
|
48 {
|
|
|
49 free(sf->name);
|
|
|
50 free(sf);
|
|
|
51 }
|
|
|
52
|
|
|
53 DESTROYALL_ARRAY(seenfile, );
|
|
|
54
|
|
|
55 struct seenfile *
|
|
|
56 place_seen_file(const struct place *place, char *file, bool issystem)
|
|
|
57 {
|
|
|
58 struct seenfile *sf;
|
|
|
59
|
|
|
60 sf = seenfile_create(place, file, issystem);
|
|
|
61 seenfilearray_add(&seenfiles, sf, NULL);
|
|
|
62 return sf;
|
|
|
63 }
|
|
|
64
|
|
|
65 ////////////////////////////////////////////////////////////
|
|
|
66 // places
|
|
|
67
|
|
8
|
68 static
|
|
|
69 bool
|
|
|
70 place_isnowhere(const struct place *p)
|
|
|
71 {
|
|
|
72 return p->file == NULL && p->line == NOWHERE_LINE;
|
|
|
73 }
|
|
|
74
|
|
|
75 static
|
|
|
76 bool
|
|
|
77 place_isbuiltin(const struct place *p)
|
|
|
78 {
|
|
|
79 return p->file == NULL && p->line == BUILTIN_LINE;
|
|
|
80 }
|
|
|
81
|
|
|
82 static
|
|
|
83 bool
|
|
|
84 place_iscommandline(const struct place *p)
|
|
|
85 {
|
|
|
86 return p->file == NULL && p->line == COMMANDLINE_LINE;
|
|
|
87 }
|
|
|
88
|
|
|
89 struct place *
|
|
|
90 place_gettemporary(void)
|
|
|
91 {
|
|
|
92 assert(!scratchplace_inuse);
|
|
|
93 scratchplace_inuse = true;
|
|
|
94 return &scratchplace;
|
|
|
95 }
|
|
|
96
|
|
|
97 void
|
|
|
98 place_puttemporary(struct place *p)
|
|
|
99 {
|
|
|
100 assert(scratchplace_inuse);
|
|
|
101 assert(p == &scratchplace);
|
|
|
102 scratchplace_inuse = false;
|
|
|
103 }
|
|
|
104
|
|
|
105 struct place *
|
|
|
106 place_create(void)
|
|
|
107 {
|
|
|
108 struct place *p;
|
|
|
109
|
|
|
110 p = domalloc(sizeof(*p));
|
|
|
111 place_setnowhere(p);
|
|
|
112 return p;
|
|
|
113 }
|
|
|
114
|
|
|
115 struct place *
|
|
|
116 place_clone(const struct place *op)
|
|
|
117 {
|
|
|
118 struct place *p;
|
|
|
119
|
|
|
120 p = domalloc(sizeof(*p));
|
|
|
121 *p = *op;
|
|
|
122 return p;
|
|
|
123 }
|
|
|
124
|
|
|
125 void
|
|
|
126 place_destroy(struct place *p)
|
|
|
127 {
|
|
|
128 free(p);
|
|
|
129 }
|
|
|
130
|
|
|
131 void
|
|
|
132 place_setnowhere(struct place *p)
|
|
|
133 {
|
|
|
134 p->file = NULL;
|
|
|
135 p->line = NOWHERE_LINE;
|
|
|
136 p->column = 0;
|
|
|
137 }
|
|
|
138
|
|
|
139 void
|
|
|
140 place_setbuiltin(struct place *p, unsigned num)
|
|
|
141 {
|
|
|
142 p->file = NULL;
|
|
|
143 p->line = BUILTIN_LINE;
|
|
|
144 p->column = num;
|
|
|
145 }
|
|
|
146
|
|
|
147 void
|
|
|
148 place_setcommandline(struct place *p, unsigned column)
|
|
|
149 {
|
|
|
150 p->file = NULL;
|
|
|
151 p->line = COMMANDLINE_LINE;
|
|
|
152 p->column = column;
|
|
|
153 }
|
|
|
154
|
|
|
155 static
|
|
|
156 void
|
|
|
157 place_print(const struct place *p)
|
|
|
158 {
|
|
|
159 if (place_iscommandline(p)) {
|
|
|
160 fprintf(stderr, "<command-line>:1:%u", p->column);
|
|
|
161 } else if (place_isbuiltin(p)) {
|
|
|
162 fprintf(stderr, "<built-in>:%u:1", p->column);
|
|
|
163 } else {
|
|
10
|
164 fprintf(stderr, "%s:%u:%u", p->file->name,
|
|
8
|
165 p->line, p->column);
|
|
|
166 }
|
|
|
167 }
|
|
|
168
|
|
|
169 static
|
|
|
170 void
|
|
|
171 place_printfrom(const struct place *p)
|
|
|
172 {
|
|
|
173 const struct place *from;
|
|
|
174
|
|
10
|
175 from = &p->file->includedfrom;
|
|
8
|
176 if (!place_isnowhere(from)) {
|
|
|
177 place_printfrom(from);
|
|
|
178 }
|
|
|
179 fprintf(stderr, "In file included from ");
|
|
|
180 place_print(p);
|
|
|
181 fprintf(stderr, ":\n");
|
|
|
182 }
|
|
|
183
|
|
10
|
184 ////////////////////////////////////////////////////////////
|
|
|
185 // complaints
|
|
|
186
|
|
8
|
187 void
|
|
|
188 complain(const struct place *p, const char *fmt, ...)
|
|
|
189 {
|
|
|
190 va_list ap;
|
|
|
191 const struct place *from;
|
|
|
192
|
|
10
|
193 from = &p->file->includedfrom;
|
|
8
|
194 if (!place_isnowhere(from)) {
|
|
|
195 place_printfrom(from);
|
|
|
196 }
|
|
|
197 place_print(p);
|
|
|
198 fprintf(stderr, ": ");
|
|
|
199 va_start(ap, fmt);
|
|
|
200 vfprintf(stderr, fmt, ap);
|
|
|
201 va_end(ap);
|
|
|
202 fprintf(stderr, "\n");
|
|
|
203 }
|
|
|
204
|
|
|
205 void
|
|
|
206 complain_fail(void)
|
|
|
207 {
|
|
|
208 overall_failure = true;
|
|
|
209 }
|
|
|
210
|
|
|
211 bool
|
|
|
212 complain_failed(void)
|
|
|
213 {
|
|
|
214 return overall_failure;
|
|
|
215 }
|
|
|
216
|
|
10
|
217 ////////////////////////////////////////////////////////////
|
|
|
218 // module init and cleanup
|
|
|
219
|
|
|
220 void
|
|
|
221 place_init(void)
|
|
|
222 {
|
|
|
223 seenfilearray_init(&seenfiles);
|
|
|
224 }
|
|
|
225
|
|
|
226 void
|
|
|
227 place_cleanup(void)
|
|
|
228 {
|
|
|
229 seenfilearray_destroyall(&seenfiles);
|
|
|
230 seenfilearray_cleanup(&seenfiles);
|
|
|
231 }
|
