[coreboot] [PATCH]Add scan-build support to coreboot-v4

Patrick Georgi patrick at georgi-clan.de
Sun Mar 14 21:47:26 CET 2010


attached patch adds scan-build support to coreboot-v4.
It's configurable using Kconfig and defaults to off.

If set, it expects scan-build to be around and runs it.
The target directory for the scan-build report is configurable. If not
set, the default (/tmp/scan-build-$date-$number) is used.

Also, abuild is adapted to make use of the feature when running with the
-sb flag.

While adding it, I discovered an issue in the build system that I worked
around in this patch, and will fix in a future patch:
$(obj)/$path/$file.c -> $(obj)/$path/$file.o rules rely on implicit
default rules in make. For some reasons, these are missing when make is
invoked by make.

There should also be some path normalization for object file paths
(using $(abspath)), so the option_table.c rule hack can go.

Maybe it's a good idea to avoid reading in all Makefile.incs in the
outer make in a scan-build based build, but it's probably not worth the
trouble (it's harder to keep make clean and the likes working with such
an optimization)

Signed-off-by: Patrick Georgi <patrick.georgi at coresystems.de>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: 20100314-1-scanbuild-for-v4
URL: <http://www.coreboot.org/pipermail/coreboot/attachments/20100314/31fabbb8/attachment.ksh>

More information about the coreboot mailing list