Conditionally define Test macro to avoid spurious rewriter warnings

The spurious warnings are caused because we don't (and should not) rewrite the test runner source file. See issue #439 for context.
immunant · Oct 22, 2024 · 57d55ec · 57d55ec
1 parent e8a6971
commit 57d55ec
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 3 deletions.
diff --git a/misc/test_runner/CMakeLists.txt b/misc/test_runner/CMakeLists.txt
@@ -1,3 +1,3 @@
 add_library(ia2_test_runner STATIC test_runner.c)
 target_include_directories(ia2_test_runner
-    PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/include)
+    PRIVATE ${CMAKE_SOURCE_DIR}/runtime/libia2/include)
diff --git a/misc/test_runner/include/ia2_test_runner.h b/misc/test_runner/include/ia2_test_runner.h
@@ -1,22 +1,33 @@
 #pragma once
+#include <ia2.h>
 #include <stdio.h>
 #include <stdbool.h>
 #include <stdlib.h>
 #include <unistd.h>
 #include <assert.h>
 
+#if !defined(IA2_TEST_RUNNER_SOURCE)
+typedef void *ia2_test_fn;
+#else
+typedef void (*ia2_test_fn)(void);
+#endif
+
 struct fake_criterion_test {
-  void (*test)(void);
-  void (*init)(void);
+  ia2_test_fn test;
+  ia2_test_fn init;
   int exit_code;
 };
 
+#if !defined(IA2_TEST_RUNNER_SOURCE)
 #define Test(suite, name, ...)                                                                                                 \
+  IA2_BEGIN_NO_WRAP                                                                                                            \
   void fake_criterion_##suite##_##name(void);                                                                                  \
+  IA2_END_NO_WRAP                                                                                                              \
   __attribute__((__section__("fake_criterion_tests"))) struct fake_criterion_test fake_criterion_##suite##_##name##_##test = { \
       .test = fake_criterion_##suite##_##name,                                                                                 \
       ##__VA_ARGS__};                                                                                                          \
   void fake_criterion_##suite##_##name(void)
+#endif
 
 #define cr_log_info(f, ...) printf(f "\n", ##__VA_ARGS__)
 #define cr_log_error(f, ...) fprintf(stderr, f "\n", ##__VA_ARGS__)

diff --git a/misc/test_runner/test_runner.c b/misc/test_runner/test_runner.c
@@ -1,3 +1,4 @@
+#define IA2_TEST_RUNNER_SOURCE
 #include "include/ia2_test_runner.h"
 #include <stdbool.h>
 #include <stdio.h>

diff --git a/tools/rewriter/SourceRewriter.cpp b/tools/rewriter/SourceRewriter.cpp
@@ -614,6 +614,7 @@ class FnPtrExpr : public RefactoringCallback {
     auto *fn_ptr_expr = result.Nodes.getNodeAs<clang::DeclRefExpr>("fnPtrExpr");
     assert(fn_ptr_expr != nullptr);
 
+    auto annotation = fn_ptr_expr->getDecl()->getAttr<clang::AnnotateAttr>();
     assert(result.SourceManager != nullptr);
     auto &sm = *result.SourceManager;