From 639de41b2e4f4988bffb6af6b2cfd4a800721250 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sun, 10 Apr 2022 10:33:10 +0000 Subject: [PATCH] Remove unused contracts-related functions from ansi_c_declarationt The parser communicates contracts by embedding them in the type, and ans_c_convert_typet takes care of this. --- src/ansi-c/ansi_c_declaration.h | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/src/ansi-c/ansi_c_declaration.h b/src/ansi-c/ansi_c_declaration.h index bdd99ef37df..d3d1f87bc29 100644 --- a/src/ansi-c/ansi_c_declaration.h +++ b/src/ansi-c/ansi_c_declaration.h @@ -243,21 +243,6 @@ class ansi_c_declarationt:public exprt assert(!declarators().empty()); declarators().back().value().swap(value); } - - const exprt &spec_assigns() const - { - return static_cast(find(ID_C_spec_assigns)); - } - - const exprt &spec_requires() const - { - return static_cast(find(ID_C_spec_requires)); - } - - const exprt &spec_ensures() const - { - return static_cast(find(ID_C_spec_ensures)); - } }; inline ansi_c_declarationt &to_ansi_c_declaration(exprt &expr)