b19511926c
This reverts commit cbb817fc2e
.
Late-arriving nacks make it clear that I applied this one too soon.
Link: https://lore.kernel.org/lkml/CAKXUXMzEFQd1JJhx4ZbBQiuSB7Fk3bd7dwJYmPOvEtMqZopxpg@mail.gmail.com/
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
1250 lines
39 KiB
ReStructuredText
1250 lines
39 KiB
ReStructuredText
.. SPDX-License-Identifier: GPL-2.0-only
|
|
|
|
==========
|
|
Checkpatch
|
|
==========
|
|
|
|
Checkpatch (scripts/checkpatch.pl) is a perl script which checks for trivial
|
|
style violations in patches and optionally corrects them. Checkpatch can
|
|
also be run on file contexts and without the kernel tree.
|
|
|
|
Checkpatch is not always right. Your judgement takes precedence over checkpatch
|
|
messages. If your code looks better with the violations, then its probably
|
|
best left alone.
|
|
|
|
|
|
Options
|
|
=======
|
|
|
|
This section will describe the options checkpatch can be run with.
|
|
|
|
Usage::
|
|
|
|
./scripts/checkpatch.pl [OPTION]... [FILE]...
|
|
|
|
Available options:
|
|
|
|
- -q, --quiet
|
|
|
|
Enable quiet mode.
|
|
|
|
- -v, --verbose
|
|
Enable verbose mode. Additional verbose test descriptions are output
|
|
so as to provide information on why that particular message is shown.
|
|
|
|
- --no-tree
|
|
|
|
Run checkpatch without the kernel tree.
|
|
|
|
- --no-signoff
|
|
|
|
Disable the 'Signed-off-by' line check. The sign-off is a simple line at
|
|
the end of the explanation for the patch, which certifies that you wrote it
|
|
or otherwise have the right to pass it on as an open-source patch.
|
|
|
|
Example::
|
|
|
|
Signed-off-by: Random J Developer <random@developer.example.org>
|
|
|
|
Setting this flag effectively stops a message for a missing signed-off-by
|
|
line in a patch context.
|
|
|
|
- --patch
|
|
|
|
Treat FILE as a patch. This is the default option and need not be
|
|
explicitly specified.
|
|
|
|
- --emacs
|
|
|
|
Set output to emacs compile window format. This allows emacs users to jump
|
|
from the error in the compile window directly to the offending line in the
|
|
patch.
|
|
|
|
- --terse
|
|
|
|
Output only one line per report.
|
|
|
|
- --showfile
|
|
|
|
Show the diffed file position instead of the input file position.
|
|
|
|
- -g, --git
|
|
|
|
Treat FILE as a single commit or a git revision range.
|
|
|
|
Single commit with:
|
|
|
|
- <rev>
|
|
- <rev>^
|
|
- <rev>~n
|
|
|
|
Multiple commits with:
|
|
|
|
- <rev1>..<rev2>
|
|
- <rev1>...<rev2>
|
|
- <rev>-<count>
|
|
|
|
- -f, --file
|
|
|
|
Treat FILE as a regular source file. This option must be used when running
|
|
checkpatch on source files in the kernel.
|
|
|
|
- --subjective, --strict
|
|
|
|
Enable stricter tests in checkpatch. By default the tests emitted as CHECK
|
|
do not activate by default. Use this flag to activate the CHECK tests.
|
|
|
|
- --list-types
|
|
|
|
Every message emitted by checkpatch has an associated TYPE. Add this flag
|
|
to display all the types in checkpatch.
|
|
|
|
Note that when this flag is active, checkpatch does not read the input FILE,
|
|
and no message is emitted. Only a list of types in checkpatch is output.
|
|
|
|
- --types TYPE(,TYPE2...)
|
|
|
|
Only display messages with the given types.
|
|
|
|
Example::
|
|
|
|
./scripts/checkpatch.pl mypatch.patch --types EMAIL_SUBJECT,BRACES
|
|
|
|
- --ignore TYPE(,TYPE2...)
|
|
|
|
Checkpatch will not emit messages for the specified types.
|
|
|
|
Example::
|
|
|
|
./scripts/checkpatch.pl mypatch.patch --ignore EMAIL_SUBJECT,BRACES
|
|
|
|
- --show-types
|
|
|
|
By default checkpatch doesn't display the type associated with the messages.
|
|
Set this flag to show the message type in the output.
|
|
|
|
- --max-line-length=n
|
|
|
|
Set the max line length (default 100). If a line exceeds the specified
|
|
length, a LONG_LINE message is emitted.
|
|
|
|
|
|
The message level is different for patch and file contexts. For patches,
|
|
a WARNING is emitted. While a milder CHECK is emitted for files. So for
|
|
file contexts, the --strict flag must also be enabled.
|
|
|
|
- --min-conf-desc-length=n
|
|
|
|
Set the Kconfig entry minimum description length, if shorter, warn.
|
|
|
|
- --tab-size=n
|
|
|
|
Set the number of spaces for tab (default 8).
|
|
|
|
- --root=PATH
|
|
|
|
PATH to the kernel tree root.
|
|
|
|
This option must be specified when invoking checkpatch from outside
|
|
the kernel root.
|
|
|
|
- --no-summary
|
|
|
|
Suppress the per file summary.
|
|
|
|
- --mailback
|
|
|
|
Only produce a report in case of Warnings or Errors. Milder Checks are
|
|
excluded from this.
|
|
|
|
- --summary-file
|
|
|
|
Include the filename in summary.
|
|
|
|
- --debug KEY=[0|1]
|
|
|
|
Turn on/off debugging of KEY, where KEY is one of 'values', 'possible',
|
|
'type', and 'attr' (default is all off).
|
|
|
|
- --fix
|
|
|
|
This is an EXPERIMENTAL feature. If correctable errors exists, a file
|
|
<inputfile>.EXPERIMENTAL-checkpatch-fixes is created which has the
|
|
automatically fixable errors corrected.
|
|
|
|
- --fix-inplace
|
|
|
|
EXPERIMENTAL - Similar to --fix but input file is overwritten with fixes.
|
|
|
|
DO NOT USE this flag unless you are absolutely sure and you have a backup
|
|
in place.
|
|
|
|
- --ignore-perl-version
|
|
|
|
Override checking of perl version. Runtime errors maybe encountered after
|
|
enabling this flag if the perl version does not meet the minimum specified.
|
|
|
|
- --codespell
|
|
|
|
Use the codespell dictionary for checking spelling errors.
|
|
|
|
- --codespellfile
|
|
|
|
Use the specified codespell file.
|
|
Default is '/usr/share/codespell/dictionary.txt'.
|
|
|
|
- --typedefsfile
|
|
|
|
Read additional types from this file.
|
|
|
|
- --color[=WHEN]
|
|
|
|
Use colors 'always', 'never', or only when output is a terminal ('auto').
|
|
Default is 'auto'.
|
|
|
|
- --kconfig-prefix=WORD
|
|
|
|
Use WORD as a prefix for Kconfig symbols (default is `CONFIG_`).
|
|
|
|
- -h, --help, --version
|
|
|
|
Display the help text.
|
|
|
|
Message Levels
|
|
==============
|
|
|
|
Messages in checkpatch are divided into three levels. The levels of messages
|
|
in checkpatch denote the severity of the error. They are:
|
|
|
|
- ERROR
|
|
|
|
This is the most strict level. Messages of type ERROR must be taken
|
|
seriously as they denote things that are very likely to be wrong.
|
|
|
|
- WARNING
|
|
|
|
This is the next stricter level. Messages of type WARNING requires a
|
|
more careful review. But it is milder than an ERROR.
|
|
|
|
- CHECK
|
|
|
|
This is the mildest level. These are things which may require some thought.
|
|
|
|
Type Descriptions
|
|
=================
|
|
|
|
This section contains a description of all the message types in checkpatch.
|
|
|
|
.. Types in this section are also parsed by checkpatch.
|
|
.. The types are grouped into subsections based on use.
|
|
|
|
|
|
Allocation style
|
|
----------------
|
|
|
|
**ALLOC_ARRAY_ARGS**
|
|
The first argument for kcalloc or kmalloc_array should be the
|
|
number of elements. sizeof() as the first argument is generally
|
|
wrong.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/core-api/memory-allocation.html
|
|
|
|
**ALLOC_SIZEOF_STRUCT**
|
|
The allocation style is bad. In general for family of
|
|
allocation functions using sizeof() to get memory size,
|
|
constructs like::
|
|
|
|
p = alloc(sizeof(struct foo), ...)
|
|
|
|
should be::
|
|
|
|
p = alloc(sizeof(*p), ...)
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#allocating-memory
|
|
|
|
**ALLOC_WITH_MULTIPLY**
|
|
Prefer kmalloc_array/kcalloc over kmalloc/kzalloc with a
|
|
sizeof multiply.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/core-api/memory-allocation.html
|
|
|
|
|
|
API usage
|
|
---------
|
|
|
|
**ARCH_DEFINES**
|
|
Architecture specific defines should be avoided wherever
|
|
possible.
|
|
|
|
**ARCH_INCLUDE_LINUX**
|
|
Whenever asm/file.h is included and linux/file.h exists, a
|
|
conversion can be made when linux/file.h includes asm/file.h.
|
|
However this is not always the case (See signal.h).
|
|
This message type is emitted only for includes from arch/.
|
|
|
|
**AVOID_BUG**
|
|
BUG() or BUG_ON() should be avoided totally.
|
|
Use WARN() and WARN_ON() instead, and handle the "impossible"
|
|
error condition as gracefully as possible.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/deprecated.html#bug-and-bug-on
|
|
|
|
**CONSIDER_KSTRTO**
|
|
The simple_strtol(), simple_strtoll(), simple_strtoul(), and
|
|
simple_strtoull() functions explicitly ignore overflows, which
|
|
may lead to unexpected results in callers. The respective kstrtol(),
|
|
kstrtoll(), kstrtoul(), and kstrtoull() functions tend to be the
|
|
correct replacements.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/deprecated.html#simple-strtol-simple-strtoll-simple-strtoul-simple-strtoull
|
|
|
|
**CONSTANT_CONVERSION**
|
|
Use of __constant_<foo> form is discouraged for the following functions::
|
|
|
|
__constant_cpu_to_be[x]
|
|
__constant_cpu_to_le[x]
|
|
__constant_be[x]_to_cpu
|
|
__constant_le[x]_to_cpu
|
|
__constant_htons
|
|
__constant_ntohs
|
|
|
|
Using any of these outside of include/uapi/ is not preferred as using the
|
|
function without __constant_ is identical when the argument is a
|
|
constant.
|
|
|
|
In big endian systems, the macros like __constant_cpu_to_be32(x) and
|
|
cpu_to_be32(x) expand to the same expression::
|
|
|
|
#define __constant_cpu_to_be32(x) ((__force __be32)(__u32)(x))
|
|
#define __cpu_to_be32(x) ((__force __be32)(__u32)(x))
|
|
|
|
In little endian systems, the macros __constant_cpu_to_be32(x) and
|
|
cpu_to_be32(x) expand to __constant_swab32 and __swab32. __swab32
|
|
has a __builtin_constant_p check::
|
|
|
|
#define __swab32(x) \
|
|
(__builtin_constant_p((__u32)(x)) ? \
|
|
___constant_swab32(x) : \
|
|
__fswab32(x))
|
|
|
|
So ultimately they have a special case for constants.
|
|
Similar is the case with all of the macros in the list. Thus
|
|
using the __constant_... forms are unnecessarily verbose and
|
|
not preferred outside of include/uapi.
|
|
|
|
See: https://lore.kernel.org/lkml/1400106425.12666.6.camel@joe-AO725/
|
|
|
|
**DEPRECATED_API**
|
|
Usage of a deprecated RCU API is detected. It is recommended to replace
|
|
old flavourful RCU APIs by their new vanilla-RCU counterparts.
|
|
|
|
The full list of available RCU APIs can be viewed from the kernel docs.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/RCU/whatisRCU.html#full-list-of-rcu-apis
|
|
|
|
**DEPRECATED_VARIABLE**
|
|
EXTRA_{A,C,CPP,LD}FLAGS are deprecated and should be replaced by the new
|
|
flags added via commit f77bf01425b1 ("kbuild: introduce ccflags-y,
|
|
asflags-y and ldflags-y").
|
|
|
|
The following conversion scheme maybe used::
|
|
|
|
EXTRA_AFLAGS -> asflags-y
|
|
EXTRA_CFLAGS -> ccflags-y
|
|
EXTRA_CPPFLAGS -> cppflags-y
|
|
EXTRA_LDFLAGS -> ldflags-y
|
|
|
|
See:
|
|
|
|
1. https://lore.kernel.org/lkml/20070930191054.GA15876@uranus.ravnborg.org/
|
|
2. https://lore.kernel.org/lkml/1313384834-24433-12-git-send-email-lacombar@gmail.com/
|
|
3. https://www.kernel.org/doc/html/latest/kbuild/makefiles.html#compilation-flags
|
|
|
|
**DEVICE_ATTR_FUNCTIONS**
|
|
The function names used in DEVICE_ATTR is unusual.
|
|
Typically, the store and show functions are used with <attr>_store and
|
|
<attr>_show, where <attr> is a named attribute variable of the device.
|
|
|
|
Consider the following examples::
|
|
|
|
static DEVICE_ATTR(type, 0444, type_show, NULL);
|
|
static DEVICE_ATTR(power, 0644, power_show, power_store);
|
|
|
|
The function names should preferably follow the above pattern.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/driver-api/driver-model/device.html#attributes
|
|
|
|
**DEVICE_ATTR_RO**
|
|
The DEVICE_ATTR_RO(name) helper macro can be used instead of
|
|
DEVICE_ATTR(name, 0444, name_show, NULL);
|
|
|
|
Note that the macro automatically appends _show to the named
|
|
attribute variable of the device for the show method.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/driver-api/driver-model/device.html#attributes
|
|
|
|
**DEVICE_ATTR_RW**
|
|
The DEVICE_ATTR_RW(name) helper macro can be used instead of
|
|
DEVICE_ATTR(name, 0644, name_show, name_store);
|
|
|
|
Note that the macro automatically appends _show and _store to the
|
|
named attribute variable of the device for the show and store methods.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/driver-api/driver-model/device.html#attributes
|
|
|
|
**DEVICE_ATTR_WO**
|
|
The DEVICE_AATR_WO(name) helper macro can be used instead of
|
|
DEVICE_ATTR(name, 0200, NULL, name_store);
|
|
|
|
Note that the macro automatically appends _store to the
|
|
named attribute variable of the device for the store method.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/driver-api/driver-model/device.html#attributes
|
|
|
|
**DUPLICATED_SYSCTL_CONST**
|
|
Commit d91bff3011cf ("proc/sysctl: add shared variables for range
|
|
check") added some shared const variables to be used instead of a local
|
|
copy in each source file.
|
|
|
|
Consider replacing the sysctl range checking value with the shared
|
|
one in include/linux/sysctl.h. The following conversion scheme may
|
|
be used::
|
|
|
|
&zero -> SYSCTL_ZERO
|
|
&one -> SYSCTL_ONE
|
|
&int_max -> SYSCTL_INT_MAX
|
|
|
|
See:
|
|
|
|
1. https://lore.kernel.org/lkml/20190430180111.10688-1-mcroce@redhat.com/
|
|
2. https://lore.kernel.org/lkml/20190531131422.14970-1-mcroce@redhat.com/
|
|
|
|
**ENOSYS**
|
|
ENOSYS means that a nonexistent system call was called.
|
|
Earlier, it was wrongly used for things like invalid operations on
|
|
otherwise valid syscalls. This should be avoided in new code.
|
|
|
|
See: https://lore.kernel.org/lkml/5eb299021dec23c1a48fa7d9f2c8b794e967766d.1408730669.git.luto@amacapital.net/
|
|
|
|
**ENOTSUPP**
|
|
ENOTSUPP is not a standard error code and should be avoided in new patches.
|
|
EOPNOTSUPP should be used instead.
|
|
|
|
See: https://lore.kernel.org/netdev/20200510182252.GA411829@lunn.ch/
|
|
|
|
**EXPORT_SYMBOL**
|
|
EXPORT_SYMBOL should immediately follow the symbol to be exported.
|
|
|
|
**IN_ATOMIC**
|
|
in_atomic() is not for driver use so any such use is reported as an ERROR.
|
|
Also in_atomic() is often used to determine if sleeping is permitted,
|
|
but it is not reliable in this use model. Therefore its use is
|
|
strongly discouraged.
|
|
|
|
However, in_atomic() is ok for core kernel use.
|
|
|
|
See: https://lore.kernel.org/lkml/20080320201723.b87b3732.akpm@linux-foundation.org/
|
|
|
|
**LOCKDEP**
|
|
The lockdep_no_validate class was added as a temporary measure to
|
|
prevent warnings on conversion of device->sem to device->mutex.
|
|
It should not be used for any other purpose.
|
|
|
|
See: https://lore.kernel.org/lkml/1268959062.9440.467.camel@laptop/
|
|
|
|
**MALFORMED_INCLUDE**
|
|
The #include statement has a malformed path. This has happened
|
|
because the author has included a double slash "//" in the pathname
|
|
accidentally.
|
|
|
|
**USE_LOCKDEP**
|
|
lockdep_assert_held() annotations should be preferred over
|
|
assertions based on spin_is_locked()
|
|
|
|
See: https://www.kernel.org/doc/html/latest/locking/lockdep-design.html#annotations
|
|
|
|
**UAPI_INCLUDE**
|
|
No #include statements in include/uapi should use a uapi/ path.
|
|
|
|
**USLEEP_RANGE**
|
|
usleep_range() should be preferred over udelay(). The proper way of
|
|
using usleep_range() is mentioned in the kernel docs.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/timers/timers-howto.html#delays-information-on-the-various-kernel-delay-sleep-mechanisms
|
|
|
|
|
|
Comments
|
|
--------
|
|
|
|
**BLOCK_COMMENT_STYLE**
|
|
The comment style is incorrect. The preferred style for multi-
|
|
line comments is::
|
|
|
|
/*
|
|
* This is the preferred style
|
|
* for multi line comments.
|
|
*/
|
|
|
|
The networking comment style is a bit different, with the first line
|
|
not empty like the former::
|
|
|
|
/* This is the preferred comment style
|
|
* for files in net/ and drivers/net/
|
|
*/
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#commenting
|
|
|
|
**C99_COMMENTS**
|
|
C99 style single line comments (//) should not be used.
|
|
Prefer the block comment style instead.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#commenting
|
|
|
|
**DATA_RACE**
|
|
Applications of data_race() should have a comment so as to document the
|
|
reasoning behind why it was deemed safe.
|
|
|
|
See: https://lore.kernel.org/lkml/20200401101714.44781-1-elver@google.com/
|
|
|
|
**FSF_MAILING_ADDRESS**
|
|
Kernel maintainers reject new instances of the GPL boilerplate paragraph
|
|
directing people to write to the FSF for a copy of the GPL, since the
|
|
FSF has moved in the past and may do so again.
|
|
So do not write paragraphs about writing to the Free Software Foundation's
|
|
mailing address.
|
|
|
|
See: https://lore.kernel.org/lkml/20131006222342.GT19510@leaf/
|
|
|
|
|
|
Commit message
|
|
--------------
|
|
|
|
**BAD_SIGN_OFF**
|
|
The signed-off-by line does not fall in line with the standards
|
|
specified by the community.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/submitting-patches.html#developer-s-certificate-of-origin-1-1
|
|
|
|
**BAD_STABLE_ADDRESS_STYLE**
|
|
The email format for stable is incorrect.
|
|
Some valid options for stable address are::
|
|
|
|
1. stable@vger.kernel.org
|
|
2. stable@kernel.org
|
|
|
|
For adding version info, the following comment style should be used::
|
|
|
|
stable@vger.kernel.org # version info
|
|
|
|
**COMMIT_COMMENT_SYMBOL**
|
|
Commit log lines starting with a '#' are ignored by git as
|
|
comments. To solve this problem addition of a single space
|
|
infront of the log line is enough.
|
|
|
|
**COMMIT_MESSAGE**
|
|
The patch is missing a commit description. A brief
|
|
description of the changes made by the patch should be added.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/submitting-patches.html#describe-your-changes
|
|
|
|
**EMAIL_SUBJECT**
|
|
Naming the tool that found the issue is not very useful in the
|
|
subject line. A good subject line summarizes the change that
|
|
the patch brings.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/submitting-patches.html#describe-your-changes
|
|
|
|
**FROM_SIGN_OFF_MISMATCH**
|
|
The author's email does not match with that in the Signed-off-by:
|
|
line(s). This can be sometimes caused due to an improperly configured
|
|
email client.
|
|
|
|
This message is emitted due to any of the following reasons::
|
|
|
|
- The email names do not match.
|
|
- The email addresses do not match.
|
|
- The email subaddresses do not match.
|
|
- The email comments do not match.
|
|
|
|
**MISSING_SIGN_OFF**
|
|
The patch is missing a Signed-off-by line. A signed-off-by
|
|
line should be added according to Developer's certificate of
|
|
Origin.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/submitting-patches.html#sign-your-work-the-developer-s-certificate-of-origin
|
|
|
|
**NO_AUTHOR_SIGN_OFF**
|
|
The author of the patch has not signed off the patch. It is
|
|
required that a simple sign off line should be present at the
|
|
end of explanation of the patch to denote that the author has
|
|
written it or otherwise has the rights to pass it on as an open
|
|
source patch.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/submitting-patches.html#sign-your-work-the-developer-s-certificate-of-origin
|
|
|
|
**DIFF_IN_COMMIT_MSG**
|
|
Avoid having diff content in commit message.
|
|
This causes problems when one tries to apply a file containing both
|
|
the changelog and the diff because patch(1) tries to apply the diff
|
|
which it found in the changelog.
|
|
|
|
See: https://lore.kernel.org/lkml/20150611134006.9df79a893e3636019ad2759e@linux-foundation.org/
|
|
|
|
**GERRIT_CHANGE_ID**
|
|
To be picked up by gerrit, the footer of the commit message might
|
|
have a Change-Id like::
|
|
|
|
Change-Id: Ic8aaa0728a43936cd4c6e1ed590e01ba8f0fbf5b
|
|
Signed-off-by: A. U. Thor <author@example.com>
|
|
|
|
The Change-Id line must be removed before submitting.
|
|
|
|
**GIT_COMMIT_ID**
|
|
The proper way to reference a commit id is:
|
|
commit <12+ chars of sha1> ("<title line>")
|
|
|
|
An example may be::
|
|
|
|
Commit e21d2170f36602ae2708 ("video: remove unnecessary
|
|
platform_set_drvdata()") removed the unnecessary
|
|
platform_set_drvdata(), but left the variable "dev" unused,
|
|
delete it.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/submitting-patches.html#describe-your-changes
|
|
|
|
|
|
Comparison style
|
|
----------------
|
|
|
|
**ASSIGN_IN_IF**
|
|
Do not use assignments in if condition.
|
|
Example::
|
|
|
|
if ((foo = bar(...)) < BAZ) {
|
|
|
|
should be written as::
|
|
|
|
foo = bar(...);
|
|
if (foo < BAZ) {
|
|
|
|
**BOOL_COMPARISON**
|
|
Comparisons of A to true and false are better written
|
|
as A and !A.
|
|
|
|
See: https://lore.kernel.org/lkml/1365563834.27174.12.camel@joe-AO722/
|
|
|
|
**COMPARISON_TO_NULL**
|
|
Comparisons to NULL in the form (foo == NULL) or (foo != NULL)
|
|
are better written as (!foo) and (foo).
|
|
|
|
**CONSTANT_COMPARISON**
|
|
Comparisons with a constant or upper case identifier on the left
|
|
side of the test should be avoided.
|
|
|
|
|
|
Indentation and Line Breaks
|
|
---------------------------
|
|
|
|
**CODE_INDENT**
|
|
Code indent should use tabs instead of spaces.
|
|
Outside of comments, documentation and Kconfig,
|
|
spaces are never used for indentation.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#indentation
|
|
|
|
**DEEP_INDENTATION**
|
|
Indentation with 6 or more tabs usually indicate overly indented
|
|
code.
|
|
|
|
It is suggested to refactor excessive indentation of
|
|
if/else/for/do/while/switch statements.
|
|
|
|
See: https://lore.kernel.org/lkml/1328311239.21255.24.camel@joe2Laptop/
|
|
|
|
**SWITCH_CASE_INDENT_LEVEL**
|
|
switch should be at the same indent as case.
|
|
Example::
|
|
|
|
switch (suffix) {
|
|
case 'G':
|
|
case 'g':
|
|
mem <<= 30;
|
|
break;
|
|
case 'M':
|
|
case 'm':
|
|
mem <<= 20;
|
|
break;
|
|
case 'K':
|
|
case 'k':
|
|
mem <<= 10;
|
|
fallthrough;
|
|
default:
|
|
break;
|
|
}
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#indentation
|
|
|
|
**LONG_LINE**
|
|
The line has exceeded the specified maximum length.
|
|
To use a different maximum line length, the --max-line-length=n option
|
|
may be added while invoking checkpatch.
|
|
|
|
Earlier, the default line length was 80 columns. Commit bdc48fa11e46
|
|
("checkpatch/coding-style: deprecate 80-column warning") increased the
|
|
limit to 100 columns. This is not a hard limit either and it's
|
|
preferable to stay within 80 columns whenever possible.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#breaking-long-lines-and-strings
|
|
|
|
**LONG_LINE_STRING**
|
|
A string starts before but extends beyond the maximum line length.
|
|
To use a different maximum line length, the --max-line-length=n option
|
|
may be added while invoking checkpatch.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#breaking-long-lines-and-strings
|
|
|
|
**LONG_LINE_COMMENT**
|
|
A comment starts before but extends beyond the maximum line length.
|
|
To use a different maximum line length, the --max-line-length=n option
|
|
may be added while invoking checkpatch.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#breaking-long-lines-and-strings
|
|
|
|
**SPLIT_STRING**
|
|
Quoted strings that appear as messages in userspace and can be
|
|
grepped, should not be split across multiple lines.
|
|
|
|
See: https://lore.kernel.org/lkml/20120203052727.GA15035@leaf/
|
|
|
|
**MULTILINE_DEREFERENCE**
|
|
A single dereferencing identifier spanned on multiple lines like::
|
|
|
|
struct_identifier->member[index].
|
|
member = <foo>;
|
|
|
|
is generally hard to follow. It can easily lead to typos and so makes
|
|
the code vulnerable to bugs.
|
|
|
|
If fixing the multiple line dereferencing leads to an 80 column
|
|
violation, then either rewrite the code in a more simple way or if the
|
|
starting part of the dereferencing identifier is the same and used at
|
|
multiple places then store it in a temporary variable, and use that
|
|
temporary variable only at all the places. For example, if there are
|
|
two dereferencing identifiers::
|
|
|
|
member1->member2->member3.foo1;
|
|
member1->member2->member3.foo2;
|
|
|
|
then store the member1->member2->member3 part in a temporary variable.
|
|
It not only helps to avoid the 80 column violation but also reduces
|
|
the program size by removing the unnecessary dereferences.
|
|
|
|
But if none of the above methods work then ignore the 80 column
|
|
violation because it is much easier to read a dereferencing identifier
|
|
on a single line.
|
|
|
|
**TRAILING_STATEMENTS**
|
|
Trailing statements (for example after any conditional) should be
|
|
on the next line.
|
|
Statements, such as::
|
|
|
|
if (x == y) break;
|
|
|
|
should be::
|
|
|
|
if (x == y)
|
|
break;
|
|
|
|
|
|
Macros, Attributes and Symbols
|
|
------------------------------
|
|
|
|
**ARRAY_SIZE**
|
|
The ARRAY_SIZE(foo) macro should be preferred over
|
|
sizeof(foo)/sizeof(foo[0]) for finding number of elements in an
|
|
array.
|
|
|
|
The macro is defined in include/linux/kernel.h::
|
|
|
|
#define ARRAY_SIZE(x) (sizeof(x) / sizeof((x)[0]))
|
|
|
|
**AVOID_EXTERNS**
|
|
Function prototypes don't need to be declared extern in .h
|
|
files. It's assumed by the compiler and is unnecessary.
|
|
|
|
**AVOID_L_PREFIX**
|
|
Local symbol names that are prefixed with `.L` should be avoided,
|
|
as this has special meaning for the assembler; a symbol entry will
|
|
not be emitted into the symbol table. This can prevent `objtool`
|
|
from generating correct unwind info.
|
|
|
|
Symbols with STB_LOCAL binding may still be used, and `.L` prefixed
|
|
local symbol names are still generally usable within a function,
|
|
but `.L` prefixed local symbol names should not be used to denote
|
|
the beginning or end of code regions via
|
|
`SYM_CODE_START_LOCAL`/`SYM_CODE_END`
|
|
|
|
**BIT_MACRO**
|
|
Defines like: 1 << <digit> could be BIT(digit).
|
|
The BIT() macro is defined via include/linux/bits.h::
|
|
|
|
#define BIT(nr) (1UL << (nr))
|
|
|
|
**CONST_READ_MOSTLY**
|
|
When a variable is tagged with the __read_mostly annotation, it is a
|
|
signal to the compiler that accesses to the variable will be mostly
|
|
reads and rarely(but NOT never) a write.
|
|
|
|
const __read_mostly does not make any sense as const data is already
|
|
read-only. The __read_mostly annotation thus should be removed.
|
|
|
|
**DATE_TIME**
|
|
It is generally desirable that building the same source code with
|
|
the same set of tools is reproducible, i.e. the output is always
|
|
exactly the same.
|
|
|
|
The kernel does *not* use the ``__DATE__`` and ``__TIME__`` macros,
|
|
and enables warnings if they are used as they can lead to
|
|
non-deterministic builds.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/kbuild/reproducible-builds.html#timestamps
|
|
|
|
**DEFINE_ARCH_HAS**
|
|
The ARCH_HAS_xyz and ARCH_HAVE_xyz patterns are wrong.
|
|
|
|
For big conceptual features use Kconfig symbols instead. And for
|
|
smaller things where we have compatibility fallback functions but
|
|
want architectures able to override them with optimized ones, we
|
|
should either use weak functions (appropriate for some cases), or
|
|
the symbol that protects them should be the same symbol we use.
|
|
|
|
See: https://lore.kernel.org/lkml/CA+55aFycQ9XJvEOsiM3txHL5bjUc8CeKWJNR_H+MiicaddB42Q@mail.gmail.com/
|
|
|
|
**DO_WHILE_MACRO_WITH_TRAILING_SEMICOLON**
|
|
do {} while(0) macros should not have a trailing semicolon.
|
|
|
|
**INIT_ATTRIBUTE**
|
|
Const init definitions should use __initconst instead of
|
|
__initdata.
|
|
|
|
Similarly init definitions without const require a separate
|
|
use of const.
|
|
|
|
**INLINE_LOCATION**
|
|
The inline keyword should sit between storage class and type.
|
|
|
|
For example, the following segment::
|
|
|
|
inline static int example_function(void)
|
|
{
|
|
...
|
|
}
|
|
|
|
should be::
|
|
|
|
static inline int example_function(void)
|
|
{
|
|
...
|
|
}
|
|
|
|
**MISPLACED_INIT**
|
|
It is possible to use section markers on variables in a way
|
|
which gcc doesn't understand (or at least not the way the
|
|
developer intended)::
|
|
|
|
static struct __initdata samsung_pll_clock exynos4_plls[nr_plls] = {
|
|
|
|
does not put exynos4_plls in the .initdata section. The __initdata
|
|
marker can be virtually anywhere on the line, except right after
|
|
"struct". The preferred location is before the "=" sign if there is
|
|
one, or before the trailing ";" otherwise.
|
|
|
|
See: https://lore.kernel.org/lkml/1377655732.3619.19.camel@joe-AO722/
|
|
|
|
**MULTISTATEMENT_MACRO_USE_DO_WHILE**
|
|
Macros with multiple statements should be enclosed in a
|
|
do - while block. Same should also be the case for macros
|
|
starting with `if` to avoid logic defects::
|
|
|
|
#define macrofun(a, b, c) \
|
|
do { \
|
|
if (a == 5) \
|
|
do_this(b, c); \
|
|
} while (0)
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#macros-enums-and-rtl
|
|
|
|
**PREFER_FALLTHROUGH**
|
|
Use the `fallthrough;` pseudo keyword instead of
|
|
`/* fallthrough */` like comments.
|
|
|
|
**TRAILING_SEMICOLON**
|
|
Macro definition should not end with a semicolon. The macro
|
|
invocation style should be consistent with function calls.
|
|
This can prevent any unexpected code paths::
|
|
|
|
#define MAC do_something;
|
|
|
|
If this macro is used within a if else statement, like::
|
|
|
|
if (some_condition)
|
|
MAC;
|
|
|
|
else
|
|
do_something;
|
|
|
|
Then there would be a compilation error, because when the macro is
|
|
expanded there are two trailing semicolons, so the else branch gets
|
|
orphaned.
|
|
|
|
See: https://lore.kernel.org/lkml/1399671106.2912.21.camel@joe-AO725/
|
|
|
|
**SINGLE_STATEMENT_DO_WHILE_MACRO**
|
|
For the multi-statement macros, it is necessary to use the do-while
|
|
loop to avoid unpredictable code paths. The do-while loop helps to
|
|
group the multiple statements into a single one so that a
|
|
function-like macro can be used as a function only.
|
|
|
|
But for the single statement macros, it is unnecessary to use the
|
|
do-while loop. Although the code is syntactically correct but using
|
|
the do-while loop is redundant. So remove the do-while loop for single
|
|
statement macros.
|
|
|
|
**WEAK_DECLARATION**
|
|
Using weak declarations like __attribute__((weak)) or __weak
|
|
can have unintended link defects. Avoid using them.
|
|
|
|
|
|
Functions and Variables
|
|
-----------------------
|
|
|
|
**CAMELCASE**
|
|
Avoid CamelCase Identifiers.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#naming
|
|
|
|
**CONST_CONST**
|
|
Using `const <type> const *` is generally meant to be
|
|
written `const <type> * const`.
|
|
|
|
**CONST_STRUCT**
|
|
Using const is generally a good idea. Checkpatch reads
|
|
a list of frequently used structs that are always or
|
|
almost always constant.
|
|
|
|
The existing structs list can be viewed from
|
|
`scripts/const_structs.checkpatch`.
|
|
|
|
See: https://lore.kernel.org/lkml/alpine.DEB.2.10.1608281509480.3321@hadrien/
|
|
|
|
**EMBEDDED_FUNCTION_NAME**
|
|
Embedded function names are less appropriate to use as
|
|
refactoring can cause function renaming. Prefer the use of
|
|
"%s", __func__ to embedded function names.
|
|
|
|
Note that this does not work with -f (--file) checkpatch option
|
|
as it depends on patch context providing the function name.
|
|
|
|
**FUNCTION_ARGUMENTS**
|
|
This warning is emitted due to any of the following reasons:
|
|
|
|
1. Arguments for the function declaration do not follow
|
|
the identifier name. Example::
|
|
|
|
void foo
|
|
(int bar, int baz)
|
|
|
|
This should be corrected to::
|
|
|
|
void foo(int bar, int baz)
|
|
|
|
2. Some arguments for the function definition do not
|
|
have an identifier name. Example::
|
|
|
|
void foo(int)
|
|
|
|
All arguments should have identifier names.
|
|
|
|
**FUNCTION_WITHOUT_ARGS**
|
|
Function declarations without arguments like::
|
|
|
|
int foo()
|
|
|
|
should be::
|
|
|
|
int foo(void)
|
|
|
|
**GLOBAL_INITIALISERS**
|
|
Global variables should not be initialized explicitly to
|
|
0 (or NULL, false, etc.). Your compiler (or rather your
|
|
loader, which is responsible for zeroing out the relevant
|
|
sections) automatically does it for you.
|
|
|
|
**INITIALISED_STATIC**
|
|
Static variables should not be initialized explicitly to zero.
|
|
Your compiler (or rather your loader) automatically does
|
|
it for you.
|
|
|
|
**MULTIPLE_ASSIGNMENTS**
|
|
Multiple assignments on a single line makes the code unnecessarily
|
|
complicated. So on a single line assign value to a single variable
|
|
only, this makes the code more readable and helps avoid typos.
|
|
|
|
**RETURN_PARENTHESES**
|
|
return is not a function and as such doesn't need parentheses::
|
|
|
|
return (bar);
|
|
|
|
can simply be::
|
|
|
|
return bar;
|
|
|
|
|
|
Permissions
|
|
-----------
|
|
|
|
**DEVICE_ATTR_PERMS**
|
|
The permissions used in DEVICE_ATTR are unusual.
|
|
Typically only three permissions are used - 0644 (RW), 0444 (RO)
|
|
and 0200 (WO).
|
|
|
|
See: https://www.kernel.org/doc/html/latest/filesystems/sysfs.html#attributes
|
|
|
|
**EXECUTE_PERMISSIONS**
|
|
There is no reason for source files to be executable. The executable
|
|
bit can be removed safely.
|
|
|
|
**EXPORTED_WORLD_WRITABLE**
|
|
Exporting world writable sysfs/debugfs files is usually a bad thing.
|
|
When done arbitrarily they can introduce serious security bugs.
|
|
In the past, some of the debugfs vulnerabilities would seemingly allow
|
|
any local user to write arbitrary values into device registers - a
|
|
situation from which little good can be expected to emerge.
|
|
|
|
See: https://lore.kernel.org/linux-arm-kernel/cover.1296818921.git.segoon@openwall.com/
|
|
|
|
**NON_OCTAL_PERMISSIONS**
|
|
Permission bits should use 4 digit octal permissions (like 0700 or 0444).
|
|
Avoid using any other base like decimal.
|
|
|
|
**SYMBOLIC_PERMS**
|
|
Permission bits in the octal form are more readable and easier to
|
|
understand than their symbolic counterparts because many command-line
|
|
tools use this notation. Experienced kernel developers have been using
|
|
these traditional Unix permission bits for decades and so they find it
|
|
easier to understand the octal notation than the symbolic macros.
|
|
For example, it is harder to read S_IWUSR|S_IRUGO than 0644, which
|
|
obscures the developer's intent rather than clarifying it.
|
|
|
|
See: https://lore.kernel.org/lkml/CA+55aFw5v23T-zvDZp-MmD_EYxF8WbafwwB59934FV7g21uMGQ@mail.gmail.com/
|
|
|
|
|
|
Spacing and Brackets
|
|
--------------------
|
|
|
|
**ASSIGNMENT_CONTINUATIONS**
|
|
Assignment operators should not be written at the start of a
|
|
line but should follow the operand at the previous line.
|
|
|
|
**BRACES**
|
|
The placement of braces is stylistically incorrect.
|
|
The preferred way is to put the opening brace last on the line,
|
|
and put the closing brace first::
|
|
|
|
if (x is true) {
|
|
we do y
|
|
}
|
|
|
|
This applies for all non-functional blocks.
|
|
However, there is one special case, namely functions: they have the
|
|
opening brace at the beginning of the next line, thus::
|
|
|
|
int function(int x)
|
|
{
|
|
body of function
|
|
}
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#placing-braces-and-spaces
|
|
|
|
**BRACKET_SPACE**
|
|
Whitespace before opening bracket '[' is prohibited.
|
|
There are some exceptions:
|
|
|
|
1. With a type on the left::
|
|
|
|
int [] a;
|
|
|
|
2. At the beginning of a line for slice initialisers::
|
|
|
|
[0...10] = 5,
|
|
|
|
3. Inside a curly brace::
|
|
|
|
= { [0...10] = 5 }
|
|
|
|
**CONCATENATED_STRING**
|
|
Concatenated elements should have a space in between.
|
|
Example::
|
|
|
|
printk(KERN_INFO"bar");
|
|
|
|
should be::
|
|
|
|
printk(KERN_INFO "bar");
|
|
|
|
**ELSE_AFTER_BRACE**
|
|
`else {` should follow the closing block `}` on the same line.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#placing-braces-and-spaces
|
|
|
|
**LINE_SPACING**
|
|
Vertical space is wasted given the limited number of lines an
|
|
editor window can display when multiple blank lines are used.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#spaces
|
|
|
|
**OPEN_BRACE**
|
|
The opening brace should be following the function definitions on the
|
|
next line. For any non-functional block it should be on the same line
|
|
as the last construct.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#placing-braces-and-spaces
|
|
|
|
**POINTER_LOCATION**
|
|
When using pointer data or a function that returns a pointer type,
|
|
the preferred use of * is adjacent to the data name or function name
|
|
and not adjacent to the type name.
|
|
Examples::
|
|
|
|
char *linux_banner;
|
|
unsigned long long memparse(char *ptr, char **retptr);
|
|
char *match_strdup(substring_t *s);
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#spaces
|
|
|
|
**SPACING**
|
|
Whitespace style used in the kernel sources is described in kernel docs.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#spaces
|
|
|
|
**TRAILING_WHITESPACE**
|
|
Trailing whitespace should always be removed.
|
|
Some editors highlight the trailing whitespace and cause visual
|
|
distractions when editing files.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#spaces
|
|
|
|
**UNNECESSARY_PARENTHESES**
|
|
Parentheses are not required in the following cases:
|
|
|
|
1. Function pointer uses::
|
|
|
|
(foo->bar)();
|
|
|
|
could be::
|
|
|
|
foo->bar();
|
|
|
|
2. Comparisons in if::
|
|
|
|
if ((foo->bar) && (foo->baz))
|
|
if ((foo == bar))
|
|
|
|
could be::
|
|
|
|
if (foo->bar && foo->baz)
|
|
if (foo == bar)
|
|
|
|
3. addressof/dereference single Lvalues::
|
|
|
|
&(foo->bar)
|
|
*(foo->bar)
|
|
|
|
could be::
|
|
|
|
&foo->bar
|
|
*foo->bar
|
|
|
|
**WHILE_AFTER_BRACE**
|
|
while should follow the closing bracket on the same line::
|
|
|
|
do {
|
|
...
|
|
} while(something);
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/coding-style.html#placing-braces-and-spaces
|
|
|
|
|
|
Others
|
|
------
|
|
|
|
**CONFIG_DESCRIPTION**
|
|
Kconfig symbols should have a help text which fully describes
|
|
it.
|
|
|
|
**CORRUPTED_PATCH**
|
|
The patch seems to be corrupted or lines are wrapped.
|
|
Please regenerate the patch file before sending it to the maintainer.
|
|
|
|
**CVS_KEYWORD**
|
|
Since linux moved to git, the CVS markers are no longer used.
|
|
So, CVS style keywords ($Id$, $Revision$, $Log$) should not be
|
|
added.
|
|
|
|
**DEFAULT_NO_BREAK**
|
|
switch default case is sometimes written as "default:;". This can
|
|
cause new cases added below default to be defective.
|
|
|
|
A "break;" should be added after empty default statement to avoid
|
|
unwanted fallthrough.
|
|
|
|
**DOS_LINE_ENDINGS**
|
|
For DOS-formatted patches, there are extra ^M symbols at the end of
|
|
the line. These should be removed.
|
|
|
|
**DT_SCHEMA_BINDING_PATCH**
|
|
DT bindings moved to a json-schema based format instead of
|
|
freeform text.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/devicetree/bindings/writing-schema.html
|
|
|
|
**DT_SPLIT_BINDING_PATCH**
|
|
Devicetree bindings should be their own patch. This is because
|
|
bindings are logically independent from a driver implementation,
|
|
they have a different maintainer (even though they often
|
|
are applied via the same tree), and it makes for a cleaner history in the
|
|
DT only tree created with git-filter-branch.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/devicetree/bindings/submitting-patches.html#i-for-patch-submitters
|
|
|
|
**EMBEDDED_FILENAME**
|
|
Embedding the complete filename path inside the file isn't particularly
|
|
useful as often the path is moved around and becomes incorrect.
|
|
|
|
**FILE_PATH_CHANGES**
|
|
Whenever files are added, moved, or deleted, the MAINTAINERS file
|
|
patterns can be out of sync or outdated.
|
|
|
|
So MAINTAINERS might need updating in these cases.
|
|
|
|
**MEMSET**
|
|
The memset use appears to be incorrect. This may be caused due to
|
|
badly ordered parameters. Please recheck the usage.
|
|
|
|
**NOT_UNIFIED_DIFF**
|
|
The patch file does not appear to be in unified-diff format. Please
|
|
regenerate the patch file before sending it to the maintainer.
|
|
|
|
**PRINTF_0XDECIMAL**
|
|
Prefixing 0x with decimal output is defective and should be corrected.
|
|
|
|
**SPDX_LICENSE_TAG**
|
|
The source file is missing or has an improper SPDX identifier tag.
|
|
The Linux kernel requires the precise SPDX identifier in all source files,
|
|
and it is thoroughly documented in the kernel docs.
|
|
|
|
See: https://www.kernel.org/doc/html/latest/process/license-rules.html
|
|
|
|
**TYPO_SPELLING**
|
|
Some words may have been misspelled. Consider reviewing them.
|