From 7056dce8e9e6535009d4fafe7926f7f54528c8a4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 24 Jan 2025 10:30:07 +0100
Subject: [PATCH] [kernel] silence a clang warning now enabled by default
---
src/kernel_services/ast_queries/file.ml | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index bf0d34ed90..b866e935d5 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -494,7 +494,13 @@ let build_cpp_cmd = function
else []
in
let fc_define_args = ["__FRAMAC__"] in
- let clang_no_warn = silence_cpp_machdep_warnings cmdl in
+ let machdep_no_warn = silence_cpp_machdep_warnings cmdl in
+ let clang_no_warn =
+ (* Clang complains when -nostdlibinc is not used ... *)
+ if cpp_name cmdl = "clang"
+ then [ "-Wno-unused-command-line-argument" ]
+ else []
+ in
let nostdinc_arg =
if Kernel.FramaCStdLib.get() then add_if_gnu "-nostdinc"
else []
@@ -516,7 +522,7 @@ let build_cpp_cmd = function
in
let supp_args =
string_of_supp_args
- (gnu_implicit_args @ clang_no_warn @ extra_args)
+ (gnu_implicit_args @ machdep_no_warn @ clang_no_warn @ extra_args)
fc_include_args fc_define_args
in
let cpp_command =
--
GitLab