diff --git a/infer/tests/codetoanalyze/c/pulse/interprocedural.c b/infer/tests/codetoanalyze/c/pulse/interprocedural.c index edee7cfbb..d51a3501a 100644 --- a/infer/tests/codetoanalyze/c/pulse/interprocedural.c +++ b/infer/tests/codetoanalyze/c/pulse/interprocedural.c @@ -15,8 +15,8 @@ void if_freed_invalid_latent(int x, int* y) { void FN_call_if_freed_invalid_latent(int x) { if (x > 0) { - if_freed_invalid(x, NULL); + if_freed_invalid_latent(x, NULL); } } -void FN_call_if_freed_invalid2_bad() { call_if_freed_invalid(7); } +void FN_call_if_freed_invalid2_bad() { FN_call_if_freed_invalid_latent(7); }