UE-3019: limex_compile: correctly access the dominator map

diff --git a/src/nfa/limex_compile.cpp b/src/nfa/limex_compile.cpp
index 07e1ed5f1ac06ccc503224924849ec15888398e8..78b9729f3a63ac13718234d93532916b9be50a9c 100644 (file)
--- a/src/nfa/limex_compile.cpp
+++ b/src/nfa/limex_compile.cpp
@@ -762,8 +762,9 @@ u32 getEffectiveAccelStates(const build_info &args,
      * prevent .* 'truly' dominating */
     for (u32 local_accel_mask = active_accel_mask; local_accel_mask; ) {
         u32 accel_id = findAndClearLSB_32(&local_accel_mask);
+        assert(accel_id < accelStates.size());
         NFAVertex v = accelStates[accel_id].v;
-        while (contains(dom_map, v)) {
+        while (dom_map[v]) {
             v = dom_map[v];
             if (contains(accel_id_map, v)) {
                 dominated_by[accel_id] |= 1U << accel_id_map[v];