From dd6f6fa03a63b56eec199773510e061d907a7fdf Mon Sep 17 00:00:00 2001
From: Andrea Fioraldi <andreafioraldi@gmail.com>
Date: Fri, 21 May 2021 15:42:28 +0200
Subject: [PATCH] libafl: asserts in MapFeedback::is_interesting to hint the
 compiler

---
 libafl/src/feedbacks/map.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libafl/src/feedbacks/map.rs b/libafl/src/feedbacks/map.rs
index 99b9f52acd..8e9c94127d 100644
--- a/libafl/src/feedbacks/map.rs
+++ b/libafl/src/feedbacks/map.rs
@@ -237,6 +237,9 @@ where
             .match_name_mut::<MapFeedbackState<T>>(&self.name)
             .unwrap();
 
+        assert!(size <= map_state.history_map.len());
+        assert!(size <= observer.map().len());
+
         if self.indexes.is_none() && self.novelties.is_none() {
             for i in 0..size {
                 let history = map_state.history_map[i];