X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/4c36bc2b8d65cb76480a30b3fcd2d7824ea12de9..ae9c90ba004680b0acfa6ef7aa457c4c0cfc43d7:/src/location.c diff --git a/src/location.c b/src/location.c index fa1b53cb..d48a0a13 100644 --- a/src/location.c +++ b/src/location.c @@ -42,7 +42,7 @@ add_column_width (int column, char const *buf, size_t bufsize) if (buf) { if (INT_MAX / 2 <= bufsize) - return INT_MAX; + return INT_MAX; width = mbsnwidth (buf, bufsize, 0); } else @@ -69,19 +69,19 @@ location_compute (location *loc, boundary *cur, char const *token, size_t size) switch (*p) { case '\n': - line += line < INT_MAX; - column = 1; - p0 = p + 1; - break; + line += line < INT_MAX; + column = 1; + p0 = p + 1; + break; case '\t': - column = add_column_width (column, p0, p - p0); - column = add_column_width (column, NULL, 8 - ((column - 1) & 7)); - p0 = p + 1; - break; + column = add_column_width (column, p0, p - p0); + column = add_column_width (column, NULL, 8 - ((column - 1) & 7)); + p0 = p + 1; + break; default: - break; + break; } cur->line = line; @@ -90,9 +90,9 @@ location_compute (location *loc, boundary *cur, char const *token, size_t size) loc->end = *cur; if (line == INT_MAX && loc->start.line != INT_MAX) - warn_at (*loc, _("line number overflow")); + complain (loc, Wother, _("line number overflow")); if (column == INT_MAX && loc->start.column != INT_MAX) - warn_at (*loc, _("column number overflow")); + complain (loc, Wother, _("column number overflow")); } @@ -138,16 +138,91 @@ location_print (FILE *out, location loc) return res; } + +/* Persistant data used by location_caret to avoid reopening and rereading the + same file all over for each error. */ +struct caret_info +{ + FILE *source; + size_t line; + size_t offset; +}; + +static struct caret_info caret_info = { NULL, 1, 0 }; + +void +cleanup_caret () +{ + if (caret_info.source) + fclose (caret_info.source); +} + +void +location_caret (FILE *out, location loc) +{ + /* FIXME: find a way to support multifile locations, and only open once each + file. That would make the procedure future-proof. */ + if (! (caret_info.source + || (caret_info.source = fopen (loc.start.file, "r"))) + || loc.start.column == -1 || loc.start.line == -1) + return; + + /* If the line we want to quote is seekable (the same line as the previous + location), just seek it. If it was before, we lost track of it, so + return to the start of file. */ + if (caret_info.line <= loc.start.line) + fseek (caret_info.source, caret_info.offset, SEEK_SET); + else + { + caret_info.line = 1; + caret_info.offset = 0; + fseek (caret_info.source, caret_info.offset, SEEK_SET); + } + + /* Advance to the line's position, keeping track of the offset. */ + while (caret_info.line < loc.start.line) + caret_info.line += fgetc (caret_info.source) == '\n'; + caret_info.offset = ftell (caret_info.source); + + /* Read the actual line. Don't update the offset, so that we keep a pointer + to the start of the line. */ + { + char *buf = NULL; + size_t size = 0; + ssize_t len = getline (&buf, &size, caret_info.source); + if (0 < len) + { + /* The caret of a multiline location ends with the first line. */ + int end = loc.start.line != loc.end.line ? len : loc.end.column; + + /* Quote the file, indent by a single column. */ + fputc (' ', out); + fwrite (buf, 1, len, out); + + /* Print the caret, with the same indent as above. */ + fprintf (out, " %*s", loc.start.column - 1, ""); + { + int i = loc.start.column; + do + fputc ('^', out); + while (++i < end); + } + fputc ('\n', out); + } + free (buf); + } +} + void boundary_set_from_string (boundary *bound, char *loc_str) { /* Must search in reverse since the file name field may * contain `.' or `:'. */ - char *delim = mbsrchr (loc_str, '.'); + char *delim = strrchr (loc_str, '.'); aver (delim); *delim = '\0'; bound->column = atoi (delim+1); - delim = mbsrchr (loc_str, ':'); + delim = strrchr (loc_str, ':'); aver (delim); *delim = '\0'; bound->line = atoi (delim+1);