[CHERI CSA] Add extra_scan_build_args project property

CTSRD-CHERI · Jun 24, 2024 · b206a94 · b206a94
1 parent 80c1112
commit b206a94
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/pycheribuild/projects/cross/cheribsd.py b/pycheribuild/projects/cross/cheribsd.py
@@ -1930,6 +1930,10 @@ def setup_config_options(cls, kernel_only_target=False, install_directory_help=N
     def can_build_with_csa(cls) -> bool:
         return True
 
+    @classproperty
+    def extra_scan_build_args(self) -> list[str]:
+        return ["-disable-checker",  "alpha.core.PointerSub"]
+
     def __init__(self, *args, **kwargs) -> None:
         super().__init__(*args, **kwargs)
         self.extra_kernels_with_mfs: "list[str]" = []

diff --git a/pycheribuild/projects/project.py b/pycheribuild/projects/project.py
@@ -508,6 +508,10 @@ def can_build_with_cfi(self) -> bool:
     def can_build_with_csa(self) -> bool:
         return False
 
+    @classproperty
+    def extra_scan_build_args(self) -> list[str]:
+        return []
+
     @classproperty
     def can_build_with_ccache(self) -> bool:
         return False
@@ -1227,6 +1231,8 @@ def _get_scan_build_args(self) -> list[str]:
                            "--use-cc", commandline_to_str([self.CC]),
                            "--use-c++", commandline_to_str([self.CXX]),
                            ]
+        if self.extra_scan_build_args:
+            scan_build_args = scan_build_args + self.extra_scan_build_args
         return scan_build_args
 
     def _get_make_commandline(