aboutsummaryrefslogtreecommitdiff
path: root/src/checker.cpp
diff options
context:
space:
mode:
authorKevin Sjöberg <mail@kevinsjoberg.com>2021-11-10 10:18:56 +0100
committerKevin Sjöberg <mail@kevinsjoberg.com>2021-11-10 10:26:17 +0100
commitb8dec4268dd183e9afd9fa8d010b52df0b0c8b20 (patch)
tree716900a7fb01481e69600426f835133cbdf66964 /src/checker.cpp
parentfc920a630f8ace5c2f5d48e46b5c391f6556f45f (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.cpp6
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);