f

Author: dim8art

lib/Core/Executor.cpp

@@ -4861,7 +4861,9 @@ bool Executor::reachedMaxSeedInstructions(ExecutionState *state) {
   if (siit->maxInstructions &&
       siit->maxInstructions >= state->steppedInstructions) {
     state->coveredNew = siit->coveredNew;
-    state->coveredNewError = siit->coveredNewError;
+    if (siit->coveredNewError) {
+      state->coveredNewError = siit->coveredNewError;
+    }
     seedMap->erase(state);
     objectManager->unseed(state);
     if (seedMap->size() == 0) {

lib/Core/SeedInfo.h

@@ -34,7 +34,7 @@ class ExecutingSeed {
   std::set<struct KTestObject *> used;
   std::string path = "";
   mutable std::deque<ref<box<bool>>> coveredNew;
-  mutable ref<box<bool>> coveredNewError;
+  mutable ref<box<bool>> coveredNewError = nullptr;
   unsigned inputPosition = 0;
 
 public: