annotate directive.c @ 199:1d2bad7151f9

Add a -debuglog option to send an execution trace to a file. Intended to be used when debugging imake templates and other complex input, not for debugging tradcpp itself.
author David A. Holland
date Sun, 04 Sep 2016 17:14:42 -0400
parents 4c3375895c6e
children 3a25180d3a5c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30
76c114899f63 copyrights
David A. Holland
parents: 18
diff changeset
1 /*-
99
60184aa42604 add 2013 to copyrights where it seems warranted
David A. Holland
parents: 90
diff changeset
2 * Copyright (c) 2010, 2013 The NetBSD Foundation, Inc.
30
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 <stdlib.h>
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
32 #include <string.h>
173
6ff17ab68b16 directive.c needs limits.h
David A. Holland
parents: 165
diff changeset
33 #include <limits.h>
165
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
34 #include <errno.h>
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
35
183
4c3375895c6e Don't use <stdbool.h> unless __STDC__ is large enough.
David A. Holland
parents: 176
diff changeset
36 #include "bool.h"
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
37 #include "utils.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
38 #include "mode.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
39 #include "place.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
40 #include "files.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
41 #include "directive.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
42 #include "macro.h"
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
43 #include "eval.h"
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
44 #include "output.h"
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
45
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
46 struct ifstate {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
47 struct ifstate *prev;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
48 struct place startplace;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
49 bool curtrue;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
50 bool evertrue;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
51 bool seenelse;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
52 };
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
53
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
54 static struct ifstate *ifstate;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
55
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
56 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
57 // common parsing bits
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
58
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
59 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
60 void
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
61 uncomment(char *buf)
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
62 {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
63 char *s, *t, *u = NULL;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
64 bool incomment = false;
81
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
65 bool inesc = false;
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
66 bool inquote = false;
128
1cda505ddc78 Don't expand macros within character constants.
David A. Holland
parents: 127
diff changeset
67 char quote = '\0';
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
68
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
69 for (s = t = buf; *s; s++) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
70 if (incomment) {
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 s++;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
73 incomment = false;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
74 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
75 } else {
81
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
76 if (!inquote && s[0] == '/' && s[1] == '*') {
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
77 incomment = true;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
78 } else {
81
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
79 if (inesc) {
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
80 inesc = false;
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
81 } else if (s[0] == '\\') {
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
82 inesc = true;
128
1cda505ddc78 Don't expand macros within character constants.
David A. Holland
parents: 127
diff changeset
83 } else if (!inquote &&
1cda505ddc78 Don't expand macros within character constants.
David A. Holland
parents: 127
diff changeset
84 (s[0] == '"' || s[0] == '\'')) {
1cda505ddc78 Don't expand macros within character constants.
David A. Holland
parents: 127
diff changeset
85 inquote = true;
1cda505ddc78 Don't expand macros within character constants.
David A. Holland
parents: 127
diff changeset
86 quote = s[0];
1cda505ddc78 Don't expand macros within character constants.
David A. Holland
parents: 127
diff changeset
87 } else if (inquote && s[0] == quote) {
1cda505ddc78 Don't expand macros within character constants.
David A. Holland
parents: 127
diff changeset
88 inquote = false;
81
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
89 }
27c9aafcaca1 Don't recognize comments within double-quote strings.
David A. Holland
parents: 77
diff changeset
90
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
91 if (t != s) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
92 *t = *s;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
93 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
94 if (!strchr(ws, *t)) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
95 u = t;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
96 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
97 t++;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
98 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
99 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
100 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
101 if (u) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
102 /* end string after last non-whitespace char */
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
103 u[1] = '\0';
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
104 } else {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
105 *t = '\0';
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
106 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
107 }
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
108
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
109 static
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
110 void
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
111 oneword(const char *what, struct place *p2, char *line)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
112 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
113 size_t pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
114
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
115 pos = strcspn(line, ws);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
116 if (line[pos] != '\0') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
117 p2->column += pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
118 complain(p2, "Garbage after %s argument", what);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
119 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
120 line[pos] = '\0';
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
121 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
122 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
123
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
124 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
125 // if handling
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
126
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
127 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
128 struct ifstate *
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
129 ifstate_create(struct ifstate *prev, struct place *p, bool startstate)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
130 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
131 struct ifstate *is;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
132
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
133 is = domalloc(sizeof(*is));
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
134 is->prev = prev;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
135 if (p != NULL) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
136 is->startplace = *p;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
137 } else {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
138 place_setbuiltin(&is->startplace, 1);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
139 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
140 is->curtrue = startstate;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
141 is->evertrue = is->curtrue;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
142 is->seenelse = false;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
143 return is;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
144 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
145
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
146 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
147 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
148 ifstate_destroy(struct ifstate *is)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
149 {
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
150 dofree(is, sizeof(*is));
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
151 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
152
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
153 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
154 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
155 ifstate_push(struct place *p, bool startstate)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
156 {
72
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
157 struct ifstate *newstate;
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
158
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
159 newstate = ifstate_create(ifstate, p, startstate);
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
160 if (!ifstate->curtrue) {
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
161 newstate->curtrue = false;
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
162 newstate->evertrue = true;
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
163 }
b1d0f10e8d36 handle nested ifs correctly
David A. Holland
parents: 66
diff changeset
164 ifstate = newstate;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
165 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
166
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
167 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
168 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
169 ifstate_pop(void)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
170 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
171 struct ifstate *is;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
172
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
173 is = ifstate;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
174 ifstate = ifstate->prev;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
175 ifstate_destroy(is);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
176 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
177
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
178 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
179 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
180 d_if(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
181 {
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
182 bool doprint;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
183 char *expr;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
184 bool val;
16
9dda765ee85c expression evaluator
David A. Holland
parents: 15
diff changeset
185 struct place p3 = *p2;
82
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
186 size_t oldlen;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
187
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
188 doprint = ifstate->curtrue;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
189
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
190 expr = macroexpand(p2, line, strlen(line), true);
82
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
191
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
192 oldlen = strlen(expr);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
193 uncomment(expr);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
194 /* trim to fit, so the malloc debugging won't complain */
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
195 expr = dorealloc(expr, oldlen + 1, strlen(expr) + 1);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
196
127
a0a86380456e fix for #if handling:
David A. Holland
parents: 109
diff changeset
197 if (ifstate->curtrue) {
a0a86380456e fix for #if handling:
David A. Holland
parents: 109
diff changeset
198 val = eval(&p3, expr);
a0a86380456e fix for #if handling:
David A. Holland
parents: 109
diff changeset
199 } else {
a0a86380456e fix for #if handling:
David A. Holland
parents: 109
diff changeset
200 val = 0;
a0a86380456e fix for #if handling:
David A. Holland
parents: 109
diff changeset
201 }
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
202 ifstate_push(&lp->current, val);
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
203 dostrfree(expr);
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
204
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
205 if (doprint) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
206 debuglog(&lp->current, "#if: %s",
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
207 ifstate->curtrue ? "taken" : "not taken");
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
208 }
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
209 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
210
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
211 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
212 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
213 d_ifdef(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
214 {
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
215 bool doprint;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
216
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
217 doprint = ifstate->curtrue;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
218
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
219 uncomment(line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
220 oneword("#ifdef", p2, line);
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
221 ifstate_push(&lp->current, macro_isdefined(line));
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
222
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
223 if (doprint) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
224 debuglog(&lp->current, "#ifdef %s: %s",
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
225 line, ifstate->curtrue ? "taken" : "not taken");
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
226 }
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
227 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
228
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
229 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
230 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
231 d_ifndef(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
232 {
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
233 bool doprint;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
234
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
235 doprint = ifstate->curtrue;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
236
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
237 uncomment(line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
238 oneword("#ifndef", p2, line);
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
239 ifstate_push(&lp->current, !macro_isdefined(line));
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
240
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
241 if (doprint) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
242 debuglog(&lp->current, "#ifndef %s: %s",
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
243 line, ifstate->curtrue ? "taken" : "not taken");
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
244 }
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
245 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
246
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
247 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
248 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
249 d_elif(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
250 {
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
251 bool doprint;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
252 char *expr;
16
9dda765ee85c expression evaluator
David A. Holland
parents: 15
diff changeset
253 struct place p3 = *p2;
82
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
254 size_t oldlen;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
255
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
256 if (ifstate->seenelse) {
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
257 complain(&lp->current, "#elif after #else");
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
258 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
259 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
260
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
261 doprint = ifstate->curtrue;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
262
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
263 if (ifstate->evertrue) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
264 ifstate->curtrue = false;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
265 } else {
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
266 expr = macroexpand(p2, line, strlen(line), true);
82
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
267
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
268 oldlen = strlen(expr);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
269 uncomment(expr);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
270 /* trim to fit, so the malloc debugging won't complain */
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
271 expr = dorealloc(expr, oldlen + 1, strlen(expr) + 1);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
272
16
9dda765ee85c expression evaluator
David A. Holland
parents: 15
diff changeset
273 ifstate->curtrue = eval(&p3, expr);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
274 ifstate->evertrue = ifstate->curtrue;
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
275 dostrfree(expr);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
276 }
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
277
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
278 if (doprint) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
279 debuglog2(&lp->current, &ifstate->startplace, "#elif: %s",
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
280 ifstate->curtrue ? "taken" : "not taken");
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
281 }
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
282 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
283
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
284 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
285 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
286 d_else(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
287 {
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
288 bool doprint;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
289
103
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
290 (void)p2;
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
291 (void)line;
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
292
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
293 if (ifstate->seenelse) {
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
294 complain(&lp->current,
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
295 "Multiple #else directives in one conditional");
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
296 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
297 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
298
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
299 doprint = ifstate->curtrue;
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
300
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
301 ifstate->curtrue = !ifstate->evertrue;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
302 ifstate->evertrue = true;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
303 ifstate->seenelse = true;
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
304
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
305 if (doprint) {
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
306 debuglog2(&lp->current, &ifstate->startplace, "#else: %s",
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
307 ifstate->curtrue ? "taken" : "not taken");
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
308 }
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
309 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
310
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
311 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
312 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
313 d_endif(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
314 {
103
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
315 (void)p2;
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
316 (void)line;
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
317
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
318 if (ifstate->prev == NULL) {
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
319 complain(&lp->current, "Unmatched #endif");
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
320 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
321 } else {
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
322 debuglog2(&lp->current, &ifstate->startplace, "#endif");
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
323 ifstate_pop();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
324 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
325 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
326
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
327 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
328 // macros
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
329
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
330 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
331 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
332 d_define(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
333 {
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
334 size_t pos, argpos;
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
335 struct place p3, p4;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
336
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
337 (void)lp;
103
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
338
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
339 /*
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
340 * line may be:
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
341 * macro expansion
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
342 * macro(arg, arg, ...) expansion
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
343 */
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
344
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
345 pos = strcspn(line, " \t\f\v(");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
346 if (line[pos] == '(') {
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
347 line[pos++] = '\0';
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
348 argpos = pos;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
349 pos = pos + strcspn(line+pos, "()");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
350 if (line[pos] == '(') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
351 p2->column += pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
352 complain(p2, "Left parenthesis in macro parameters");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
353 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
354 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
355 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
356 if (line[pos] != ')') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
357 p2->column += pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
358 complain(p2, "Unclosed macro parameter list");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
359 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
360 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
361 }
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
362 line[pos++] = '\0';
36
a489cc223483 Don't demand space after the macro argument parenthesis.
David A. Holland
parents: 30
diff changeset
363 #if 0
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
364 if (!strchr(ws, line[pos])) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
365 p2->column += pos;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
366 complain(p2, "Trash after macro parameter list");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
367 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
368 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
369 }
36
a489cc223483 Don't demand space after the macro argument parenthesis.
David A. Holland
parents: 30
diff changeset
370 #endif
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
371 } else if (line[pos] == '\0') {
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
372 argpos = 0;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
373 } else {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
374 line[pos++] = '\0';
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
375 argpos = 0;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
376 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
377
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
378 pos += strspn(line+pos, ws);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
379
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
380 p3 = *p2;
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
381 p3.column += argpos;
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
382
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
383 p4 = *p2;
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
384 p4.column += pos;
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
385
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
386 if (argpos) {
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
387 debuglog(&lp->current, "Defining %s()", line);
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
388 macro_define_params(p2, line, &p3,
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
389 line + argpos, &p4,
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
390 line + pos);
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
391 } else {
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
392 debuglog(&lp->current, "Defining %s", line);
18
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
393 macro_define_plain(p2, line, &p4, line + pos);
c08a947d8f30 deal with macro parameters
David A. Holland
parents: 16
diff changeset
394 }
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
395 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
396
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
397 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
398 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
399 d_undef(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
400 {
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
401 (void)lp;
103
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
402
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
403 uncomment(line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
404 oneword("#undef", p2, line);
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
405 debuglog(&lp->current, "Undef %s", line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
406 macro_undef(line);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
407 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
408
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
409 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
410 // includes
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
411
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
412 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
413 bool
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
414 tryinclude(struct place *p, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
415 {
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
416 size_t len;
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
417
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
418 len = strlen(line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
419 if (len > 2 && line[0] == '"' && line[len-1] == '"') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
420 line[len-1] = '\0';
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
421 debuglog(p, "Entering include file \"%s\"", line+1);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
422 file_readquote(p, line+1);
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
423 debuglog(p, "Leaving include file \"%s\"", line+1);
62
90c6052410ce Don't truncate the candidate include path strings.
David A. Holland
parents: 49
diff changeset
424 line[len-1] = '"';
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
425 return true;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
426 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
427 if (len > 2 && line[0] == '<' && line[len-1] == '>') {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
428 line[len-1] = '\0';
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
429 debuglog(p, "Entering include file <%s>", line+1);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
430 file_readbracket(p, line+1);
199
1d2bad7151f9 Add a -debuglog option to send an execution trace to a file.
David A. Holland
parents: 183
diff changeset
431 debuglog(p, "Leaving include file <%s>", line+1);
62
90c6052410ce Don't truncate the candidate include path strings.
David A. Holland
parents: 49
diff changeset
432 line[len-1] = '>';
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
433 return true;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
434 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
435 return false;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
436 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
437
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
438 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
439 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
440 d_include(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
441 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
442 char *text;
82
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
443 size_t oldlen;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
444
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
445 uncomment(line);
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
446 if (tryinclude(&lp->current, line)) {
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
447 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
448 }
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
449 text = macroexpand(p2, line, strlen(line), false);
82
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
450
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
451 oldlen = strlen(text);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
452 uncomment(text);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
453 /* trim to fit, so the malloc debugging won't complain */
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
454 text = dorealloc(text, oldlen + 1, strlen(text) + 1);
05a94332f08b In #if/#elif, prune comments *after* macro expansion.
David A. Holland
parents: 81
diff changeset
455
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
456 if (tryinclude(&lp->current, text)) {
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
457 dostrfree(text);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
458 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
459 }
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
460 complain(&lp->current, "Illegal #include directive");
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
461 complain(&lp->current, "Before macro expansion: #include %s", line);
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
462 complain(&lp->current, "After macro expansion: #include %s", text);
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
463 dostrfree(text);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
464 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
465 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
466
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
467 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
468 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
469 d_line(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
470 {
160
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
471 char *text;
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
472 size_t oldlen;
165
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
473 unsigned long val;
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
474 char *moretext;
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
475 size_t moretextlen;
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
476 char *filename;
160
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
477
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
478 text = macroexpand(p2, line, strlen(line), true);
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
479
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
480 oldlen = strlen(text);
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
481 uncomment(text);
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
482 /* trim to fit, so the malloc debugging won't complain */
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
483 text = dorealloc(text, oldlen + 1, strlen(text) + 1);
103
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
484
165
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
485 /*
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
486 * What we should have here: either 1234 "file.c",
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
487 * or just 1234.
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
488 */
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
489
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
490 errno = 0;
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
491 val = strtoul(text, &moretext, 10);
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
492 if (errno) {
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
493 complain(&lp->current, "No line number in #line directive");
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
494 goto fail;
160
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
495 }
165
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
496 #if UINT_MAX < ULONG_MAX
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
497 if (val > UINT_MAX) {
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
498 complain(&lp->current,
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
499 "Line number in #line directive too large");
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
500 goto fail;
160
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
501 }
165
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
502 #endif
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
503 moretext += strspn(moretext, ws);
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
504 moretextlen = strlen(moretext);
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
505 lp->current.column += (moretext - text);
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
506
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
507 if (moretextlen > 2 &&
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
508 moretext[0] == '"' && moretext[moretextlen-1] == '"') {
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
509 filename = dostrndup(moretext+1, moretextlen-2);
176
a2f047301c15 Replace Joerg's place_setfile with something that at least sort of works.
David A. Holland
parents: 175
diff changeset
510 place_changefile(&lp->nextline, filename);
160
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
511 dostrfree(filename);
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
512 }
165
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
513 else if (moretextlen > 0) {
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
514 complain(&lp->current,
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
515 "Invalid file name in #line directive");
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
516 goto fail;
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
517 }
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
518
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
519 lp->nextline.line = val;
160
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
520 dostrfree(text);
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
521 return;
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
522
165
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
523 fail:
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
524 complain(&lp->current, "Before macro expansion: #line %s", line);
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
525 complain(&lp->current, "After macro expansion: #line %s", text);
cc6d6f27d6ee Fix Joerg's #line code.
David A. Holland
parents: 164
diff changeset
526 complain_fail();
160
d6e6b3940780 Fully implement #line.
Joerg Sonnenberger <joerg@bec.de>
parents: 128
diff changeset
527 dostrfree(text);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
528 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
529
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
530 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
531 // messages
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
532
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
533 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
534 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
535 d_warning(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
536 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
537 char *msg;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
538
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
539 msg = macroexpand(p2, line, strlen(line), false);
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
540 complain(&lp->current, "#warning: %s", msg);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
541 if (mode.werror) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
542 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
543 }
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
544 dostrfree(msg);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
545 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
546
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
547 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
548 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
549 d_error(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
550 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
551 char *msg;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
552
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
553 msg = macroexpand(p2, line, strlen(line), false);
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
554 complain(&lp->current, "#error: %s", msg);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
555 complain_fail();
39
337110e7240a Pass the size to free; it makes debug checking easier.
David A. Holland
parents: 38
diff changeset
556 dostrfree(msg);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
557 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
558
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
559 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
560 // other
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
561
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
562 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
563 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
564 d_pragma(struct lineplace *lp, struct place *p2, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
565 {
103
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
566 (void)p2;
343af355df1b Pass -Wunused.
David A. Holland
parents: 99
diff changeset
567
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
568 complain(&lp->current, "#pragma %s", line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
569 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
570 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
571
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
572 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
573 // directive table
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
574
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
575 static const struct {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
576 const char *name;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
577 bool ifskip;
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
578 void (*func)(struct lineplace *, struct place *, char *line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
579 } directives[] = {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
580 { "define", true, d_define },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
581 { "elif", false, d_elif },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
582 { "else", false, d_else },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
583 { "endif", false, d_endif },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
584 { "error", true, d_error },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
585 { "if", false, d_if },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
586 { "ifdef", false, d_ifdef },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
587 { "ifndef", false, d_ifndef },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
588 { "include", true, d_include },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
589 { "line", true, d_line },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
590 { "pragma", true, d_pragma },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
591 { "undef", true, d_undef },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
592 { "warning", true, d_warning },
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
593 };
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
594 static const unsigned numdirectives = HOWMANY(directives);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
595
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
596 static
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
597 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
598 directive_gotdirective(struct lineplace *lp, char *line)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
599 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
600 struct place p2;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
601 size_t len, skip;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
602 unsigned i;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
603
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
604 p2 = lp->current;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
605 for (i=0; i<numdirectives; i++) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
606 len = strlen(directives[i].name);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
607 if (!strncmp(line, directives[i].name, len) &&
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
608 strchr(ws, line[len])) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
609 if (directives[i].ifskip && !ifstate->curtrue) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
610 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
611 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
612 skip = len + strspn(line+len, ws);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
613 p2.column += skip;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
614 line += skip;
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
615
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
616 len = strlen(line);
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
617 len = notrailingws(line, len);
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
618 if (len < strlen(line)) {
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
619 line[len] = '\0';
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
620 }
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
621 directives[i].func(lp, &p2, line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
622 return;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
623 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
624 }
83
3e505c16b0b0 Accept # by itself, including with a comment after it.
David A. Holland
parents: 82
diff changeset
625 /* ugh. allow # by itself, including with a comment after it */
3e505c16b0b0 Accept # by itself, including with a comment after it.
David A. Holland
parents: 82
diff changeset
626 uncomment(line);
3e505c16b0b0 Accept # by itself, including with a comment after it.
David A. Holland
parents: 82
diff changeset
627 if (line[0] == '\0') {
3e505c16b0b0 Accept # by itself, including with a comment after it.
David A. Holland
parents: 82
diff changeset
628 return;
3e505c16b0b0 Accept # by itself, including with a comment after it.
David A. Holland
parents: 82
diff changeset
629 }
3e505c16b0b0 Accept # by itself, including with a comment after it.
David A. Holland
parents: 82
diff changeset
630
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
631 skip = strcspn(line, ws);
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
632 complain(&lp->current, "Unknown directive #%.*s", (int)skip, line);
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
633 complain_fail();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
634 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
635
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
636 /*
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
637 * 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
638 */
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
639 static
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
640 size_t
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
641 directive_scancomments(const struct lineplace *lp, char *line, size_t len)
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
642 {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
643 size_t pos;
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
644 bool incomment;
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
645 struct place p2;
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
646
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
647 p2 = lp->current;
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
648 incomment = 0;
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
649 for (pos = 0; pos+1 < len; pos++) {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
650 if (line[pos] == '/' && line[pos+1] == '*') {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
651 if (incomment) {
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
652 complain(&p2, "Warning: %c%c within comment",
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
653 '/', '*');
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
654 if (mode.werror) {
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
655 complain_failed();
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
656 }
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
657 } else {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
658 incomment = true;
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
659 }
109
4483a14ee101 Make -Wcomment work again
David A. Holland
parents: 103
diff changeset
660 pos++;
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
661 } else if (line[pos] == '*' && line[pos+1] == '/') {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
662 if (incomment) {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
663 incomment = false;
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
664 } else {
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
665 /* stray end-comment; should we care? */
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
666 }
109
4483a14ee101 Make -Wcomment work again
David A. Holland
parents: 103
diff changeset
667 pos++;
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
668 }
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
669 if (line[pos] == '\n') {
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
670 p2.line++;
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
671 p2.column = 0;
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
672 } else {
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
673 p2.column++;
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
674 }
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
675 }
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
676
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
677 /* 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
678 assert(!incomment);
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
679 return len;
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
680 }
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
681
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
682 void
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
683 directive_gotline(struct lineplace *lp, char *line, size_t len)
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
684 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
685 size_t skip;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
686
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
687 if (warns.nestcomment) {
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
688 directive_scancomments(lp, line, len);
49
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
689 }
8a204d153398 Intercept multiline comments earlier. Leave same-line comments alone.
David A. Holland
parents: 39
diff changeset
690
66
f8507e5ed84c Recognize directive lines only when the # is exactly in column 0.
David A. Holland
parents: 64
diff changeset
691 /* check if we have a directive line (# exactly in column 0) */
175
ffdb0b73856f Suppress blank lines later.
David A. Holland
parents: 173
diff changeset
692 if (len > 0 && line[0] == '#') {
66
f8507e5ed84c Recognize directive lines only when the # is exactly in column 0.
David A. Holland
parents: 64
diff changeset
693 skip = 1 + strspn(line + 1, ws);
77
123168887da8 Clean out old not-really-working nested comment handling.
David A. Holland
parents: 72
diff changeset
694 assert(skip <= len);
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
695 lp->current.column += skip;
64
f50b4ea6cbfe Prune single-line comments from (most) directive lines.
David A. Holland
parents: 62
diff changeset
696 assert(line[len] == '\0');
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
697 directive_gotdirective(lp, line+skip /*, length = len-skip */);
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
698 lp->current.column += len-skip;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
699 } else if (ifstate->curtrue) {
154
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
700 macro_sendline(&lp->current, line, len);
a2c2fe8dbea3 Wrap up the current and next line position when invoking directives.
David A. Holland
parents: 128
diff changeset
701 lp->current.column += len;
15
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
702 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
703 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
704
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
705 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
706 directive_goteof(struct place *p)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
707 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
708 while (ifstate->prev != NULL) {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
709 complain(p, "Missing #endif");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
710 complain(&ifstate->startplace, "...opened at this point");
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
711 complain_failed();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
712 ifstate_pop();
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
713 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
714 macro_sendeof(p);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
715 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
716
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
717 ////////////////////////////////////////////////////////////
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
718 // module initialization
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
719
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
720 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
721 directive_init(void)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
722 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
723 ifstate = ifstate_create(NULL, NULL, true);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
724 }
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
725
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
726 void
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
727 directive_cleanup(void)
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
728 {
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
729 assert(ifstate->prev == NULL);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
730 ifstate_destroy(ifstate);
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
731 ifstate = NULL;
f6177d3ed5c2 handle directives
David A. Holland
parents:
diff changeset
732 }