diff --git a/src/analyses/ai.h b/src/analyses/ai.h
index a4f0bc34e690..df5d5a4caebc 100644
--- a/src/analyses/ai.h
+++ b/src/analyses/ai.h
@@ -589,7 +589,7 @@ class ait : public ai_recursive_interproceduralt
   // Not recommended as it will throw an exception if a location has not
   // been reached in an analysis and there is no (other) way of telling
   // if a location has been reached.
-  DEPRECATED(SINCE(2019, 08, 01, "use abstract_state_{before,after} instead"))
+  // DEPRECATED(SINCE(2019, 08, 01, "use abstract_state_{before,after} instead"))
   const domainT &operator[](locationt l) const
   {
     auto p = storage->abstract_state_before(l, *domain_factory);
@@ -607,7 +607,7 @@ class ait : public ai_recursive_interproceduralt
   // Support the legacy get_state interface which is needed for a few domains
   // This is one of the few users of the legacy get_state(locationt) method
   // in location_sensitive_storaget.
-  DEPRECATED(SINCE(2019, 08, 01, "use get_state(trace_ptrt p) instead"))
+  // DEPRECATED(SINCE(2019, 08, 01, "use get_state(trace_ptrt p) instead"))
   virtual statet &get_state(locationt l)
   {
     auto &s = dynamic_cast<location_sensitive_storaget &>(*storage);
diff --git a/src/analyses/ai_storage.h b/src/analyses/ai_storage.h
index 6811f4ded2f8..f09bb3c8b936 100644
--- a/src/analyses/ai_storage.h
+++ b/src/analyses/ai_storage.h
@@ -200,7 +200,7 @@ class location_sensitive_storaget : public trace_map_storaget
   // Care should be exercised in using this.  It is possible to create domains
   // without any corresponding history object(s).  This can lead to somewhat
   // unexpected behaviour depending on which APIs you use.
-  DEPRECATED(SINCE(2019, 08, 01, "use get_state(trace_ptrt p) instead"))
+  // DEPRECATED(SINCE(2019, 08, 01, "use get_state(trace_ptrt p) instead"))
   statet &get_state(locationt l, const ai_domain_factory_baset &fac)
   {
     typename state_mapt::const_iterator it = state_map.find(l);
diff --git a/src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h b/src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h
index 986cf2b6abd3..c0e77b648180 100644
--- a/src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h
+++ b/src/goto-instrument/contracts/dynamic-frames/dfcc_is_freeable.h
@@ -51,7 +51,6 @@ class dfcc_is_freeablet
 protected:
   dfcc_libraryt &library;
   message_handlert &message_handler;
-  messaget log;
 };
 
 #endif
diff --git a/src/goto-programs/safety_checker.cpp b/src/goto-programs/safety_checker.cpp
index b1236c08dc79..a22a3a740f87 100644
--- a/src/goto-programs/safety_checker.cpp
+++ b/src/goto-programs/safety_checker.cpp
@@ -11,11 +11,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include "safety_checker.h"
 
-safety_checkert::safety_checkert(const namespacet &_ns):
-  ns(_ns)
-{
-}
-
 safety_checkert::safety_checkert(
   const namespacet &_ns,
   message_handlert &_message_handler):
diff --git a/src/goto-programs/safety_checker.h b/src/goto-programs/safety_checker.h
index 3b3540bb3b0f..a93eb48b912b 100644
--- a/src/goto-programs/safety_checker.h
+++ b/src/goto-programs/safety_checker.h
@@ -24,9 +24,6 @@ class goto_functionst;
 class safety_checkert:public messaget
 {
 public:
-  explicit safety_checkert(
-    const namespacet &_ns);
-
   explicit safety_checkert(
     const namespacet &_ns,
     message_handlert &_message_handler);
diff --git a/src/jsil/jsil_entry_point.cpp b/src/jsil/jsil_entry_point.cpp
index 4292abf2abcf..8e5364d31a47 100644
--- a/src/jsil/jsil_entry_point.cpp
+++ b/src/jsil/jsil_entry_point.cpp
@@ -154,8 +154,7 @@ bool jsil_entry_point(
 
   if(!symbol_table.insert(std::move(new_symbol)).second)
   {
-    messaget message;
-    message.set_message_handler(message_handler);
+    messaget message{message_handler};
     message.error() << "failed to move main symbol" << messaget::eom;
     return true;
   }