kvm tools: support build-time checks

Support using build-time check tools when building lkvm. This allows
using tools such as smatch with the same syntax used with kernel
code.

For example, to build with smatch checks, first make sure you have
smatch installed, then run:

	make CHECK="smatch -p=kernel" C=1

Signed-off-by: Sasha Levin <levinsasha928@gmail.com>
Signed-off-by: Pekka Enberg <penberg@kernel.org>

diff --git a/tools/kvm/Makefile b/tools/kvm/Makefile
index d4b5eb39da8a03a55acebb357a78ba8b51945759..e0d07dc6eb828a1b529582d471df1212ebe2ec15 100644 (file)
--- a/tools/kvm/Makefile
+++ b/tools/kvm/Makefile
@@ -322,18 +322,34 @@ $(OBJS):
 # This rule relaxes the -Werror on libfdt, since for now it still has
 # a bunch of warnings. :(
 ../../scripts/dtc/libfdt/%.o: ../../scripts/dtc/libfdt/%.c
+ifeq ($(C),1)
+       $(E) "  CHECK   " $@
+       $(Q) $(CHECK) -c $(CFLAGS_EASYGOING) $< -o $@
+endif
        $(E) "  CC      " $@
        $(Q) $(CC) -c $(CFLAGS_EASYGOING) $< -o $@
 
 util/rbtree.static.o util/rbtree.o: ../../lib/rbtree.c
+ifeq ($(C),1)
+       $(E) "  CHECK   " $@
+       $(Q) $(CHECK) -c $(CFLAGS) $< -o $@
+endif
        $(E) "  CC      " $@
        $(Q) $(CC) -c $(CFLAGS) $< -o $@
 
 %.static.o: %.c
+ifeq ($(C),1)
+       $(E) "  CHECK   " $@
+       $(Q) $(CHECK) -c $(CFLAGS) $(CFLAGS_STATOPT) $< -o $@
+endif
        $(E) "  CC      " $@
        $(Q) $(CC) -c $(CFLAGS) $(CFLAGS_STATOPT)  $< -o $@
 
 %.o: %.c
+ifeq ($(C),1)
+       $(E) "  CHECK   " $@
+       $(Q) $(CHECK) -c $(CFLAGS) $(CFLAGS_DYNOPT) $< -o $@
+endif
        $(E) "  CC      " $@
        $(Q) $(CC) -c $(CFLAGS) $(CFLAGS_DYNOPT) $< -o $@