diff --git a/infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp b/infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp index 8175ec7e5..948331f8f 100644 --- a/infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp +++ b/infer/tests/codetoanalyze/cpp/pulse/use_after_destructor.cpp @@ -247,7 +247,8 @@ std::unique_ptr* allocate_in_branch_ok(bool b) { a3 = &a2; } - return a3; + // read a3 + const B* read = (*a3)->f; } } // namespace use_after_destructor