From 79a54e55bcb13f92a4b671595bc2f7515b20c1dd Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 10 Nov 2018 12:20:49 +0000 Subject: [PATCH] Remove unused parameters from reaching definitions transformers There is no need to have the very same interface in all internal functions. --- src/analyses/reaching_definitions.cpp | 6 ++---- src/analyses/reaching_definitions.h | 2 -- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/src/analyses/reaching_definitions.cpp b/src/analyses/reaching_definitions.cpp index ac99e41bdd6..f052dab03ec 100644 --- a/src/analyses/reaching_definitions.cpp +++ b/src/analyses/reaching_definitions.cpp @@ -80,10 +80,10 @@ void rd_range_domaint::transform( transform_start_thread(ns, *rd); // do argument-to-parameter assignments else if(from->is_function_call()) - transform_function_call(ns, function_from, from, function_to, to, *rd); + transform_function_call(ns, function_from, from, function_to, *rd); // cleanup parameters else if(from->is_end_function()) - transform_end_function(ns, function_from, from, function_to, to, *rd); + transform_end_function(ns, function_from, from, to, *rd); // lhs assignments else if(from->is_assign()) transform_assign(ns, from, from, *rd); @@ -171,7 +171,6 @@ void rd_range_domaint::transform_function_call( const irep_idt &function_from, locationt from, const irep_idt &function_to, - locationt to, reaching_definitions_analysist &rd) { const code_function_callt &code=to_code_function_call(from->code); @@ -234,7 +233,6 @@ void rd_range_domaint::transform_end_function( const namespacet &ns, const irep_idt &function_from, locationt from, - const irep_idt &function_to, locationt to, reaching_definitions_analysist &rd) { diff --git a/src/analyses/reaching_definitions.h b/src/analyses/reaching_definitions.h index c00745d70ab..1c3867de05a 100644 --- a/src/analyses/reaching_definitions.h +++ b/src/analyses/reaching_definitions.h @@ -219,13 +219,11 @@ class rd_range_domaint:public ai_domain_baset const irep_idt &function_from, locationt from, const irep_idt &function_to, - locationt to, reaching_definitions_analysist &rd); void transform_end_function( const namespacet &ns, const irep_idt &function_from, locationt from, - const irep_idt &function_to, locationt to, reaching_definitions_analysist &rd); void transform_assign(