From 2bf9de7eac62522f2873b3c58e76a8363dc910c9 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 22 Jun 2018 12:36:49 +0100 Subject: [PATCH] Remove empty function make_constant_rec --- src/ansi-c/c_typecheck_base.h | 1 - src/ansi-c/c_typecheck_expr.cpp | 5 ----- 2 files changed, 6 deletions(-) diff --git a/src/ansi-c/c_typecheck_base.h b/src/ansi-c/c_typecheck_base.h index 7c2d3b93473..197251fad21 100644 --- a/src/ansi-c/c_typecheck_base.h +++ b/src/ansi-c/c_typecheck_base.h @@ -199,7 +199,6 @@ class c_typecheck_baset: virtual void make_index_type(exprt &expr); virtual void make_constant(exprt &expr); virtual void make_constant_index(exprt &expr); - virtual void make_constant_rec(exprt &expr); virtual bool gcc_types_compatible_p(const typet &, const typet &); diff --git a/src/ansi-c/c_typecheck_expr.cpp b/src/ansi-c/c_typecheck_expr.cpp index 8860b632e7e..4c8b9e838fb 100644 --- a/src/ansi-c/c_typecheck_expr.cpp +++ b/src/ansi-c/c_typecheck_expr.cpp @@ -3451,7 +3451,6 @@ void c_typecheck_baset::typecheck_side_effect_assignment( void c_typecheck_baset::make_constant(exprt &expr) { - make_constant_rec(expr); simplify(expr, *this); if(!expr.is_constant() && @@ -3478,7 +3477,3 @@ void c_typecheck_baset::make_constant_index(exprt &expr) throw 0; } } - -void c_typecheck_baset::make_constant_rec(exprt &expr) -{ -}