Linux semantic checker sparce (see more info on how it works - https://lwn.net/Articles/689907/) could be easily used during the Linux kernel build. Just either install it with your Linux distro package manager or build it from sources (https://git.kernel.org/pub/scm/devel/sparse/sparse.git) and make sure it's in your PATH variable.
Then: make C=1 CF='-fdiagnostic-prefix'.
See attached a full log: sparse.log.
Note, there're many warnings for different parts of the source tree, but for us the most interesting might be those in arch/arc.
Inspired by https://www.spinics.net/lists/linux-mm/msg268313.html
Linux semantic checker sparce (see more info on how it works - https://lwn.net/Articles/689907/) could be easily used during the Linux kernel build. Just either install it with your Linux distro package manager or build it from sources (https://git.kernel.org/pub/scm/devel/sparse/sparse.git) and make sure it's in your
PATHvariable. Then:make C=1 CF='-fdiagnostic-prefix'.See attached a full log: sparse.log. Note, there're many warnings for different parts of the source tree, but for us the most interesting might be those in
arch/arc.