From a8640242956327923bddc349256656b3a0802b50 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Wed, 30 Jan 2019 16:14:12 -0500
Subject: [PATCH] Remove stale assertions
---
afl_transforms/tools/zax/zuntracer.cpp | 6 ------
1 file changed, 6 deletions(-)
diff --git a/afl_transforms/tools/zax/zuntracer.cpp b/afl_transforms/tools/zax/zuntracer.cpp
index 3566c6b..57219bb 100644
--- a/afl_transforms/tools/zax/zuntracer.cpp
+++ b/afl_transforms/tools/zax/zuntracer.cpp
@@ -60,7 +60,6 @@ void ZUntracer_t::_afl_instrument_bb(Instruction_t *p_inst, const bool p_redZone
auto tmp = p_inst;
auto tracemap_reg = string();
- Instruction_t *orig = nullptr;
auto found_tracemap_free_register = false;
// 1st instruction in block record is the new entry point of the block (p_inst)
@@ -150,11 +149,6 @@ void ZUntracer_t::_afl_instrument_bb(Instruction_t *p_inst, const bool p_redZone
do_insert("lea rsp, [rsp+128]");
}
- // record modified blocks, indexed by the block id
- assert(orig);
- assert(tmp->getFallthrough());
- assert(orig == tmp->getFallthrough()); // sanity check invariant of transform
-
m_modifiedBlocks[blockid] = block_record;
}
--
GitLab