diff --git a/src/rose/catchup.c b/src/rose/catchup.c index d6e7860c..dba9629e 100644 --- a/src/rose/catchup.c +++ b/src/rose/catchup.c @@ -50,9 +50,6 @@ static really_inline int roseNfaRunProgram(const struct RoseEngine *rose, struct hs_scratch *scratch, u64a som, u64a offset, ReportID id, const char from_mpv) { const u32 program = id; - assert(program > 0); - assert(program % ROSE_INSTR_MIN_ALIGN == 0); - const size_t match_len = 0; // Unused in this path. const char in_anchored = 0; const char in_catchup = 1; diff --git a/src/rose/program_runtime.h b/src/rose/program_runtime.h index be56bec7..78397070 100644 --- a/src/rose/program_runtime.h +++ b/src/rose/program_runtime.h @@ -830,7 +830,7 @@ hwlmcb_rv_t roseRunProgram(const struct RoseEngine *t, char skip_mpv_catchup) { DEBUG_PRINTF("program=%u, offsets [%llu,%llu]\n", programOffset, som, end); - assert(programOffset); + assert(programOffset >= sizeof(struct RoseEngine)); assert(programOffset < t->size); const char *pc_base = getByOffset(t, programOffset);