From 2bb9e5ad85a43f85888f23228fc4589253ce5f92 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 18 Dec 2018 03:25:22 -0800 Subject: [PATCH] [pulse] rename function that was never a pulse FP Summary: Naming it `FP_` was a mistake in the original commit that copied the tests over as pulse has never reported on that method. Reviewed By: da319 Differential Revision: D13465324 fbshipit-source-id: f8b24ebda --- infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp b/infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp index 85ecdbd88..8175ec7e5 100644 --- a/infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp +++ b/infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp @@ -231,8 +231,7 @@ struct A2 { const B* f; }; -// need interprocedural analysis to fix this -void FP_destructor_order_empty_destructor_ok() { +void destructor_order_empty_destructor_ok() { A2 a; B b; a.f = &b;