From: Ankur Saini Date: Mon, 23 Aug 2021 11:33:29 +0000 (+0530) Subject: analyzer: Fix PR analyzer/102020 X-Git-Tag: basepoints/gcc-13~5237 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=537878152ded8b7d271333b803b36c27a9aea8d2;p=thirdparty%2Fgcc.git 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 --git a/gcc/analyzer/diagnostic-manager.cc b/gcc/analyzer/diagnostic-manager.cc index 89b5d1e3c3c7..77dda4d2768c 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 53c75fddf849..8820dddf9239 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))