Hi!
As discussed in Ian's kobj_type::release series[1], this takes its first
patch (to add __require_explicit_initialization), with Miguel's requested
comment tweak (the attribute needs Clang 20 or later), along with a first
user that needs no fix-ups first: seq_file's seq_operations callbacks,
which are called without a NULL check. This will make the attribute
available in v7.4-rc1, while the kobj_type fixes continue separately.
The annotation adds no warnings anywhere in the tree today that I could
find across allmodconfig builds:
Clang 24.0.0git: x86_64, arm64, i386, arm, riscv, s390, loongarch, powerpc.
GCC 16.2.0: x86_64, arm64, i386, arm, riscv, s390, m68k, mips, parisc,
sparc, loongarch, xtensa, arc, and openrisc.
Thanks!
-Kees
[1] https://lore.kernel.org/all/[email protected]/
Ian Rogers (1):
Compiler Attributes: Add __require_explicit_initialization macro
Kees Cook (1):
seq_file: Require explicit initialization of struct seq_operations
scripts/checkpatch.pl | 1 +
Documentation/conf.py | 1 +
include/linux/compiler_attributes.h | 12 ++++++++++++
include/linux/seq_file.h | 13 +++++++++----
tools/lib/python/kdoc/xforms_lists.py | 1 +
5 files changed, 24 insertions(+), 4 deletions(-)
--
2.55.0
