diff options
author | Mattias Andrée <maandree@kth.se> | 2022-01-24 18:37:15 +0100 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2022-01-24 18:37:15 +0100 |
commit | 0650e17761ffc45b4fc5d32287514796d6da332d (patch) | |
tree | 1a4733cc429bf282fcd4e25928aa4e17bb9a12c9 | |
parent | Add more test cases (diff) | |
download | makel-0650e17761ffc45b4fc5d32287514796d6da332d.tar.gz makel-0650e17761ffc45b4fc5d32287514796d6da332d.tar.bz2 makel-0650e17761ffc45b4fc5d32287514796d6da332d.tar.xz |
Fix output and note which test cases are used to test each warning
Signed-off-by: Mattias Andrée <maandree@kth.se>
-rw-r--r-- | common.h | 2 | ||||
-rw-r--r-- | makel.c | 12 | ||||
-rw-r--r-- | ui.c | 15 |
3 files changed, 26 insertions, 3 deletions
@@ -125,13 +125,13 @@ int is_line_blank(struct line *line); /* ui.c */ extern struct warning_class_data warning_classes[]; void xprintwarningf(enum warning_class class, int severity, const char *fmt, ...); -#define printinfof(CLASS, ...) xprintwarningf(CLASS, 0, __VA_ARGS__) #define warnf_style(CLASS, ...) xprintwarningf(CLASS, EXIT_STYLE, __VA_ARGS__) #define warnf_confusing(CLASS, ...) xprintwarningf(CLASS, EXIT_CONFUSING, __VA_ARGS__) #define warnf_warning(CLASS, ...) xprintwarningf(CLASS, EXIT_WARNING, __VA_ARGS__) #define warnf_unspecified(CLASS, ...) xprintwarningf(CLASS, EXIT_UNSPECIFIED, __VA_ARGS__) #define warnf_nonconforming(CLASS, ...) xprintwarningf(CLASS, EXIT_NONCONFORMING, __VA_ARGS__) #define warnf_undefined(CLASS, ...) xprintwarningf(CLASS, EXIT_UNDEFINED, __VA_ARGS__) +void printinfof(enum warning_class class, const char *fmt, ...); void printerrorf(const char *fmt, ...); void printtipf(enum warning_class class, const char *fmt, ...); @@ -43,6 +43,7 @@ check_line_continuations(struct line *lines, size_t nlines) if (lines[i].continuation_joiner && (!i || !lines[i - 1].continuation_joiner) && is_line_blank(&lines[i])) { + /* test cases: cont_of_blank.mk */ warnf_confusing(WC_CONTINUATION_OF_BLANK, "%s:%zu: initial line continuation on otherwise blank line, can cause confusion", lines[i].path, lines[i].lineno); @@ -51,12 +52,14 @@ check_line_continuations(struct line *lines, size_t nlines) if (!lines[i].continuation_joiner && i && lines[i - 1].continuation_joiner && is_line_blank(&lines[i])) { + /* test cases: cont_to_blank.mk */ warnf_confusing(WC_CONTINUATION_TO_BLANK, "%s:%zu: terminal line continuation to blank line, can cause confusion", lines[i].path, lines[i].lineno); } if (lines[i].continuation_joiner && lines[i].eof) { + /* test cases: eof_cont.mk (TODO with lines[i].nest_level) */ warnf_unspecified(WC_EOF_LINE_CONTINUATION, "%s:%zu: line continuation at end of file, causes unspecified behaviour%s", lines[i].path, lines[i].lineno, @@ -69,6 +72,7 @@ check_line_continuations(struct line *lines, size_t nlines) if (i && lines[i - 1].continuation_joiner && lines[i].len) { if (!isspace(lines[i].data[0])) { if (lines[cont_from].len && !isspace(lines[cont_from].data[lines[cont_from].len - 1])) { + /* test cases: cont_without_ws.mk (TODO with i != cont_from + 1) */ warnf_confusing(WC_SPACELESS_CONTINUATION, "%s:%zu,%zu: <backslash> is proceeded by a non-white space " "character at the same time as the next line%s begins with " @@ -78,6 +82,7 @@ check_line_continuations(struct line *lines, size_t nlines) lines[i].lineno, i == cont_from + 1 ? "" : ", that consist of not only a <backslash>,"); } + /* test cases: unindented_cont.mk, cont_without_ws.mk */ warnf_confusing(WC_UNINDENTED_CONTINUATION, "%s:%zu: continuation of line is not indented, can cause confusion", lines[i].path, lines[i].lineno); @@ -105,8 +110,9 @@ start_over: while (isspace(*s)) { if (!warned_bad_space && !isblank(*s)) { warned_bad_space = 1; + /* test cases: bad_ws.mk, noninitial_bad_ws.mk */ warnf_undefined(WC_LEADING_BAD_SPACE, - "%s:%zu: line contains leading white space other than" + "%s:%zu: line contains leading white space other than " "<space> and <tab>, which causes undefined behaviour", line->path, line->lineno); /* TODO what do we do here? */ @@ -117,6 +123,7 @@ start_over: if (*s == '#') { if (line->data[0] != '#') { /* TODO should not apply if command line */ + /* test cases: ws_before_comment.mk */ warnf_undefined(WC_ILLEGAL_INDENT, "%s:%zu: comment has leading white space, which is not legal", line->path, line->lineno); @@ -187,7 +194,7 @@ main(int argc, char *argv[]) case BLANK: if (style.only_empty_blank_lines) { - warnf_style(WC_NONEMPTY_BLANK, "%s:%zu: line is blank but not empty", + warnf_style(WC_NONEMPTY_BLANK, "%s:%zu: line is blank but not empty", /* TODO test cases */ lines[i].path, lines[i].lineno); } break; @@ -216,6 +223,7 @@ main(int argc, char *argv[]) while (lines[i].continuation_joiner) { if (memchr(lines[i].data, '#', lines[i].len)) { /* TODO could also be a non-standard internal macro */ + /* test cases: comment_cont.mk */ warnf_confusing(WC_COMMENT_CONTINUATION, "%s:%zu: using continuation of line to continue " "a comment on the next line can cause confusion", @@ -36,6 +36,20 @@ xprintwarningf(enum warning_class class, int severity, const char *fmt, ...) void +printinfof(enum warning_class class, const char *fmt, ...) +{ + va_list ap; + if (warning_classes[class].action != IGNORE) { + va_start(ap, fmt); + fprintf(stderr, "[info] "); + vfprintf(stderr, fmt, ap); + fprintf(stderr, "\n"); + va_end(ap); + } +} + + +void printerrorf(const char *fmt, ...) { va_list ap; @@ -56,6 +70,7 @@ printtipf(enum warning_class class, const char *fmt, ...) va_start(ap, fmt); fprintf(stderr, "[tip] "); vfprintf(stderr, fmt, ap); + fprintf(stderr, "\n"); va_end(ap); } } |