Merge pull request #3887 from diffblue/deprecate-type-comparisons

deprecate base_type_eq and type_eq

Author: tautschnig

src/util/base_type.h

@@ -12,15 +12,19 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_UTIL_BASE_TYPE_H
 #define CPROVER_UTIL_BASE_TYPE_H
 
+#include "deprecate.h"
+
 class exprt;
 class typet;
 class namespacet;
 
+DEPRECATED("Use == instead")
 bool base_type_eq(
   const typet &type1,
   const typet &type2,
   const namespacet &ns);
 
+DEPRECATED("Use == instead")
 bool base_type_eq(
   const exprt &expr1,
   const exprt &expr2,

src/util/type_eq.h

@@ -13,9 +13,12 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_UTIL_TYPE_EQ_H
 #define CPROVER_UTIL_TYPE_EQ_H
 
+#include "deprecate.h"
+
 class namespacet;
 class typet;
 
+DEPRECATED("Use == instead")
 bool type_eq(const typet &type1, const typet &type2, const namespacet &ns);
 
 #endif // CPROVER_UTIL_TYPE_EQ_H