fix bitvec fuzzing

felixguendling · Jan 17, 2023 · c3b95e7 · c3b95e7
1 parent 4ff6f5a
commit c3b95e7
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/fuzz/bitvec_verification.cc b/fuzz/bitvec_verification.cc
@@ -90,11 +90,14 @@ struct test_set {
         break;
 
       case SET: {
-        auto const index = std::min({ref1.size() - 1U, ref2.size() - 1U, num});
-        ref1[index] = value;
-        ref2[index] = value;
-        uut1.set(index, value);
-        uut2.set(index, value);
+        if (!ref1.empty()) {
+          auto const index =
+              std::min({ref1.size() - 1U, ref2.size() - 1U, num});
+          ref1[index] = value;
+          ref2[index] = value;
+          uut1.set(index, value);
+          uut2.set(index, value);
+        }
         break;
       }