From 2d68a2c52a7fbee4ce68f0be4bcb419c50a08f5b Mon Sep 17 00:00:00 2001 From: martin Date: Sat, 23 Jul 2022 00:33:21 +0100 Subject: [PATCH] Deprecate and remove from the build an unused 2-line utility function --- src/pointer-analysis/Makefile | 1 - src/pointer-analysis/rewrite_index.h | 4 +++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/pointer-analysis/Makefile b/src/pointer-analysis/Makefile index 61e59313ea3..657dabe719e 100644 --- a/src/pointer-analysis/Makefile +++ b/src/pointer-analysis/Makefile @@ -1,6 +1,5 @@ SRC = add_failed_symbols.cpp \ goto_program_dereference.cpp \ - rewrite_index.cpp \ show_value_sets.cpp \ value_set.cpp \ value_set_analysis.cpp \ diff --git a/src/pointer-analysis/rewrite_index.h b/src/pointer-analysis/rewrite_index.h index 26cf5b19513..2897fd388a6 100644 --- a/src/pointer-analysis/rewrite_index.h +++ b/src/pointer-analysis/rewrite_index.h @@ -12,11 +12,13 @@ Author: Daniel Kroening, kroening@kroening.com #ifndef CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H #define CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H +#include + class dereference_exprt; class index_exprt; // rewrite a[i] to *(a+i) - +DEPRECATED(SINCE(2022, 07, 23, "implement the transform directly")) dereference_exprt rewrite_index(const index_exprt &index_expr); #endif // CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H