diff --git a/pycheribuild/projects/cross/cheribsd.py b/pycheribuild/projects/cross/cheribsd.py index 81b6bb69a..1eb4bf16f 100644 --- 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 index a163a6f1d..dd6fd3b0c 100644 --- 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(