From 0d1eedfa5e3e5346e4df79310c906e8862116a13 Mon Sep 17 00:00:00 2001 From: Lukas Petr Date: Sun, 28 Jun 2026 18:55:29 +0200 Subject: [PATCH] Skip global-var comparison Skip global variable comparison as building snapshot for it takes too much time. --- .diffkemp-patches/skip-global-var.patch | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 .diffkemp-patches/skip-global-var.patch diff --git a/.diffkemp-patches/skip-global-var.patch b/.diffkemp-patches/skip-global-var.patch new file mode 100644 index 0000000..d2d6fd2 --- /dev/null +++ b/.diffkemp-patches/skip-global-var.patch @@ -0,0 +1,16 @@ +diff --git a/diffkemp/building/build_utils.py b/diffkemp/building/build_utils.py +index ec182bc..0a0b966 100644 +--- a/diffkemp/building/build_utils.py ++++ b/diffkemp/building/build_utils.py +@@ -43,9 +43,8 @@ def generate_from_function_list(snapshot, fun_list): + print(os.path.relpath(llvm_mod.llvm, + snapshot.source_tree.source_dir)) + elif llvm_mod.has_global(symbol): +- print() +- if add_funcs_for_globvar(snapshot, LlvmParam(symbol)): +- snapshot.list_kind = "glob_var" ++ snapshot.add_fun(symbol, None) ++ print("skip") + else: + snapshot.add_fun(symbol, None) + print("not a function nor a global variable")