From b8dec4268dd183e9afd9fa8d010b52df0b0c8b20 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kevin=20Sj=C3=B6berg?= Date: Wed, 10 Nov 2021 10:18:56 +0100 Subject: [PATCH] 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. --- src/checker.cpp | 6 +++--- 1 file 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);