diff options
| author | Kevin Sjöberg <mail@kevinsjoberg.com> | 2021-11-10 10:18:56 +0100 |
|---|---|---|
| committer | Kevin Sjöberg <mail@kevinsjoberg.com> | 2021-11-10 10:26:17 +0100 |
| commit | b8dec4268dd183e9afd9fa8d010b52df0b0c8b20 (patch) | |
| tree | 716900a7fb01481e69600426f835133cbdf66964 /src/checker.cpp | |
| parent | fc920a630f8ace5c2f5d48e46b5c391f6556f45f (diff) | |
Postpone checking test procedures
The dependency set need to be generated before we check the testing
procedures. Otherwise `checker->info.testing_procedures` will be empty
and thus no filtering is taking place.
Diffstat (limited to 'src/checker.cpp')
| -rw-r--r-- | src/checker.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/checker.cpp b/src/checker.cpp index f544ea5e6..cffaad348 100644 --- a/src/checker.cpp +++ b/src/checker.cpp @@ -5261,9 +5261,6 @@ void check_parsed_files(Checker *c) { check_scope_usage(c, f->scope); } - TIME_SECTION("check test procedures"); - check_test_procedures(c); - TIME_SECTION("add untyped expression values"); // Add untyped expression values for (UntypedExprInfo u = {}; mpmc_dequeue(&c->global_untyped_queue, &u); /**/) { @@ -5316,6 +5313,9 @@ void check_parsed_files(Checker *c) { TIME_SECTION("generate minimum dependency set"); generate_minimum_dependency_set(c, c->info.entry_point); + TIME_SECTION("check test procedures"); + check_test_procedures(c); + TIME_SECTION("check bodies have all been checked"); check_unchecked_bodies(c); |