Remove an unnecessary assertion from cap_is_in_bounds()

Calling this with zero length is fine and works as intended.
CTSRD-CHERI · Jul 17, 2023 · 7787f82 · 7787f82
1 parent 105ce4f
commit 7787f82
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/target/cheri-common/cheri_utils.h b/target/cheri-common/cheri_utils.h
@@ -196,7 +196,6 @@ static inline bool cap_is_sealed_with_reserved_otype(const cap_register_t *c)
 static inline bool cap_is_in_bounds(const cap_register_t *c, target_ulong addr,
  size_t num_bytes)
 {
- cheri_debug_assert(num_bytes != 0);
 #ifdef TARGET_AARCH64
  // Invalid exponent caps are always considered out of bounds.
  if (!c->cr_bounds_valid)