From 6d9943f2aa835bab7e680ded43517dd4c7767689 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Thu, 18 Oct 2018 07:13:43 -0700 Subject: [PATCH] Uninit: fix test Reviewed By: ngorogiannis Differential Revision: D10446521 fbshipit-source-id: 50811eab3 --- infer/tests/codetoanalyze/c/uninit/arrays.c | 2 +- infer/tests/codetoanalyze/c/uninit/issues.exp | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/infer/tests/codetoanalyze/c/uninit/arrays.c b/infer/tests/codetoanalyze/c/uninit/arrays.c index d4f7f70cb..a276e2c59 100644 --- a/infer/tests/codetoanalyze/c/uninit/arrays.c +++ b/infer/tests/codetoanalyze/c/uninit/arrays.c @@ -50,7 +50,7 @@ int array_good3_FP(int m) { void mayinit_vpp(const void**); void use_vp(void*); -void* call_to_mayinit_and_return_good_FP() { +void* call_to_mayinit_and_return_good() { void* obj[10]; mayinit_vpp((const void**)obj); return obj[0]; diff --git a/infer/tests/codetoanalyze/c/uninit/issues.exp b/infer/tests/codetoanalyze/c/uninit/issues.exp index b8be233ad..e804c82a3 100644 --- a/infer/tests/codetoanalyze/c/uninit/issues.exp +++ b/infer/tests/codetoanalyze/c/uninit/issues.exp @@ -2,6 +2,5 @@ codetoanalyze/c/uninit/arrays.c, array_bad, 5, UNINITIALIZED_VALUE, no_bucket, E codetoanalyze/c/uninit/arrays.c, array_good1_FP, 5, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/arrays.c, array_good2_FP, 9, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/arrays.c, array_good3_FP, 9, UNINITIALIZED_VALUE, no_bucket, ERROR, [] -codetoanalyze/c/uninit/arrays.c, call_to_mayinit_and_return_good_FP, 3, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/uninit.c, dereference_bad, 2, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/uninit.c, self_assign_bad, 2, UNINITIALIZED_VALUE, no_bucket, ERROR, []