]> git.saurik.com Git - bison.git/blame_incremental - src/location.c
tests: factor duplicate expected warnings
[bison.git] / src / location.c
... / ...
CommitLineData
1/* Locations for Bison
2
3 Copyright (C) 2002, 2005-2013 Free Software Foundation, Inc.
4
5 This file is part of Bison, the GNU Compiler Compiler.
6
7 This program is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
19
20#include <config.h>
21#include "system.h"
22
23#include <mbswidth.h>
24#include <quotearg.h>
25
26#include "complain.h"
27#include "location.h"
28
29location const empty_location = EMPTY_LOCATION_INIT;
30
31/* If BUF is null, add BUFSIZE (which in this case must be less than
32 INT_MAX) to COLUMN; otherwise, add mbsnwidth (BUF, BUFSIZE, 0) to
33 COLUMN. If an overflow occurs, or might occur but is undetectable,
34 return INT_MAX. Assume COLUMN is nonnegative. */
35
36static inline int
37add_column_width (int column, char const *buf, size_t bufsize)
38{
39 size_t width;
40 unsigned int remaining_columns = INT_MAX - column;
41
42 if (buf)
43 {
44 if (INT_MAX / 2 <= bufsize)
45 return INT_MAX;
46 width = mbsnwidth (buf, bufsize, 0);
47 }
48 else
49 width = bufsize;
50
51 return width <= remaining_columns ? column + width : INT_MAX;
52}
53
54/* Set *LOC and adjust scanner cursor to account for token TOKEN of
55 size SIZE. */
56
57void
58location_compute (location *loc, boundary *cur, char const *token, size_t size)
59{
60 int line = cur->line;
61 int column = cur->column;
62 char const *p0 = token;
63 char const *p = token;
64 char const *lim = token + size;
65
66 loc->start = *cur;
67
68 for (p = token; p < lim; p++)
69 switch (*p)
70 {
71 case '\n':
72 line += line < INT_MAX;
73 column = 1;
74 p0 = p + 1;
75 break;
76
77 case '\t':
78 column = add_column_width (column, p0, p - p0);
79 column = add_column_width (column, NULL, 8 - ((column - 1) & 7));
80 p0 = p + 1;
81 break;
82
83 default:
84 break;
85 }
86
87 cur->line = line;
88 cur->column = column = add_column_width (column, p0, p - p0);
89
90 loc->end = *cur;
91
92 if (line == INT_MAX && loc->start.line != INT_MAX)
93 complain (loc, Wother, _("line number overflow"));
94 if (column == INT_MAX && loc->start.column != INT_MAX)
95 complain (loc, Wother, _("column number overflow"));
96}
97
98
99unsigned
100location_print (location loc, FILE *out)
101{
102 unsigned res = 0;
103 int end_col = 0 != loc.end.column ? loc.end.column - 1 : 0;
104 res += fprintf (out, "%s",
105 quotearg_n_style (3, escape_quoting_style, loc.start.file));
106 if (0 <= loc.start.line)
107 {
108 res += fprintf (out, ":%d", loc.start.line);
109 if (0 <= loc.start.column)
110 res += fprintf (out, ".%d", loc.start.column);
111 }
112 if (loc.start.file != loc.end.file)
113 {
114 res += fprintf (out, "-%s",
115 quotearg_n_style (3, escape_quoting_style,
116 loc.end.file));
117 if (0 <= loc.end.line)
118 {
119 res += fprintf (out, ":%d", loc.end.line);
120 if (0 <= end_col)
121 res += fprintf (out, ".%d", end_col);
122 }
123 }
124 else if (0 <= loc.end.line)
125 {
126 if (loc.start.line < loc.end.line)
127 {
128 res += fprintf (out, "-%d", loc.end.line);
129 if (0 <= end_col)
130 res += fprintf (out, ".%d", end_col);
131 }
132 else if (0 <= end_col && loc.start.column < end_col)
133 res += fprintf (out, "-%d", end_col);
134 }
135
136 return res;
137}
138
139
140/* Persistant data used by location_caret to avoid reopening and rereading the
141 same file all over for each error. */
142struct caret_info
143{
144 FILE *source;
145 size_t line;
146 size_t offset;
147};
148
149static struct caret_info caret_info = { NULL, 1, 0 };
150
151void
152cleanup_caret ()
153{
154 if (caret_info.source)
155 fclose (caret_info.source);
156 caret_info.source = NULL;
157 caret_info.line = 1;
158 caret_info.offset = 0;
159}
160
161void
162location_caret (location loc, FILE *out)
163{
164 /* FIXME: find a way to support multifile locations, and only open once each
165 file. That would make the procedure future-proof. */
166 if (! (caret_info.source
167 || (caret_info.source = fopen (loc.start.file, "r")))
168 || loc.start.column == -1 || loc.start.line == -1)
169 return;
170
171 /* If the line we want to quote is seekable (the same line as the previous
172 location), just seek it. If it was a previous line, we lost track of it,
173 so return to the start of file. */
174 if (caret_info.line <= loc.start.line)
175 fseek (caret_info.source, caret_info.offset, SEEK_SET);
176 else
177 {
178 caret_info.line = 1;
179 caret_info.offset = 0;
180 fseek (caret_info.source, caret_info.offset, SEEK_SET);
181 }
182
183 /* Advance to the line's position, keeping track of the offset. */
184 while (caret_info.line < loc.start.line)
185 caret_info.line += getc (caret_info.source) == '\n';
186 caret_info.offset = ftell (caret_info.source);
187
188 /* Read the actual line. Don't update the offset, so that we keep a pointer
189 to the start of the line. */
190 {
191 char c = getc (caret_info.source);
192 if (c != EOF)
193 {
194 /* Quote the file, indent by a single column. */
195 putc (' ', out);
196 do
197 putc (c, out);
198 while ((c = getc (caret_info.source)) != EOF && c != '\n');
199 putc ('\n', out);
200
201 {
202 /* The caret of a multiline location ends with the first line. */
203 size_t len = loc.start.line != loc.end.line
204 ? ftell (caret_info.source) - caret_info.offset
205 : loc.end.column;
206 int i;
207
208 /* Print the carets (at least one), with the same indent as above.*/
209 fprintf (out, " %*s", loc.start.column - 1, "");
210 for (i = loc.start.column; i == loc.start.column || i < len; ++i)
211 putc ('^', out);
212 }
213 putc ('\n', out);
214 }
215 }
216}
217
218void
219boundary_set_from_string (boundary *bound, char *loc_str)
220{
221 /* Must search in reverse since the file name field may
222 * contain '.' or ':'. */
223 char *delim = strrchr (loc_str, '.');
224 aver (delim);
225 *delim = '\0';
226 bound->column = atoi (delim+1);
227 delim = strrchr (loc_str, ':');
228 aver (delim);
229 *delim = '\0';
230 bound->line = atoi (delim+1);
231 bound->file = uniqstr_new (loc_str);
232}