Makefile: Add support for sparse check

Build with make C=1 to check with sparse. by overriding the SPARSE
variable with other static analysers, Further additional checks may be
performed.

Signed-off-by: Nishanth Menon <nm@ti.com>

2 files changed, 21 insertions, 0 deletions

diff --git a/make.rules b/make.rules
index 10b6de1f9cbc..99883a5e63f5 100644
--- a/make.rules
+++ b/make.rules
@@ -61,6 +61,9 @@ build_dir:
         fi
 
 $(OBJDIR)/%.o: %.c
+ifneq ($(CHECK),0)
+        $(Q_SPARSE) $(CFLAGS) $(CPPFLAGS) $(SPARSE_FLAGS) $(TARGET_ARCH) -c -o $@ $<
+endif
         $(Q_CC) $(CFLAGS) $(CPPFLAGS) $(TARGET_ARCH) -c -o $@ $<
 
 $(OBJDIR)/%.o: %.S
diff --git a/makedefs b/makedefs
index ae82fb3e644e..4c0fecbe1c5e 100644
--- a/makedefs
+++ b/makedefs
@@ -39,11 +39,16 @@ BIN=$(CROSS_COMPILE)objcopy
 OBJCOPY=$(CROSS_COMPILE)objcopy
 CSCOPE ?= cscope
 TAGS ?= ctags
+SPARSE ?= sparse
 
 ifeq ("$(origin V)", "command line")
         export VERBOSE=$(V)
 endif
 
+ifeq ("$(origin C)", "command line")
+        export CHECK=$(C)
+endif
+
 ifndef VERBOSE
 export VERBOSE=0
 endif
@@ -54,10 +59,16 @@ else
         Q=@
 .SILENT:
 endif
+
+ifndef CHECK
+export CHECK=0
+endif
+
 Q_CC=$(Q:@=@echo        '     CC        '$@;)$(CC)
 Q_LD=$(Q:@=@echo        '     LINK      '$@;)$(LD)
 Q_BIN=$(Q:@=@echo       '     BIN       '$@;)$(BIN)
 Q_OBJCOPY=$(Q:@=@echo   '     OBJCOPY   '$@;)$(OBJCOPY)
+Q_SPARSE=$(Q:@=@echo    '     CHECK     '$@;)$(SPARSE)
 
 #RBL monitor stack size per core
 RBL_MON_STACK_SIZE=0x800
@@ -84,3 +95,10 @@ GCCOPT = -marm -mcpu=cortex-a15 -Wa,-march=armv7-a+sec -g $(IPATH)
 CFLAGS = $(GCCOPT)  -I$(ROOT)/soc/$(SOC)/ -c
 ASFLAGS=$(GCCOPT) -I$(ROOT)/soc/$(SOC)/ -c
 LDFLAGS=$(GCCOPT) --static -Wl,-T,$(ROOT)/soc/$(SOC)/$(EXE).lds -Wl,-Map,$(ROOT)/soc/$(SOC)/$(EXE).map -nostdlib $(LPATH)
+
+ifneq ($(CHECK),0)
+        INCPATH=$(shell $(CC) --print-file-name=include| sed -e 's/^/@/g'|\
+                        sed -e 's/\s\s*/@/g')
+        SPARSE_FLAGS += $(subst @,-I,$(INCPATH))
+        SPARSE_FLAGS +=  -isystem
+endif