X-Git-Url: http://git.ozlabs.org/?p=ccan;a=blobdiff_plain;f=tools%2Fccanlint%2Fccanlint.c;h=158195cbdef04adf4c6ca1323ccc68c3862b1f1b;hp=29ad7c6093164ad5f4e25c21c972e55b6a9874d3;hb=0b98a031eb38433fb774cd9dacc318e8ee60e56d;hpb=d4aa9aa33a6b479fa684a3a77f25c539b6660b63 diff --git a/tools/ccanlint/ccanlint.c b/tools/ccanlint/ccanlint.c index 29ad7c60..158195cb 100644 --- a/tools/ccanlint/ccanlint.c +++ b/tools/ccanlint/ccanlint.c @@ -1,6 +1,7 @@ /* * ccanlint: assorted checks and advice for a ccan package - * Copyright (C) 2008 Rusty Russell + * Copyright (C) 2008 Rusty Russell, Idris Soule + * Copyright (C) 2010 Rusty Russell, Idris Soule * * This program is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License as published by the Free @@ -17,32 +18,41 @@ * Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */ #include "ccanlint.h" +#include "../tools.h" +#include "../read_config_header.h" #include -#include #include #include #include #include #include +#include +#include +#include +#include +#include +#include +#include +#include -static unsigned int verbose = 0; -static LIST_HEAD(tests); +struct ccanlint_map { + STRMAP_MEMBERS(struct ccanlint *); +}; -static void init_tests(void) -{ -#include "generated-init-tests" -} +int verbose = 0; +static struct ccanlint_map tests; +bool safe_mode = false; +bool keep_results = false; +bool non_ccan_deps = false; +bool build_failed = false; +static bool targeting = false; +static unsigned int timeout; -static void usage(const char *name) -{ - fprintf(stderr, "Usage: %s [-s] [-v] [-d ]\n" - " -v: verbose mode\n" - " -s: simply give one line per FAIL and total score\n" - " -d: use this directory instead of the current one\n", - name); - exit(1); -} +const char *config_header; + +const char *ccan_dir; +#if 0 static void indent_print(const char *string) { while (*string) { @@ -55,10 +65,11 @@ static void indent_print(const char *string) string += line; } } +#endif bool ask(const char *question) { - char reply[2]; + char reply[80]; printf("%s ", question); fflush(stdout); @@ -67,100 +78,639 @@ bool ask(const char *question) && toupper(reply[0]) == 'Y'; } -static bool run_test(const struct ccanlint *i, - bool summary, - unsigned int *score, - unsigned int *total_score, - struct manifest *m) +/* Skip, but don't remove. */ +static bool skip_test(struct dgraph_node *node, const char *why) { - void *result; - unsigned int this_score; + struct ccanlint *c = container_of(node, struct ccanlint, node); + c->skip = why; + return true; +} + +static const char *dep_failed(struct manifest *m) +{ + return "dependency couldn't run"; +} - if (i->total_score) - *total_score += i->total_score; +static bool cannot_run(struct dgraph_node *node, void *all) +{ + struct ccanlint *c = container_of(node, struct ccanlint, node); + c->can_run = dep_failed; - result = i->check(m); - if (!result) { - if (verbose) - printf(" %s: OK\n", i->name); - if (i->total_score) - *score += i->total_score; + return true; +} + +struct run_info { + bool quiet; + unsigned int score, total; + struct manifest *m; + const char *prefix; + bool pass; +}; + +static bool run_test(struct dgraph_node *n, struct run_info *run) +{ + struct ccanlint *i = container_of(n, struct ccanlint, node); + unsigned int timeleft; + struct score *score; + + if (i->done) return true; - } - if (i->score) - this_score = i->score(m, result); - else - this_score = 0; + score = tal(run->m, struct score); + list_head_init(&score->per_file_errors); + score->error = NULL; + score->pass = false; + score->score = 0; + score->total = 1; + + /* We can see skipped things in two cases: + * (1) _info excluded them (presumably because they fail). + * (2) A prerequisite failed. + */ + if (i->skip) { + if (verbose) + printf("%s%s: skipped (%s)\n", + run->prefix, i->name, i->skip); + /* Pass us up to the test which failed, not us. */ + score->pass = true; + goto out; + } - *score += this_score; - if (summary) { - printf("%s FAILED (%u/%u)\n", - i->name, this_score, i->total_score); + if (i->can_run) { + i->skip = i->can_run(run->m); + if (i->skip) { + /* Test doesn't apply, or can't run? That's OK. */ + if (verbose > 1) + printf("%s%s: skipped (%s)\n", + run->prefix, i->name, i->skip); + /* Mark our dependencies to skip. */ + dgraph_traverse_from(&i->node, cannot_run, NULL); + score->pass = true; + score->total = 0; + goto out; + } + } + timeleft = timeout ? timeout : default_timeout_ms; + i->check(run->m, &timeleft, score); + if (timeout && timeleft == 0) { + i->skip = "timeout"; if (verbose) - indent_print(i->describe(m, result)); + printf("%s%s: skipped (%s)\n", + run->prefix, i->name, i->skip); + /* Mark our dependencies to skip. */ + dgraph_traverse_from(&i->node, skip_test, + "dependency timed out"); + score->pass = true; + score->total = 0; + goto out; + } + + assert(score->score <= score->total); + if ((!score->pass && !run->quiet) + || (score->score < score->total && verbose) + || verbose > 1) { + printf("%s%s (%s): %s", + run->prefix, i->name, i->key, + score->pass ? "PASS" : "FAIL"); + if (score->total > 1) + printf(" (+%u/%u)", score->score, score->total); + printf("\n"); + } + + if ((!run->quiet && !score->pass) || verbose) { + if (score->error) { + printf("%s%s", score->error, + strends(score->error, "\n") ? "" : "\n"); + } + } + if (!run->quiet && score->score < score->total && i->handle) + i->handle(run->m, score); + + if (!score->pass) { + /* Skip any tests which depend on this one. */ + dgraph_traverse_from(&i->node, skip_test, "dependency failed"); + } + +out: + run->score += score->score; + run->total += score->total; + + /* FIXME: Free score. */ + run->pass &= score->pass; + i->done = true; + + if (!score->pass && i->compulsory) { + warnx("%s%s failed", run->prefix, i->name); + run->score = 0; return false; } + return true; +} + +static void register_test(struct ccanlint *test) +{ + if (!strmap_add(&tests, test->key, test)) + err(1, "Adding test %s", test->key); + test->options = tal_arr(NULL, char *, 1); + test->options[0] = NULL; + dgraph_init_node(&test->node); +} + +static bool get_test(const char *member, struct ccanlint *i, + struct ccanlint **ret) +{ + if (tlist_empty(&i->node.edge[DGRAPH_TO])) { + *ret = i; + return false; + } + return true; +} - printf("%s\n", i->describe(m, result)); +/** + * get_next_test - retrieves the next test to be processed + **/ +static inline struct ccanlint *get_next_test(void) +{ + struct ccanlint *i = NULL; + + strmap_iterate(&tests, get_test, &i); + if (i) + return i; - if (i->handle) - i->handle(m, result); + if (strmap_empty(&tests)) + return NULL; - return false; + errx(1, "Can't make process; test dependency cycle"); } -int main(int argc, char *argv[]) +static struct ccanlint *find_test(const char *key) { - int c; - bool summary = false; - unsigned int score, total_score; - struct manifest *m; - const struct ccanlint *i; - - /* I'd love to use long options, but that's not standard. */ - /* FIXME: getopt_long ccan package? */ - while ((c = getopt(argc, argv, "sd:v")) != -1) { - switch (c) { - case 'd': - if (chdir(optarg) != 0) - err(1, "Changing into directory '%s'", optarg); - break; - case 's': - summary = true; - break; - case 'v': - verbose++; - break; - default: - usage(argv[0]); + return strmap_get(&tests, key); +} + +bool is_excluded(const char *name) +{ + return find_test(name)->skip != NULL; +} + +static bool init_deps(const char *member, struct ccanlint *c, void *unused) +{ + char **deps = tal_strsplit(NULL, c->needs, " ", STR_EMPTY_OK); + unsigned int i; + + for (i = 0; deps[i]; i++) { + struct ccanlint *dep; + + dep = find_test(deps[i]); + if (!dep) + errx(1, "BUG: unknown dep '%s' for %s", + deps[i], c->key); + dgraph_add_edge(&dep->node, &c->node); + } + tal_free(deps); + return true; +} + +static bool check_names(const char *member, struct ccanlint *c, + struct ccanlint_map *names) +{ + if (!strmap_add(names, c->name, c)) + err(1, "Duplicate name %s", c->name); + return true; +} + +static void init_tests(void) +{ + struct ccanlint_map names; + struct ccanlint **table; + size_t i, num; + + strmap_init(&tests); + + table = autodata_get(ccanlint_tests, &num); + for (i = 0; i < num; i++) + register_test(table[i]); + autodata_free(table); + + strmap_iterate(&tests, init_deps, NULL); + + /* Check for duplicate names. */ + strmap_init(&names); + strmap_iterate(&tests, check_names, &names); + strmap_clear(&names); +} + +static bool reset_test(struct dgraph_node *node, void *unused) +{ + struct ccanlint *c = container_of(node, struct ccanlint, node); + c->skip = NULL; + c->done = false; + return true; +} + +static void reset_tests(struct dgraph_node *all) +{ + dgraph_traverse_to(all, reset_test, NULL); +} + +static bool print_deps(const char *member, struct ccanlint *c, void *unused) +{ + if (!tlist_empty(&c->node.edge[DGRAPH_FROM])) { + struct dgraph_edge *e; + + printf("These depend on %s:\n", c->key); + dgraph_for_each_edge(&c->node, e, DGRAPH_FROM) { + struct ccanlint *to = container_of(e->n[DGRAPH_TO], + struct ccanlint, + node); + printf("\t%s\n", to->key); } } + return true; +} + +static void print_test_depends(void) +{ + printf("Tests:\n"); + + strmap_iterate(&tests, print_deps, NULL); +} - if (optind < argc) - usage(argv[0]); - m = get_manifest(); +static void show_tmpdir(const char *dir) +{ + printf("You can find ccanlint working files in '%s'\n", dir); +} + +static char *keep_tests(void *unused) +{ + keep_results = true; + + /* Don't automatically destroy temporary dir. */ + keep_temp_dir(); + tal_add_destructor(temp_dir(), show_tmpdir); + return NULL; +} + +static bool remove_test(struct dgraph_node *node, const char *why) +{ + struct ccanlint *c = container_of(node, struct ccanlint, node); + c->skip = why; + dgraph_clear_node(node); + return true; +} + +static char *exclude_test(const char *testname, void *unused) +{ + struct ccanlint *i = find_test(testname); + if (!i) + return tal_fmt(NULL, "No test %s to --exclude", testname); + + /* Remove this, and everything which depends on it. */ + dgraph_traverse_from(&i->node, remove_test, "excluded on command line"); + remove_test(&i->node, "excluded on command line"); + return NULL; +} + +static void skip_test_and_deps(struct ccanlint *c, const char *why) +{ + /* Skip this, and everything which depends on us. */ + dgraph_traverse_from(&c->node, skip_test, why); + skip_test(&c->node, why); +} + +static char *list_tests(void *arg) +{ + struct ccanlint *i; + + printf("Tests:\n"); + /* This makes them print in topological order. */ + while ((i = get_next_test()) != NULL) { + printf(" %-25s %s\n", i->key, i->name); + dgraph_clear_node(&i->node); + strmap_del(&tests, i->key, NULL); + } + exit(0); +} + +static bool draw_test(const char *member, struct ccanlint *c, const char *style) +{ + /* + * todo: escape labels in case ccanlint test keys have + * characters interpreted as GraphViz syntax. + */ + printf("\t\"%p\" [label=\"%s\"%s]\n", c, c->key, style); + return true; +} + +static void test_dgraph_vertices(const char *style) +{ + strmap_iterate(&tests, draw_test, style); +} + +static bool draw_edges(const char *member, struct ccanlint *c, void *unused) +{ + struct dgraph_edge *e; + + dgraph_for_each_edge(&c->node, e, DGRAPH_FROM) { + struct ccanlint *to = container_of(e->n[DGRAPH_TO], + struct ccanlint, + node); + printf("\t\"%p\" -> \"%p\"\n", c->name, to->name); + } + return true; +} + +static void test_dgraph_edges(void) +{ + strmap_iterate(&tests, draw_edges, NULL); +} + +static char *test_dependency_graph(void *arg) +{ + puts("digraph G {"); + + test_dgraph_vertices(""); + test_dgraph_edges(); + + puts("}"); + + exit(0); +} + +static void add_options(struct ccanlint *test, char **options, + unsigned int num_options) +{ + unsigned int num; + + if (!test->options) + num = 0; + else + /* -1, because last one is NULL. */ + num = tal_count(test->options) - 1; + + tal_resize(&test->options, num + num_options + 1); + memcpy(&test->options[num], options, (num_options + 1)*sizeof(char *)); +} + +void add_info_options(struct ccan_file *info) +{ + struct doc_section *d; + unsigned int i; + struct ccanlint *test; + + list_for_each(get_ccan_file_docs(info), d, list) { + if (!streq(d->type, "ccanlint")) + continue; + + for (i = 0; i < d->num_lines; i++) { + char **words = tal_strsplit(d, d->lines[i], " \t", + STR_NO_EMPTY); + if (!words[0]) + continue; + + if (strncmp(words[0], "//", 2) == 0) + continue; + + test = find_test(words[0]); + if (!test) { + warnx("%s: unknown ccanlint test '%s'", + info->fullname, words[0]); + continue; + } + + if (!words[1]) { + warnx("%s: no argument to test '%s'", + info->fullname, words[0]); + continue; + } + + /* Known failure? */ + if (strcasecmp(words[1], "FAIL") == 0) { + if (!targeting) + skip_test_and_deps(test, + "excluded in _info" + " file"); + } else { + if (!test->takes_options) + warnx("%s: %s doesn't take options", + info->fullname, words[0]); + add_options(test, words+1, tal_count(words)-1); + } + } + } +} + +/* If options are of form "filename: