config/static-checking-config.mk

   1 # This Source Code Form is subject to the terms of the Mozilla Public
   2 # License, v. 2.0. If a copy of the MPL was not distributed with this
   3 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
   4
   5 # The entire tree should be subject to static analysis using the XPCOM
   6 # script. Additional scripts may be added by specific subdirectories.
   7
   8 DEHYDRA_SCRIPT = $(topsrcdir)/config/static-checking.js
   9
  10 DEHYDRA_MODULES = \
  11   $(topsrcdir)/xpcom/analysis/final.js \
  12   $(topsrcdir)/xpcom/analysis/override.js \
  13   $(topsrcdir)/xpcom/analysis/must-override.js \
  14   $(NULL)
  15
  16 TREEHYDRA_MODULES = \
  17   $(topsrcdir)/xpcom/analysis/outparams.js \
  18   $(topsrcdir)/xpcom/analysis/stack.js \
  19   $(topsrcdir)/xpcom/analysis/flow.js \
  20   $(topsrcdir)/xpcom/analysis/static-init.js \
  21   $(topsrcdir)/js/src/jsstack.js \
  22   $(topsrcdir)/layout/generic/frame-verify.js \
  23   $(NULL)
  24
  25 DEHYDRA_ARG_PREFIX=-fplugin-arg-gcc_treehydra-
  26
  27 DEHYDRA_ARGS = \
  28   $(DEHYDRA_ARG_PREFIX)script=$(DEHYDRA_SCRIPT) \
  29   $(DEHYDRA_ARG_PREFIX)topsrcdir=$(topsrcdir) \
  30   $(DEHYDRA_ARG_PREFIX)objdir=$(DEPTH) \
  31   $(DEHYDRA_ARG_PREFIX)dehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(DEHYDRA_MODULES))) \
  32   $(DEHYDRA_ARG_PREFIX)treehydra-modules=$(subst $(NULL) ,$(COMMA),$(strip $(TREEHYDRA_MODULES))) \
  33   $(NULL)
  34
  35 DEHYDRA_FLAGS = -fplugin=$(DEHYDRA_PATH) $(DEHYDRA_ARGS)
  36
  37 ifdef DEHYDRA_PATH
  38 OS_CXXFLAGS += $(DEHYDRA_FLAGS)
  39 endif