github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

UE-3019: limex_compile: correctly access the dominator map

Browse Source
This commit is contained in:
Alex Coyte 2016-08-31 10:50:46 +10:00 committed by Matthew Barr
parent f4fa6cd4dd
commit 97483eee5b
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/nfa/limex_compile.cpp
View File

@ -762,8 +762,9 @@ u32 getEffectiveAccelStates(const build_info &args,
* prevent .* 'truly' dominating */ * prevent .* 'truly' dominating */
for (u32 local_accel_mask = active_accel_mask; local_accel_mask; ) { for (u32 local_accel_mask = active_accel_mask; local_accel_mask; ) {
u32 accel_id = findAndClearLSB_32(&local_accel_mask); u32 accel_id = findAndClearLSB_32(&local_accel_mask);
assert(accel_id < accelStates.size());
NFAVertex v = accelStates[accel_id].v; NFAVertex v = accelStates[accel_id].v;
while (contains(dom_map, v)) { while (dom_map[v]) {
v = dom_map[v]; v = dom_map[v];
if (contains(accel_id_map, v)) { if (contains(accel_id_map, v)) {
dominated_by[accel_id] |= 1U << accel_id_map[v]; dominated_by[accel_id] |= 1U << accel_id_map[v];