diff options
| author | Ankur Saini <arsenic@sourceware.org> | 2021-08-23 17:03:29 +0530 |
|---|---|---|
| committer | Ankur Saini <arsenic@sourceware.org> | 2021-08-23 17:19:18 +0530 |
| commit | 537878152ded8b7d271333b803b36c27a9aea8d2 (patch) | |
| tree | f1d7dc2aa899acff23f23d33d5a2a61ffa2b3079 /gcc | |
| parent | e7721590e08e6d87adc879f8d549557cbe2bb7bb (diff) | |
| download | gcc-537878152ded8b7d271333b803b36c27a9aea8d2.zip gcc-537878152ded8b7d271333b803b36c27a9aea8d2.tar.gz gcc-537878152ded8b7d271333b803b36c27a9aea8d2.tar.bz2 | |
analyzer: Fix PR analyzer/102020
2021-08-23 Ankur Saini <arsenic@sourceware.org>
gcc/analyzer/ChangeLog:
PR analyzer/102020
* diagnostic-manager.cc
(diagnostic_manager::prune_for_sm_diagnostic)<case EK_CALL_EDGE>: Fix typo.
gcc/testsuite/ChangeLog:
PR analyzer/102020
* gcc.dg/analyzer/malloc-callbacks.c : Fix faulty test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/analyzer/diagnostic-manager.cc | 2 | ||||
| -rw-r--r-- | 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 89b5d1e..77dda4d 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 53c75fd..8820ddd 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)) |