pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '41d615c351'
${ noResults }
infer_clone/infer/tests/build_systems/delete_results_dir/Makefile

32 lines
1.2 KiB
Raw Normal View History Unescape

[tests] port delete infer-out test to a Makefile Reviewed By: jberdine Differential Revision: D4329624 fbshipit-source-id: 16d86b1
8 years ago
# 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.
# Test that two consecutive analyses do not pollute each other: the expected results of running
# infer on hello.c then on hello2.c is that only the bug in hello2.c is reported.
TESTS_DIR = ../..
ANALYZER = infer
CODETOANALYZE_DIR = ../codetoanalyze
CLANG_OPTIONS = -c
INFER_OPTIONS = --project-root $(CODETOANALYZE_DIR)
INFERPRINT_OPTIONS = --issues-tests
SOURCES = $(CODETOANALYZE_DIR)/hello.c $(CODETOANALYZE_DIR)/hello2.c
include $(TESTS_DIR)/clang.make
infer-out/report.json: $(CLANG_DEPS) $(SOURCES)
$(call silent_on_success,\
[Makefile] Print duplicate symbols to separate file, not stderr Summary: All tests were redirecting `stderr` into duplicates.txt which made it much harder to see other error messages in stderr (such as uncaught exceptions). To mitigate it, write duplicates to separate file and don't redirect `stderr` to another file. Reviewed By: jvillard Differential Revision: D4728938 fbshipit-source-id: 8ad2fc8
8 years ago
$(INFER_BIN) --dump-duplicate-symbols $(INFER_OPTIONS) -a $(ANALYZER) -- clang $(CLANG_OPTIONS) $(CODETOANALYZE_DIR)/hello.c)
grep "DUPLICATE_SYMBOLS" infer-out/duplicates.txt; test $$? -ne 0
[tests] port delete infer-out test to a Makefile Reviewed By: jberdine Differential Revision: D4329624 fbshipit-source-id: 16d86b1
8 years ago
$(call silent_on_success,\
[Makefile] Print duplicate symbols to separate file, not stderr Summary: All tests were redirecting `stderr` into duplicates.txt which made it much harder to see other error messages in stderr (such as uncaught exceptions). To mitigate it, write duplicates to separate file and don't redirect `stderr` to another file. Reviewed By: jvillard Differential Revision: D4728938 fbshipit-source-id: 8ad2fc8
8 years ago
$(INFER_BIN) --dump-duplicate-symbols $(INFER_OPTIONS) -a $(ANALYZER) -- clang $(CLANG_OPTIONS) $(CODETOANALYZE_DIR)/hello2.c)
grep "DUPLICATE_SYMBOLS" infer-out/duplicates.txt; test $$? -ne 0