[ConfigImpact] Enable clang analysis and add tests

Reviewed By: skcho

Differential Revision: D26633124

fbshipit-source-id: 3e62854e5

Makefile

@@ -122,6 +122,7 @@ DIRECT_TESTS += \
 
 ifeq ($(IS_FACEBOOK_TREE),yes)
 DIRECT_TESTS += \
+  objc_fb-config-impact \
   objc_fb-gk-interaction
 endif
 

infer/src/backend/registerCheckers.ml

@@ -203,7 +203,7 @@ let all_checkers =
         (let checker =
            interprocedural Payloads.Fields.config_impact_analysis ConfigImpactAnalysis.checker
          in
-         [(checker, Java)] ) } ]
+         [(checker, Clang); (checker, Java)] ) } ]
 
 
 let get_active_checkers () =

infer/tests/codetoanalyze/objc/fb-config-impact/Makefile

@@ -0,0 +1,18 @@
+# Copyright (c) Facebook, Inc. and its affiliates.
+#
+# This source code is licensed under the MIT license found in the
+# LICENSE file in the root directory of this source tree.
+
+TESTS_DIR = ../../..
+
+CLANG_OPTIONS = -c $(OBJC_CLANG_OPTIONS)
+INFER_OPTIONS = --config-impact-analysis-only -g --debug-exceptions \
+  --report-force-relative-path --project-root $(TESTS_DIR)
+INFERPRINT_OPTIONS = --issues-tests
+
+SOURCES = $(wildcard *.m)
+
+include $(TESTS_DIR)/clang.make
+include $(TESTS_DIR)/objc.make
+
+infer-out/report.json: $(MAKEFILE_LIST)

infer/tests/codetoanalyze/objc/fb-config-impact/issues.exp

@@ -0,0 +1 @@
+../../facebook/skel/infer/tests/codetoanalyze/objc/fb-config-impact/Basic.m, qe_unchecked_bad, 4, CONFIG_IMPACT, no_bucket, ADVICE, [callee2 is called]