From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7853) id 5DD893858C2C; Mon, 23 Aug 2021 11:50:16 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5DD893858C2C MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Ankur saini To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-3076] analyzer: Fix PR analyzer/102020 X-Act-Checkin: gcc X-Git-Author: Ankur Saini X-Git-Refname: refs/heads/master X-Git-Oldrev: e7721590e08e6d87adc879f8d549557cbe2bb7bb X-Git-Newrev: 537878152ded8b7d271333b803b36c27a9aea8d2 Message-Id: <20210823115016.5DD893858C2C@sourceware.org> Date: Mon, 23 Aug 2021 11:50:16 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 23 Aug 2021 11:50:16 -0000 https://gcc.gnu.org/g:537878152ded8b7d271333b803b36c27a9aea8d2 commit r12-3076-g537878152ded8b7d271333b803b36c27a9aea8d2 Author: Ankur Saini Date: Mon Aug 23 17:03:29 2021 +0530 analyzer: Fix PR analyzer/102020 2021-08-23 Ankur Saini gcc/analyzer/ChangeLog: PR analyzer/102020 * diagnostic-manager.cc (diagnostic_manager::prune_for_sm_diagnostic): Fix typo. gcc/testsuite/ChangeLog: PR analyzer/102020 * gcc.dg/analyzer/malloc-callbacks.c : Fix faulty test. Diff: --- gcc/analyzer/diagnostic-manager.cc | 2 +- gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/analyzer/diagnostic-manager.cc b/gcc/analyzer/diagnostic-manager.cc index 89b5d1e3c3c..77dda4d2768 100644 --- a/gcc/analyzer/diagnostic-manager.cc +++ b/gcc/analyzer/diagnostic-manager.cc @@ -2110,7 +2110,7 @@ diagnostic_manager::prune_for_sm_diagnostic (checker_path *path, = cg_superedge.map_expr_from_callee_to_caller (callee_var, &expr); else - callee_var = callee_model->get_representative_tree (sval); + caller_var = caller_model->get_representative_tree (sval); } else caller_var = caller_model->get_representative_tree (sval); diff --git a/gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c b/gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c index 53c75fddf84..8820dddf923 100644 --- a/gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c +++ b/gcc/testsuite/gcc.dg/analyzer/malloc-callbacks.c @@ -69,7 +69,7 @@ int *test_5 (void) static void __attribute__((noinline)) called_by_test_6a (void *ptr) { - free (ptr); /* { dg-warning "double-'free'"} */ + free (ptr); /* { dg-warning "double-'free'" } */ } static deallocator_t __attribute__((noinline))