From 22c6a42d5c849cfb8ebf96747a6912a18534b9d8 Mon Sep 17 00:00:00 2001 From: Daiva Naudziuniene Date: Tue, 30 Mar 2021 04:50:26 -0700 Subject: [PATCH] [deadstore][minor] Add missing FP_ Reviewed By: jvillard Differential Revision: D27427983 fbshipit-source-id: 5ac61bb36 --- infer/tests/codetoanalyze/cpp/liveness/dead_stores.cpp | 2 +- infer/tests/codetoanalyze/cpp/liveness/issues.exp | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/infer/tests/codetoanalyze/cpp/liveness/dead_stores.cpp b/infer/tests/codetoanalyze/cpp/liveness/dead_stores.cpp index 9b522b0cd..d939238c0 100644 --- a/infer/tests/codetoanalyze/cpp/liveness/dead_stores.cpp +++ b/infer/tests/codetoanalyze/cpp/liveness/dead_stores.cpp @@ -539,7 +539,7 @@ class Exceptions { return 3; } - int return_in_try_in_for_ok() { + int FP_return_in_try_in_for_ok() { constexpr int i1 = 3; for (int i = 1;; ++i) { try { diff --git a/infer/tests/codetoanalyze/cpp/liveness/issues.exp b/infer/tests/codetoanalyze/cpp/liveness/issues.exp index 54d9f0b65..323a5ef39 100644 --- a/infer/tests/codetoanalyze/cpp/liveness/issues.exp +++ b/infer/tests/codetoanalyze/cpp/liveness/issues.exp @@ -1,8 +1,8 @@ +codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::Exceptions::FP_return_in_try_in_for_ok, 2, DEAD_STORE, no_bucket, ERROR, [Write of unused value] +codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::Exceptions::FP_return_in_try_in_for_ok, 2, DEAD_STORE, no_bucket, ERROR, [Write of unused value] codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::Exceptions::dead_in_catch_bad, 4, DEAD_STORE, no_bucket, ERROR, [Write of unused value] codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::Exceptions::not_read_in_catch_bad, 3, DEAD_STORE, no_bucket, ERROR, [Write of unused value] codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::Exceptions::read_only_in_catch_bad, 5, DEAD_STORE, no_bucket, ERROR, [Write of unused value] -codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::Exceptions::return_in_try_in_for_ok, 2, DEAD_STORE, no_bucket, ERROR, [Write of unused value] -codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::Exceptions::return_in_try_in_for_ok, 2, DEAD_STORE, no_bucket, ERROR, [Write of unused value] codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::Exceptions::unreachable_catch_bad, 1, DEAD_STORE, no_bucket, ERROR, [Write of unused value] codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::FP_assign_array_tricky2_ok, 3, DEAD_STORE, no_bucket, ERROR, [Write of unused value] codetoanalyze/cpp/liveness/dead_stores.cpp, dead_stores::binaryConditional_bad, 1, DEAD_STORE, no_bucket, ERROR, [Write of unused value]