From 12bcf119c8ec3f32c75ff31c7266b3145f66d5b1 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 29 Jan 2021 09:55:35 -0800 Subject: [PATCH] [pulse] fix C test not calling the functions it was supposed to Summary: The test compiled with warnings, not sure how to prevent this in the future as `infer` will suppress all warnings anyway (I wanted to add `-Werror` to the test Makefile but that was defeated by infer itself). Reviewed By: ezgicicek Differential Revision: D26019682 fbshipit-source-id: d7f8fc2d8 --- infer/tests/codetoanalyze/c/pulse/interprocedural.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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); }