Checkpatch¶
Checkpatch (scripts/checkpatch.pl) is a perl script which checks for trivialstyle violations in patches and optionally corrects them. Checkpatch canalso be run on file contexts and without the kernel tree.
Checkpatch is not always right. Your judgement takes precedence over checkpatchmessages. If your code looks better with the violations, then its probablybest 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, --verboseEnable verbose mode. Additional verbose test descriptions are outputso 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 atthe end of the explanation for the patch, which certifies that you wrote itor 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-byline in a patch context.
--patch
Treat FILE as a patch. This is the default option and need not beexplicitly specified.
--emacs
Set output to emacs compile window format. This allows emacs users to jumpfrom the error in the compile window directly to the offending line in thepatch.
--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 runningcheckpatch on source files in the kernel.
--subjective, --strict
Enable stricter tests in checkpatch. By default the tests emitted as CHECKdo 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 flagto 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 specifiedlength, 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 forfile 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 outsidethe kernel root.
--no-summary
Suppress the per file summary.
--mailback
Only produce a report in case of Warnings or Errors. Milder Checks areexcluded 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 exist, a file<inputfile>.EXPERIMENTAL-checkpatch-fixes is created which has theautomatically 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 backupin place.
--ignore-perl-version
Override checking of perl version. Runtime errors may be encountered afterenabling 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 isCONFIG_).
-h, --help, --version
Display the help text.
Message Levels¶
Messages in checkpatch are divided into three levels. The levels of messagesin checkpatch denote the severity of the error. They are:
ERROR
This is the most strict level. Messages of type ERROR must be takenseriously as they denote things that are very likely to be wrong.
WARNING
This is the next stricter level. Messages of type WARNING requires amore 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.
Allocation style¶
- ALLOC_ARRAY_ARGS
The first argument for kcalloc or kmalloc_array should be thenumber of elements. sizeof() as the first argument is generallywrong.
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 ofallocation 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 asizeof multiply.
See:https://www.kernel.org/doc/html/latest/core-api/memory-allocation.html
API usage¶
- ARCH_DEFINES
Architecture specific defines should be avoided whereverpossible.
- ARCH_INCLUDE_LINUX
Whenever asm/file.h is included and linux/file.h exists, aconversion 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()orBUG_ON()should be avoided totally.UseWARN()andWARN_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(), andsimple_strtoull()functions explicitly ignore overflows, whichmay lead to unexpected results in callers. The respectivekstrtol(),kstrtoll(),kstrtoul(), andkstrtoull()functions tend to be thecorrect replacements.- 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_ntohsUsing any of these outside of include/uapi/ is not preferred as using thefunction without __constant_ is identical when the argument is aconstant.
In big endian systems, the macros like __constant_cpu_to_be32(x) andcpu_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) andcpu_to_be32(x) expand to __constant_swab32 and __swab32. __swab32has 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. Thususing the __constant_... forms are unnecessarily verbose andnot 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 replaceold 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
- 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 ofDEVICE_ATTR(name, 0444, name_show, NULL);
Note that the macro automatically appends _show to the namedattribute 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 ofDEVICE_ATTR(name, 0644, name_show, name_store);
Note that the macro automatically appends _show and _store to thenamed 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 ofDEVICE_ATTR(name, 0200, NULL, name_store);
Note that the macro automatically appends _store to thenamed 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 rangecheck”) added some shared const variables to be used instead of a localcopy in each source file.
Consider replacing the sysctl range checking value with the sharedone in include/linux/sysctl.h. The following conversion scheme maybe used:
&zero -> SYSCTL_ZERO&one -> SYSCTL_ONE&int_max -> SYSCTL_INT_MAXSee:
- ENOSYS
ENOSYS means that a nonexistent system call was called.Earlier, it was wrongly used for things like invalid operations onotherwise valid syscalls. This should be avoided in new code.
- 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.Alsoin_atomic()is often used to determine if sleeping is permitted,but it is not reliable in this use model. Therefore its use isstrongly 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 toprevent 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 happenedbecause the author has included a double slash “//” in the pathnameaccidentally.
- USE_LOCKDEP
lockdep_assert_held()annotations should be preferred overassertions based onspin_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 overudelay(). The proper way ofusingusleep_range()is mentioned in the kernel docs.
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. */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 thereasoning 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 paragraphdirecting people to write to the FSF for a copy of the GPL, since theFSF has moved in the past and may do so again.So do not write paragraphs about writing to the Free Software Foundation’smailing address.
See:https://lore.kernel.org/lkml/20131006222342.GT19510@leaf/
- UNCOMMENTED_RGMII_MODE
Historically, the RGMII PHY modes specified in Device Trees have beenused inconsistently, often referring to the usage of delays on the PHYside rather than describing the board.
PHY modes “rgmii”, “rgmii-rxid” and “rgmii-txid” modes require the clocksignal to be delayed on the PCB; this unusual configuration should bedescribed in a comment. If they are not (meaning that the delay is realizedinternally in the MAC or PHY), “rgmii-id” is the correct PHY mode.
Commit message¶
- BAD_SIGN_OFF
The signed-off-by line does not fall in line with the standardsspecified by the community.
- BAD_STABLE_ADDRESS_STYLE
The email format for stable is incorrect.Some valid options for stable address are:
1. stable@vger.kernel.org2. stable@kernel.orgFor 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 ascomments. To solve this problem addition of a single spaceinfront of the log line is enough.
- COMMIT_MESSAGE
The patch is missing a commit description. A briefdescription 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 thesubject line. A good subject line summarizes the change thatthe 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 configuredemail 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-byline should be added according to Developer’s certificate ofOrigin.
- NO_AUTHOR_SIGN_OFF
The author of the patch has not signed off the patch. It isrequired that a simple sign off line should be present at theend of explanation of the patch to denote that the author haswritten it or otherwise has the rights to pass it on as an opensource patch.
- DIFF_IN_COMMIT_MSG
Avoid having diff content in commit message.This causes problems when one tries to apply a file containing boththe changelog and the diff because patch(1) tries to apply the diffwhich 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 mighthave a Change-Id like:
Change-Id: Ic8aaa0728a43936cd4c6e1ed590e01ba8f0fbf5bSigned-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 unnecessaryplatform_set_drvdata()") removed the unnecessaryplatform_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
- BAD_FIXES_TAG
The Fixes: tag is malformed or does not follow the community conventions.This can occur if the tag have been split into multiple lines (e.g., whenpasted in an email program with word wrapping enabled).
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 writtenas 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 leftside 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 indentedcode.
It is suggested to refactor excessive indentation ofif/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 optionmay be added while invoking checkpatch.
Earlier, the default line length was 80 columns.Commit bdc48fa11e46(“checkpatch/coding-style: deprecate 80-column warning”) increased thelimit to 100 columns. This is not a hard limit either and it’spreferable 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 optionmay 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 optionmay 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 begrepped, 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 makesthe code vulnerable to bugs.
If fixing the multiple line dereferencing leads to an 80 columnviolation, then either rewrite the code in a more simple way or if thestarting part of the dereferencing identifier is the same and used atmultiple places then store it in a temporary variable, and use thattemporary variable only at all the places. For example, if there aretwo 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 reducesthe program size by removing the unnecessary dereferences.
But if none of the above methods work then ignore the 80 columnviolation because it is much easier to read a dereferencing identifieron a single line.
- TRAILING_STATEMENTS
Trailing statements (for example after any conditional) should beon 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 oversizeof(foo)/sizeof(foo[0]) for finding number of elements in anarray.
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 .hfiles. 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 willnot be emitted into the symbol table. This can preventobjtoolfrom generating correct unwind info.
Symbols with STB_LOCAL binding may still be used, and.L prefixedlocal symbol names are still generally usable within a function,but.L prefixed local symbol names should not be used to denotethe beginning or end of code regions viaSYM_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 asignal to the compiler that accesses to the variable will be mostlyreads and rarely(but NOT never) a write.
const __read_mostly does not make any sense as const data is alreadyread-only. The __read_mostly annotation thus should be removed.
- DATE_TIME
It is generally desirable that building the same source code withthe same set of tools is reproducible, i.e. the output is alwaysexactly the same.
The kernel doesnot use the
__DATE__and__TIME__macros,and enables warnings if they are used as they can lead tonon-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 forsmaller things where we have compatibility fallback functions butwant architectures able to override them with optimized ones, weshould either use weak functions (appropriate for some cases), orthe 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 separateuse 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 waywhich gcc doesn’t understand (or at least not the way thedeveloper intended):
static struct __initdata samsung_pll_clock exynos4_plls[nr_plls] = {does not put exynos4_plls in the .initdata section. The __initdatamarker can be virtually anywhere on the line, except right after“struct”. The preferred location is before the “=” sign if there isone, 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 ado - while block. Same should also be the case for macrosstarting withif 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 thefallthrough; pseudo keyword instead of/* fallthrough */ like comments.
- TRAILING_SEMICOLON
Macro definition should not end with a semicolon. The macroinvocation 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 isexpanded there are two trailing semicolons, so the else branch getsorphaned.
See:https://lore.kernel.org/lkml/1399671106.2912.21.camel@joe-AO725/
- MACRO_ARG_UNUSED
If function-like macros do not utilize a parameter, it might resultin a build warning. We advocate for utilizing static inline functionsto replace such macros.For example, for a macro such as the one below:
#define test(a) do { } while (0)there would be a warning like below:
WARNING: Argument 'a' is not used in function-like macro.See:https://www.kernel.org/doc/html/latest/process/coding-style.html#macros-enums-and-rtl
- SINGLE_STATEMENT_DO_WHILE_MACRO
For the multi-statement macros, it is necessary to use the do-whileloop to avoid unpredictable code paths. The do-while loop helps togroup the multiple statements into a single one so that afunction-like macro can be used as a function only.
But for the single statement macros, it is unnecessary to use thedo-while loop. Although the code is syntactically correct but usingthe do-while loop is redundant. So remove the do-while loop for singlestatement macros.
- WEAK_DECLARATION
Using weak declarations like __attribute__((weak)) or __weakcan 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
Usingconst <type> const * is generally meant to bewrittenconst <type> * const.
- CONST_STRUCT
Using const is generally a good idea. Checkpatch readsa list of frequently used structs that are always oralmost always constant.
The existing structs list can be viewed fromscripts/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 asrefactoring can cause function renaming. Prefer the use of“%s”, __func__ to embedded function names.
Note that this does not work with -f (--file) checkpatch optionas it depends on patch context providing the function name.
- FUNCTION_ARGUMENTS
This warning is emitted due to any of the following reasons:
Arguments for the function declaration do not followthe identifier name. Example:
void foo(int bar, int baz)This should be corrected to:
void foo(int bar, int baz)Some arguments for the function definition do nothave 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 to0 (or NULL, false, etc.). Your compiler (or rather yourloader, which is responsible for zeroing out the relevantsections) automatically does it for you.
- INITIALISED_STATIC
Static variables should not be initialized explicitly to zero.Your compiler (or rather your loader) automatically doesit for you.
- MULTIPLE_ASSIGNMENTS
Multiple assignments on a single line makes the code unnecessarilycomplicated. So on a single line assign value to a single variableonly, 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;- UNINITIALIZED_PTR_WITH_FREE
Pointers with __free attribute should be declared at the place of useand initialized (see include/linux/cleanup.h). In this casedeclarations at the top of the function rule can be relaxed. Not doingso may lead to undefined behavior as the memory assigned (garbage,in case not initialized) to the pointer is freed automatically whenthe pointer goes out of scope.
Also see:https://lore.kernel.org/lkml/58fd478f408a34b578ee8d949c5c4b4da4d4f41d.camel@HansenPartnership.com/
Example:
type var __free(free_func);... // var not used, but, in future someone might add a return herevar = malloc(var_size);...should be initialized as:
...type var __free(free_func) = malloc(var_size);...
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 executablebit 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 allowany local user to write arbitrary values into device registers - asituation 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 tounderstand than their symbolic counterparts because many command-linetools use this notation. Experienced kernel developers have been usingthese traditional Unix permission bits for decades and so they find iteasier to understand the octal notation than the symbolic macros.For example, it is harder to read S_IWUSR|S_IRUGO than 0644, whichobscures 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 aline 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 theopening 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:
With a type on the left:
int [] a;At the beginning of a line for slice initialisers:
[0...10] = 5,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 aneditor 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 thenext line. For any non-functional block it should be on the same lineas 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 nameand 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 visualdistractions 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:
Function pointer uses:
(foo->bar)();could be:
foo->bar();
Comparisons in if:
if ((foo->bar) && (foo->baz))if ((foo == bar))could be:
if (foo->bar && foo->baz)if (foo == bar)
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 describesit.
- 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 beadded.
- DEFAULT_NO_BREAK
switch default case is sometimes written as “default:;”. This cancause new cases added below default to be defective.
A “break;” should be added after empty default statement to avoidunwanted fallthrough.
- DOS_LINE_ENDINGS
For DOS-formatted patches, there are extra ^M symbols at the end ofthe line. These should be removed.
- DT_SCHEMA_BINDING_PATCH
DT bindings moved to a json-schema based format instead offreeform 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 becausebindings are logically independent from a driver implementation,they have a different maintainer (even though they oftenare applied via the same tree), and it makes for a cleaner history in theDT only tree created with git-filter-branch.
- EMBEDDED_FILENAME
Embedding the complete filename path inside the file isn’t particularlyuseful as often the path is moved around and becomes incorrect.
- FILE_PATH_CHANGES
Whenever files are added, moved, or deleted, the MAINTAINERS filepatterns 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 tobadly ordered parameters. Please recheck the usage.
- NOT_UNIFIED_DIFF
The patch file does not appear to be in unified-diff format. Pleaseregenerate the patch file before sending it to the maintainer.
- PLACEHOLDER_USE
Detects unhandled placeholder text left in cover letters or commit headers/logs.Common placeholders include lines like:
*** SUBJECT HERE ****** BLURB HERE ***These typically come from autogenerated templates. Replace them with a propersubject and description before sending.
- 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.