From patchwork Sat Sep 7 02:52:36 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Masahiro Yamada X-Patchwork-Id: 173309 Delivered-To: patch@linaro.org Received: by 2002:a05:6e02:ce:0:0:0:0 with SMTP id r14csp1536302ilq; Fri, 6 Sep 2019 20:03:03 -0700 (PDT) X-Google-Smtp-Source: APXvYqysuE0EZJ7ccOHudiRn+zXSJbo83oEKLjCnemAM8ph47zM7brU3fJQazeQnKw4zaqtMlF3j X-Received: by 2002:a17:90a:db53:: with SMTP id u19mr2425051pjx.39.1567825383716; Fri, 06 Sep 2019 20:03:03 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1567825383; cv=none; d=google.com; s=arc-20160816; b=aHNrewXcnmF3FwwGK+4iMuI2cpFHS1bD+Xk1bckpRd3ilubCFmhv0ex1V2N+muyj3Q nda+F0wxOZ97gNHtN9KdkzTf5yxPz17f557A/iR+I7G1by9fAXSrANPgXU+t2VAcQGnG 6JH4zpz6ggCJOrUHGklEAaUyV2pXzeav8BT5zO00si/L1hqQlJSqkWvj9jWbwLDs6K6h LFrOfmYmV50CUdg7K3vypWpJ4ibNnqEQQC2oSTEhzXn2GhzwQWao+Q7xZip373nEYDgb 1B+PbSFSG+GzAoPC2dViwaWFk/HrQauZWEaPh4Q2kJQGrghOfFRJIZP1V++SIcMMVNSE fI/g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:message-id:date:subject:cc:to:from :dkim-signature:dkim-filter; bh=PZoVAwxKRkB7MOfjTWAYsfkZTV9kTLCPSHxAD3utiuY=; b=MJjLtbcXYNolxDKB3I12my7mhXIcA0/gweBoK4lOGHOCgom3JUDJTVgVIeLlfmaKrp v/jm6v4mbzrhpwUQ5KsppiNNBU24bQwzrEyVuRAn8lFckzabh/sOvILdvNttiuLc7Oak 7mcPhzJo/Js7Yrq0adfEkV14oGBz+/Fo9lhzjsaisAl5qCEY+VPu54nV2gYiruJftx/N o5txn6bgGO+GkDP1nX6UQxTpZnjPgQRaE7DCCe3aGIQaKnHVeo/pqf3QTiMj82yEgnj5 FrtlleykozoQSOuqpPCcjnm9uJJojP5pO2+jdO1w1kxL/cbTRv7VVOgUtNJVTG4EaWpK 6YFA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@nifty.com header.s=dec2015msa header.b=EonH+7o5; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id 11si6568870pjf.8.2019.09.06.20.03.03; Fri, 06 Sep 2019 20:03:03 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@nifty.com header.s=dec2015msa header.b=EonH+7o5; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2389971AbfIGCx1 (ORCPT + 28 others); Fri, 6 Sep 2019 22:53:27 -0400 Received: from conuserg-09.nifty.com ([210.131.2.76]:30159 "EHLO conuserg-09.nifty.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726940AbfIGCx0 (ORCPT ); Fri, 6 Sep 2019 22:53:26 -0400 Received: from grover.flets-west.jp (softbank126125143222.bbtec.net [126.125.143.222]) (authenticated) by conuserg-09.nifty.com with ESMTP id x872qesW001419; Sat, 7 Sep 2019 11:52:40 +0900 DKIM-Filter: OpenDKIM Filter v2.10.3 conuserg-09.nifty.com x872qesW001419 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nifty.com; s=dec2015msa; t=1567824760; bh=PZoVAwxKRkB7MOfjTWAYsfkZTV9kTLCPSHxAD3utiuY=; h=From:To:Cc:Subject:Date:From; b=EonH+7o5xKFuLJ5IxqfdqYayAom+ScKrLvK7VWcGlHqNtGlulbEYWqKAEI6ekCkUi nLtSLhAW+8615lzL5tUNGXLK8gxQ4wr4CzCUN97Qnj5D6BcRnPFjCr0WyaDEmuVoDP M4/ApHJh2pCXelDO7eC+bjEm0RyV/pZ6zX9xBWJYTWZMQY5l6Q71vg/QxUUOtzyJou JiyCJz/NvJVnvIpAJzovT2SFoPfxNKeWLCuIA2Sm+AlrGAfCKN7KGdJC1DW1SbxQE3 bKlQ8aJj5Nj4spQkuNEKpxAy9N5cMgDk9HZA0gNEhCuFjRFf9zI+GpB+g3gqPr27gV NQ1PIr8KuWHjw== X-Nifty-SrcIP: [126.125.143.222] From: Masahiro Yamada To: linux-kbuild@vger.kernel.org Cc: Nick Desaulniers , Nathan Chancellor , Sedat Dilek , Masahiro Yamada , Michal Marek , clang-built-linux@googlegroups.com, linux-kernel@vger.kernel.org Subject: [PATCH v2] kbuild: allow Clang to find unused static inline functions for W=1 build Date: Sat, 7 Sep 2019 11:52:36 +0900 Message-Id: <20190907025236.31393-1-yamada.masahiro@socionext.com> X-Mailer: git-send-email 2.17.1 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org GCC and Clang have different policy for -Wunused-function; GCC does not warn unused static inline functions at all whereas Clang does if they are defined in source files instead of included headers although it has been suppressed since commit abb2ea7dfd82 ("compiler, clang: suppress warning for unused static inline functions"). We often miss to delete unused functions where 'static inline' is used in *.c files since there is no tool to detect them. Unused code remains until somebody notices. For example, commit 075ddd75680f ("regulator: core: remove unused rdev_get_supply()"). Let's remove __maybe_unused from the inline macro to allow Clang to start finding unused static inline functions. For now, we do this only for W=1 build since it is not a good idea to sprinkle warnings for the normal build (e.g. 35 warnings for arch/x86/configs/x86_64_defconfig). My initial attempt was to add -Wno-unused-function for no W= build (https://lore.kernel.org/patchwork/patch/1120594/) Nathan Chancellor pointed out that would weaken Clang's checks since we would no longer get -Wunused-function without W=1. It is true GCC would catch unused static non-inline functions, but it would weaken Clang as a standalone compiler, at least. Hence, here is a counter implementation. The current problem is, W=... only controls compiler flags, which are globally effective. There is no way to address only 'static inline' functions. This commit defines KBUILD_EXTRA_WARN[123] corresponding to W=[123]. When KBUILD_EXTRA_WARN1 is defined, __maybe_unused is omitted from the 'inline' macro. The new macro __inline_maybe_unused makes the code a bit uglier, so I hope we can remove it entirely after fixing most of the warnings. If you contribute to code clean-up, please run "make CC=clang W=1" and check -Wunused-function warnings. You will find lots of unused functions. Some of them are false-positives because the call-sites are disabled by #ifdef. I do not like to abuse the inline keyword for suppressing unused-function warnings because it is intended to be a hint for the compiler optimization. I prefer #ifdef around the definition, or __maybe_unused if #ifdef would make the code too ugly. Signed-off-by: Masahiro Yamada Reviewed-by: Nathan Chancellor Tested-by: Nathan Chancellor --- Changes in v2: - Rebase on top of https://patchwork.kernel.org/patch/11124933/ include/linux/compiler_types.h | 20 ++++++++++++++------ scripts/Makefile.extrawarn | 6 ++++++ 2 files changed, 20 insertions(+), 6 deletions(-) -- 2.17.1 diff --git a/include/linux/compiler_types.h b/include/linux/compiler_types.h index 599c27b56c29..b056a40116da 100644 --- a/include/linux/compiler_types.h +++ b/include/linux/compiler_types.h @@ -130,10 +130,6 @@ struct ftrace_likely_data { /* * Force always-inline if the user requests it so via the .config. - * GCC does not warn about unused static inline functions for - * -Wunused-function. This turns out to avoid the need for complex #ifdef - * directives. Suppress the warning in clang as well by using "unused" - * function attribute, which is redundant but not harmful for gcc. * Prefer gnu_inline, so that extern inline functions do not emit an * externally visible function. This makes extern inline behave as per gnu89 * semantics rather than c99. This prevents multiple symbol definition errors @@ -144,15 +140,27 @@ struct ftrace_likely_data { */ #if !defined(CONFIG_OPTIMIZE_INLINING) #define inline inline __attribute__((__always_inline__)) __gnu_inline \ - __maybe_unused notrace + __inline_maybe_unused notrace #else #define inline inline __gnu_inline \ - __maybe_unused notrace + __inline_maybe_unused notrace #endif #define __inline__ inline #define __inline inline +/* + * GCC does not warn about unused static inline functions for -Wunused-function. + * Suppress the warning in clang as well by using __maybe_unused, but enable it + * for W=1 build. This will allow clang to find unused functions. Remove the + * __inline_maybe_unused entirely after fixing most of -Wunused-function warnings. + */ +#ifdef KBUILD_EXTRA_WARN1 +#define __inline_maybe_unused +#else +#define __inline_maybe_unused __maybe_unused +#endif + /* * Rather then using noinline to prevent stack consumption, use * noinline_for_stack instead. For documentation reasons. diff --git a/scripts/Makefile.extrawarn b/scripts/Makefile.extrawarn index 53eb7e0c6a5a..ecddf83ac142 100644 --- a/scripts/Makefile.extrawarn +++ b/scripts/Makefile.extrawarn @@ -36,6 +36,8 @@ KBUILD_CFLAGS += $(call cc-option, -Wstringop-truncation) KBUILD_CFLAGS += -Wno-missing-field-initializers KBUILD_CFLAGS += -Wno-sign-compare +KBUILD_CPPFLAGS += -DKBUILD_EXTRA_WARN1 + else # Some diagnostics enabled by default are noisy. @@ -65,6 +67,8 @@ KBUILD_CFLAGS += -Wsign-compare KBUILD_CFLAGS += $(call cc-option, -Wmaybe-uninitialized) KBUILD_CFLAGS += $(call cc-option, -Wunused-macros) +KBUILD_CPPFLAGS += -DKBUILD_EXTRA_WARN2 + endif # @@ -82,4 +86,6 @@ KBUILD_CFLAGS += -Wredundant-decls KBUILD_CFLAGS += -Wswitch-default KBUILD_CFLAGS += $(call cc-option, -Wpacked-bitfield-compat) +KBUILD_CPPFLAGS += -DKBUILD_EXTRA_WARN3 + endif