From 5fd66ef6b6276675deb7e6be2d7e4483d2824048 Mon Sep 17 00:00:00 2001
From: Klaus Aehlig <klaus.aehlig@huawei.com>
Date: Mon, 16 Jun 2025 15:25:33 +0200
Subject: lint: add strict_deps

Add a test verifying that no header files are picked up from an
indirect dependency.
---
 lint/run_strict_deps.py | 82 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 82 insertions(+)
 create mode 100755 lint/run_strict_deps.py

(limited to 'lint/run_strict_deps.py')

diff --git a/lint/run_strict_deps.py b/lint/run_strict_deps.py
new file mode 100755
index 00000000..c963f3cd
--- /dev/null
+++ b/lint/run_strict_deps.py
@@ -0,0 +1,82 @@
+#!/usr/bin/env python3
+# Copyright 2025 Huawei Cloud Computing Technology Co., Ltd.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import json
+import os
+
+import json
+import os
+import sys
+
+
+def dump_meta(src, cmd):
+    OUT = os.environ.get("OUT")
+    if OUT:
+        with open(os.path.join(OUT, "config.json"), "w") as f:
+            json.dump({"src": src, "cmd": cmd}, f)
+
+
+def run_lint(src, cmd):
+    dump_meta(src, cmd)
+
+    with open(os.environ.get("META")) as f:
+        direct = json.load(f)["direct deps artifact names"]
+
+    include_dirs = []
+    for i in range(len(cmd)):
+        if cmd[i] in ["-I", "-isystem"]:
+            include_dirs += [cmd[i + 1]]
+
+    with open(src) as f:
+        lines = f.read().splitlines()
+
+    failed = False
+
+    def include_covered(include_path):
+        for d in direct:
+            rel_path = os.path.relpath(include_path, d)
+            if not rel_path.startswith('../'):
+                return True
+        return False
+
+    def handle_resolved_include(i, to_include, resolved):
+        nonlocal failed
+        if not include_covered(resolved):
+            failed = True
+            print("%03d %s" % (i, lines[i]))
+            print(
+                "    ---> including %r which is only provided by an indirect dependency"
+                % (resolved, ))
+
+    def handle_include(i, to_include):
+        for d in include_dirs:
+            candidate = os.path.join(d, to_include)
+            if os.path.exists(candidate):
+                handle_resolved_include(i, to_include, candidate)
+
+    for i in range(len(lines)):
+        to_include = None
+        if lines[i].startswith('#include "'):
+            to_include = lines[i].split('"')[1]
+        if lines[i].startswith('#include <'):
+            to_include = lines[i].split('<', 1)[1].split('>')[0]
+        if to_include:
+            handle_include(i, to_include)
+
+    return 1 if failed else 0
+
+
+if __name__ == "__main__":
+    sys.exit(run_lint(sys.argv[1], sys.argv[2:]))
-- 
cgit v1.2.3