config/static-checking-config.mk

   1 # The entire tree should be subject to static analysis using the XPCOM
   2 # script. Additional scripts may be added by specific subdirectories.
   3
   4 DEHYDRA_SCRIPT = $(topsrcdir)/config/static-checking.js
   5
   6 DEHYDRA_MODULES = \
   7   $(topsrcdir)/xpcom/analysis/final.js \
   8   $(topsrcdir)/xpcom/analysis/override.js \
   9   $(topsrcdir)/xpcom/analysis/must-override.js \
  10   $(NULL)
  11
  12 TREEHYDRA_MODULES = \
  13   $(topsrcdir)/xpcom/analysis/outparams.js \
  14   $(topsrcdir)/xpcom/analysis/stack.js \
  15   $(topsrcdir)/xpcom/analysis/flow.js \
  16   $(topsrcdir)/xpcom/analysis/static-init.js \
  17   $(topsrcdir)/js/src/jsstack.js \
  18   $(topsrcdir)/layout/generic/frame-verify.js \
  19   $(NULL)
  20
  21 DEHYDRA_ARG_PREFIX=-fplugin-arg-gcc_treehydra-
  22
  23 DEHYDRA_ARGS = \
  24   $(DEHYDRA_ARG_PREFIX)script=$(DEHYDRA_SCRIPT) \
  25   $(DEHYDRA_ARG_PREFIX)topsrcdir=$(topsrcdir) \
  26   $(DEHYDRA_ARG_PREFIX)objdir=$(DEPTH) \
  27   $(DEHYDRA_ARG_PREFIX)dehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(DEHYDRA_MODULES))) \
  28   $(DEHYDRA_ARG_PREFIX)treehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(TREEHYDRA_MODULES))) \
  29   $(NULL)
  30
  31 DEHYDRA_FLAGS = -fplugin=$(DEHYDRA_PATH) $(DEHYDRA_ARGS)
  32
  33 ifdef DEHYDRA_PATH
  34 OS_CXXFLAGS += $(DEHYDRA_FLAGS)
  35 endif