From f9e03681f804c60e390f554b03aeb24928242f6f Mon Sep 17 00:00:00 2001 From: Jia Chen Date: Wed, 28 Jun 2017 16:17:02 -0700 Subject: [PATCH] Fix test Reviewed By: jeremydubreil Differential Revision: D5324685 fbshipit-source-id: 60882bc --- Makefile | 2 +- infer/tests/codetoanalyze/c/biabduction/issues.exp | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5be462749..9295c9ab4 100644 --- a/Makefile +++ b/Makefile @@ -31,7 +31,7 @@ BUILD_SYSTEMS_TESTS += \ waf \ DIRECT_TESTS += \ - c_bufferoverrun c_errors c_frontend \ + c_biabduction c_bufferoverrun c_errors c_frontend \ cpp_bufferoverrun cpp_errors cpp_frontend cpp_quandary cpp_siof cpp_threadsafety \ ifneq ($(BUCK),no) diff --git a/infer/tests/codetoanalyze/c/biabduction/issues.exp b/infer/tests/codetoanalyze/c/biabduction/issues.exp index d7c0e65aa..923495a13 100644 --- a/infer/tests/codetoanalyze/c/biabduction/issues.exp +++ b/infer/tests/codetoanalyze/c/biabduction/issues.exp @@ -1,2 +1,3 @@ codetoanalyze/c/biabduction/example.c, foo, 2, NULL_DEREFERENCE, [start of procedure foo()] +codetoanalyze/c/biabduction/example.c, global_addr_alias_bad, 3, NULL_DEREFERENCE, [start of procedure global_addr_alias_bad(),Condition is true] codetoanalyze/c/biabduction/example.c, local_addr_noalias_bad, 4, NULL_DEREFERENCE, [start of procedure local_addr_noalias_bad(),Condition is true]