From 1f9ad6c6d2e131ee6ab16729da0bc1f57f58db51 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 6 Dec 2019 14:18:49 +0100
Subject: [PATCH] [cleanup] don't use memset on objects

---
 ACSLTermOrPredicate.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ACSLTermOrPredicate.cpp b/ACSLTermOrPredicate.cpp
index 0ae02b1..1ebb79e 100644
--- a/ACSLTermOrPredicate.cpp
+++ b/ACSLTermOrPredicate.cpp
@@ -5920,7 +5920,7 @@ public:
           iter = _updates.begin(); iter != endUpdates; ++iter) {
         if (iter->first) free_term_offset(iter->first);
         if (iter->second) free_logic_type(iter->second);
-        memset(&*iter, 0, sizeof(std::pair<term_offset, logic_type>));
+        iter->first = NULL; iter->second = NULL;
       };
       _updates.clear();
     }
-- 
GitLab