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, []