[tests] move utf8 in procname test to a Makefile

Reviewed By: jberdine

Differential Revision: D4329636

fbshipit-source-id: bca82df

Makefile

@@ -15,7 +15,7 @@ endif
 
 BUILD_SYSTEMS_TESTS = \
   assembly ck_analytics ck_imports clang_translation delete_results_dir fail_on_issue gradle \
-  javac linters project_root_rel
+  javac linters project_root_rel utf8_in_procname
 ifneq ($(ANT),no)
 BUILD_SYSTEMS_TESTS += ant
 endif

infer/tests/build_systems/build_integration_tests.py

@@ -61,7 +61,6 @@ CODETOANALYZE_DIR = os.path.join(SCRIPT_DIR, 'codetoanalyze')
 EXPECTED_OUTPUTS_DIR = os.path.join(SCRIPT_DIR, 'expected_outputs')
 
 ALL_TESTS = [
-    'locale',
     'make',
     'multiclang',
     'ndk-build',
@@ -378,15 +377,6 @@ class BuildIntegrationTest(unittest.TestCase):
             shutil.rmtree(gen_lib_dir)
             shutil.rmtree(gen_obj_dir)
 
-    def test_wonky_locale_integration(self):
-        env = os.environ.copy()
-        env['LC_ALL'] = 'C'
-        test('locale', 'wonky locale',
-             os.path.join(CODETOANALYZE_DIR, 'make'),
-             [{'compile': ['clang', '-c', 'utf8_in_function_names.c']},
-              {'compile': ['clang', '-c', 'utf8_in_function_names.c']}],
-             env=env)
-
     def test_waf_integration(self):
         test('waf', 'waf',
              os.path.join(CODETOANALYZE_DIR, 'make'),

infer/tests/build_systems/expected_outputs/locale_report.json

@@ -1,7 +0,0 @@
-[
-  {
-    "bug_type": "NULL_DEREFERENCE",
-    "file": "utf8_in_function_names.c",
-    "procedure": "test_\uc131\uacf5"
-  }
-]

infer/tests/build_systems/utf8_in_procname/Makefile

@@ -0,0 +1,29 @@
+# Copyright (c) 2016 - present Facebook, Inc.
+# All rights reserved.
+#
+# This source code is licensed under the BSD style license found in the
+# LICENSE file in the root directory of this source tree. An additional grant
+# of patent rights can be found in the PATENTS file in the same directory.
+
+TESTS_DIR = ../..
+
+ANALYZER = infer
+
+CLANG_OPTIONS = -c
+INFER_OPTIONS = --project-root ../codetoanalyze
+INFERPRINT_OPTIONS = --issues-tests
+
+SOURCES = ../codetoanalyze/make/utf8_in_function_names.c
+
+include $(TESTS_DIR)/clang.make
+
+infer-out/report.json: $(CLANG_DEPS) $(SOURCES) $(HEADERS)
+#	set non-utf8-supporting locale
+	LC_ALL=C; \
+	$(call silent_on_success,\
+	  $(INFER_BIN) --check-duplicate-symbols $(INFER_OPTIONS) -a $(ANALYZER) -- clang $(CLANG_OPTIONS) $(SOURCES) 2>duplicates.txt)
+#	run again to check that infer manages to delete the results directory
+	LC_ALL=C; \
+	$(call silent_on_success,\
+	  $(INFER_BIN) --check-duplicate-symbols $(INFER_OPTIONS) -a $(ANALYZER) -- clang $(CLANG_OPTIONS) $(SOURCES) 2>duplicates.txt)
+	grep "DUPLICATE_SYMBOLS" duplicates.txt; test $$? -ne 0

infer/tests/build_systems/utf8_in_procname/issues.exp

@@ -0,0 +1 @@
+make/utf8_in_function_names.c, test_성공, 2, NULL_DEREFERENCE, [start of procedure test_성공()]