annotate directive.c @ 78:4cc1c575951f

No need to warn about nested comments twice.
author David A. Holland
date Mon, 10 Jun 2013 20:17:23 -0400
parents 123168887da8
children 27c9aafcaca1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
1 /*-
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
2 * Copyright (c) 2010 The NetBSD Foundation, Inc.
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
3 * All rights reserved.
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
4 *
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
5 * This code is derived from software contributed to The NetBSD Foundation
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
6 * by David A. Holland.
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
7 *
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
8 * Redistribution and use in source and binary forms, with or without
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
9 * modification, are permitted provided that the following conditions
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
10 * are met:
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
11 * 1. Redistributions of source code must retain the above copyright
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
12 * notice, this list of conditions and the following disclaimer.
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
13 * 2. Redistributions in binary form must reproduce the above copyright
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
14 * notice, this list of conditions and the following disclaimer in the
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
15 * documentation and/or other materials provided with the distribution.
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
16 *
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
17 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
18 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
19 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
20 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
21 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
22 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
23 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
24 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
25 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
76c114899f63 copyrights
David A. Holland
parents: 18
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: 18
diff changeset
27 * POSSIBILITY OF SUCH DAMAGE.
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
28 */
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
29
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
30 #include <assert.h>
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
31 #include <stdbool.h>
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
32 #include <stdlib.h>
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
33 #include <string.h>
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
34
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
35 #include "utils.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
36 #include "mode.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
37 #include "place.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
38 #include "files.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
39 #include "directive.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
40 #include "macro.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
41 #include "eval.h"
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
42 #include "output.h"
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
43
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
44 struct ifstate {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
45 struct ifstate *prev;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
46 struct place startplace;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
47 bool curtrue;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
48 bool evertrue;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
49 bool seenelse;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
50 };
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
51
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
52 static struct ifstate *ifstate;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
53
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
54 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
55 // common parsing bits
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
56
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
57 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
58 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
59 uncomment(char *buf)
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
60 {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
61 char *s, *t, *u = NULL;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
62 bool incomment = false;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
63
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
64 for (s = t = buf; *s; s++) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
65 if (incomment) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
66 if (s[0] == '*' && s[1] == '/') {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
67 s++;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
68 incomment = false;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
69 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
70 } else {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
71 if (s[0] == '/' && s[1] == '*') {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
72 incomment = true;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
73 } else {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
74 if (t != s) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
75 *t = *s;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
76 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
77 if (!strchr(ws, *t)) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
78 u = t;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
79 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
80 t++;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
81 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
82 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
83 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
84 if (u) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
85 /* end string after last non-whitespace char */
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
86 u[1] = '\0';
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
87 } else {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
88 *t = '\0';
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
89 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
90 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
91
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
92 static
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
93 void
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
94 oneword(const char *what, struct place *p2, char *line)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
95 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
96 size_t pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
97
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
98 pos = strcspn(line, ws);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
99 if (line[pos] != '\0') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
100 p2->column += pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
101 complain(p2, "Garbage after %s argument", what);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
102 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
103 line[pos] = '\0';
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
104 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
105 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
106
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
107 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
108 // if handling
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
109
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
110 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
111 struct ifstate *
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
112 ifstate_create(struct ifstate *prev, struct place *p, bool startstate)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
113 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
114 struct ifstate *is;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
115
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
116 is = domalloc(sizeof(*is));
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
117 is->prev = prev;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
118 if (p != NULL) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
119 is->startplace = *p;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
120 } else {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
121 place_setbuiltin(&is->startplace, 1);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
122 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
123 is->curtrue = startstate;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
124 is->evertrue = is->curtrue;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
125 is->seenelse = false;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
126 return is;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
127 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
128
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
129 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
130 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
131 ifstate_destroy(struct ifstate *is)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
132 {
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
133 dofree(is, sizeof(*is));
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
134 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
135
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
136 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
137 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
138 ifstate_push(struct place *p, bool startstate)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
139 {
72
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
140 struct ifstate *newstate;
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
141
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
142 newstate = ifstate_create(ifstate, p, startstate);
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
143 if (!ifstate->curtrue) {
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
144 newstate->curtrue = false;
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
145 newstate->evertrue = true;
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
146 }
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
147 ifstate = newstate;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
148 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
149
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
150 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
151 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
152 ifstate_pop(void)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
153 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
154 struct ifstate *is;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
155
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
156 is = ifstate;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
157 ifstate = ifstate->prev;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
158 ifstate_destroy(is);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
159 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
160
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
161 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
162 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
163 d_if(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
164 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
165 char *expr;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
166 bool val;
16
9dda765ee85c expression evaluator
David A. Holland
parents: 15
diff changeset
167 struct place p3 = *p2;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
168
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
169 uncomment(line);
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
170 expr = macroexpand(p2, line, strlen(line), true);
16
9dda765ee85c expression evaluator
David A. Holland
parents: 15
diff changeset
171 val = eval(&p3, expr);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
172 ifstate_push(p, val);
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
173 dostrfree(expr);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
174 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
175
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
176 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
177 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
178 d_ifdef(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
179 {
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
180 uncomment(line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
181 oneword("#ifdef", p2, line);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
182 ifstate_push(p, macro_isdefined(line));
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
183 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
184
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
185 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
186 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
187 d_ifndef(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
188 {
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
189 uncomment(line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
190 oneword("#ifndef", p2, line);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
191 ifstate_push(p, !macro_isdefined(line));
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
192 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
193
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
194 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
195 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
196 d_elif(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
197 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
198 char *expr;
16
9dda765ee85c expression evaluator
David A. Holland
parents: 15
diff changeset
199 struct place p3 = *p2;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
200
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
201 if (ifstate->seenelse) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
202 complain(p, "#elif after #else");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
203 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
204 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
205
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
206 if (ifstate->evertrue) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
207 ifstate->curtrue = false;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
208 } else {
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
209 uncomment(line);
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
210 expr = macroexpand(p2, line, strlen(line), true);
16
9dda765ee85c expression evaluator
David A. Holland
parents: 15
diff changeset
211 ifstate->curtrue = eval(&p3, expr);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
212 ifstate->evertrue = ifstate->curtrue;
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
213 dostrfree(expr);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
214 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
215 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
216
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
217 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
218 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
219 d_else(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
220 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
221 if (ifstate->seenelse) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
222 complain(p, "Multiple #else directives in one conditional");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
223 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
224 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
225
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
226 ifstate->curtrue = !ifstate->evertrue;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
227 ifstate->evertrue = true;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
228 ifstate->seenelse = true;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
229 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
230
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
231 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
232 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
233 d_endif(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
234 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
235 if (ifstate->prev == NULL) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
236 complain(p, "Unmatched #endif");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
237 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
238 } else {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
239 ifstate_pop();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
240 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
241 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
242
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
243 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
244 // macros
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
245
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
246 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
247 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
248 d_define(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
249 {
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
250 size_t pos, argpos;
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
251 struct place p3, p4;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
252
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
253 /*
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
254 * line may be:
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
255 * macro expansion
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
256 * macro(arg, arg, ...) expansion
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
257 */
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
258
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
259 pos = strcspn(line, " \t\f\v(");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
260 if (line[pos] == '(') {
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
261 line[pos++] = '\0';
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
262 argpos = pos;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
263 pos = pos + strcspn(line+pos, "()");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
264 if (line[pos] == '(') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
265 p2->column += pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
266 complain(p2, "Left parenthesis in macro parameters");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
267 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
268 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
269 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
270 if (line[pos] != ')') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
271 p2->column += pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
272 complain(p2, "Unclosed macro parameter list");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
273 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
274 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
275 }
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
276 line[pos++] = '\0';
36
a489cc223483 Don't demand space after the macro argument parenthesis.
David A. Holland
parents: 30
diff changeset
277 #if 0
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
278 if (!strchr(ws, line[pos])) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
279 p2->column += pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
280 complain(p2, "Trash after macro parameter list");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
281 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
282 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
283 }
36
a489cc223483 Don't demand space after the macro argument parenthesis.
David A. Holland
parents: 30
diff changeset
284 #endif
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
285 } else if (line[pos] == '\0') {
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
286 argpos = 0;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
287 } else {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
288 line[pos++] = '\0';
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
289 argpos = 0;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
290 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
291
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
292 pos += strspn(line+pos, ws);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
293
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
294 p3 = *p2;
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
295 p3.column += argpos;
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
296
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
297 p4 = *p2;
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
298 p4.column += pos;
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
299
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
300 if (argpos) {
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
301 macro_define_params(p2, line, &p3,
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
302 line + argpos, &p4,
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
303 line + pos);
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
304 } else {
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
305 macro_define_plain(p2, line, &p4, line + pos);
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
306 }
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
307 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
308
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
309 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
310 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
311 d_undef(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
312 {
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
313 uncomment(line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
314 oneword("#undef", p2, line);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
315 macro_undef(line);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
316 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
317
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
318 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
319 // includes
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
320
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
321 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
322 bool
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
323 tryinclude(struct place *p, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
324 {
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
325 size_t len;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
326
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
327 len = strlen(line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
328 if (len > 2 && line[0] == '"' && line[len-1] == '"') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
329 line[len-1] = '\0';
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
330 file_readquote(p, line+1);
62
90c6052410ce Don't truncate the candidate include path strings.
David A. Holland
parents: 49
diff changeset
331 line[len-1] = '"';
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
332 return true;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
333 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
334 if (len > 2 && line[0] == '<' && line[len-1] == '>') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
335 line[len-1] = '\0';
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
336 file_readbracket(p, line+1);
62
90c6052410ce Don't truncate the candidate include path strings.
David A. Holland
parents: 49
diff changeset
337 line[len-1] = '>';
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
338 return true;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
339 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
340 return false;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
341 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
342
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
343 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
344 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
345 d_include(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
346 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
347 char *text;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
348
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
349 uncomment(line);
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
350 if (tryinclude(p, line)) {
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
351 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
352 }
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
353 text = macroexpand(p2, line, strlen(line), false);
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
354 if (tryinclude(p, text)) {
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
355 dostrfree(text);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
356 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
357 }
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
358 dostrfree(text);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
359 complain(p, "Illegal #include directive");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
360 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
361 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
362
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
363 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
364 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
365 d_line(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
366 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
367 /* XXX */
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
368 complain(p, "Sorry, no #line yet");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
369 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
370
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
371 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
372 // messages
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
373
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
374 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
375 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
376 d_warning(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
377 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
378 char *msg;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
379
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
380 msg = macroexpand(p2, line, strlen(line), false);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
381 complain(p, "#warning: %s", msg);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
382 if (mode.werror) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
383 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
384 }
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
385 dostrfree(msg);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
386 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
387
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
388 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
389 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
390 d_error(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
391 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
392 char *msg;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
393
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
394 msg = macroexpand(p2, line, strlen(line), false);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
395 complain(p, "#error: %s", msg);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
396 complain_fail();
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
397 dostrfree(msg);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
398 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
399
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
400 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
401 // other
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
402
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
403 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
404 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
405 d_pragma(struct place *p, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
406 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
407 complain(p, "#pragma %s", line);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
408 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
409 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
410
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
411 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
412 // directive table
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
413
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
414 static const struct {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
415 const char *name;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
416 bool ifskip;
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
417 void (*func)(struct place *, struct place *, char *line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
418 } directives[] = {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
419 { "define", true, d_define },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
420 { "elif", false, d_elif },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
421 { "else", false, d_else },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
422 { "endif", false, d_endif },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
423 { "error", true, d_error },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
424 { "if", false, d_if },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
425 { "ifdef", false, d_ifdef },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
426 { "ifndef", false, d_ifndef },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
427 { "include", true, d_include },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
428 { "line", true, d_line },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
429 { "pragma", true, d_pragma },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
430 { "undef", true, d_undef },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
431 { "warning", true, d_warning },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
432 };
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
433 static const unsigned numdirectives = HOWMANY(directives);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
434
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
435 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
436 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
437 directive_gotdirective(struct place *p, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
438 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
439 struct place p2;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
440 size_t len, skip;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
441 unsigned i;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
442
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
443 p2 = *p;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
444 for (i=0; i<numdirectives; i++) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
445 len = strlen(directives[i].name);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
446 if (!strncmp(line, directives[i].name, len) &&
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
447 strchr(ws, line[len])) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
448 if (directives[i].ifskip && !ifstate->curtrue) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
449 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
450 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
451 skip = len + strspn(line+len, ws);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
452 p2.column += skip;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
453 line += skip;
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
454
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
455 len = strlen(line);
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
456 len = notrailingws(line, len);
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
457 if (len < strlen(line)) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
458 line[len] = '\0';
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
459 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
460 directives[i].func(p, &p2, line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
461 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
462 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
463 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
464 skip = strcspn(line, ws);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
465 complain(p, "Unknown directive #%.*s", (int)skip, line);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
466 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
467 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
468
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
469 /*
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
470 * Check for nested comment delimiters in LINE.
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
471 */
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
472 static
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
473 size_t
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
474 directive_scancomments(const struct place *p, char *line, size_t len)
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
475 {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
476 size_t pos;
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
477 bool incomment;
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
478 struct place p2;
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
479
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
480 p2 = *p;
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
481 incomment = 0;
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
482 for (pos = 0; pos+1 < len; pos++) {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
483 if (line[pos] == '/' && line[pos+1] == '*') {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
484 if (incomment) {
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
485 complain(&p2, "Warning: %c%c within comment",
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
486 '/', '*');
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
487 if (mode.werror) {
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
488 complain_failed();
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
489 }
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
490 } else {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
491 incomment = true;
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
492 }
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
493 } else if (line[pos] == '*' && line[pos+1] == '/') {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
494 if (incomment) {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
495 incomment = false;
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
496 } else {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
497 /* stray end-comment; should we care? */
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
498 }
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
499 }
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
500 if (line[pos] == '\n') {
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
501 p2.line++;
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
502 p2.column = 0;
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
503 } else {
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
504 p2.column++;
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
505 }
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
506 }
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
507
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
508 /* multiline comments are supposed to arrive in a single buffer */
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
509 assert(!incomment);
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
510 return len;
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
511 }
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
512
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
513 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
514 directive_gotline(struct place *p, char *line, size_t len)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
515 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
516 size_t skip;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
517
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
518 if (warns.nestcomment) {
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
519 directive_scancomments(p, line, len);
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
520 }
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
521
66
f8507e5ed84c Recognize directive lines only when the # is exactly in column 0.
David A. Holland
parents: 64
diff changeset
522 /* check if we have a directive line (# exactly in column 0) */
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
523 if (line[0] == '#') {
66
f8507e5ed84c Recognize directive lines only when the # is exactly in column 0.
David A. Holland
parents: 64
diff changeset
524 skip = 1 + strspn(line + 1, ws);
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
525 assert(skip <= len);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
526 p->column += skip;
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
527 assert(line[len] == '\0');
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
528 directive_gotdirective(p, line+skip /*, length = len-skip */);
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
529 p->column += len-skip;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
530 } else if (ifstate->curtrue) {
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
531 macro_sendline(p, line, len);
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
532 p->column += len;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
533 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
534 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
535
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
536 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
537 directive_goteof(struct place *p)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
538 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
539 while (ifstate->prev != NULL) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
540 complain(p, "Missing #endif");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
541 complain(&ifstate->startplace, "...opened at this point");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
542 complain_failed();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
543 ifstate_pop();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
544 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
545 macro_sendeof(p);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
546 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
547
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
548 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
549 // module initialization
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
550
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
551 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
552 directive_init(void)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
553 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
554 ifstate = ifstate_create(NULL, NULL, true);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
555 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
556
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
557 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
558 directive_cleanup(void)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
559 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
560 assert(ifstate->prev == NULL);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
561 ifstate_destroy(ifstate);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
562 ifstate = NULL;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
563 }