mirror of
https://github.com/VectorCamp/vectorscan.git
synced 2025-09-30 03:34:25 +03:00
rose: don't leave stray reports when copying the subgraph leading to a report
This commit is contained in:
@@ -1234,8 +1234,7 @@ bool attemptRoseGraphMerge(RoseBuildImpl &build, bool preds_same, RoseVertex a,
|
|||||||
ReportID new_report = build.getNewNfaReport();
|
ReportID new_report = build.getNewNfaReport();
|
||||||
shared_ptr<NGHolder> new_graph = cloneHolder(*b_h);
|
shared_ptr<NGHolder> new_graph = cloneHolder(*b_h);
|
||||||
duplicateReport(*new_graph, b_left.leftfix_report, new_report);
|
duplicateReport(*new_graph, b_left.leftfix_report, new_report);
|
||||||
pruneReportIfUnused(build, new_graph, set<RoseVertex>(),
|
pruneAllOtherReports(*new_graph, new_report);
|
||||||
b_left.leftfix_report);
|
|
||||||
|
|
||||||
rai.rev_leftfix[a_left_id].erase(a);
|
rai.rev_leftfix[a_left_id].erase(a);
|
||||||
rai.rev_leftfix[b_left_id].erase(b);
|
rai.rev_leftfix[b_left_id].erase(b);
|
||||||
|
Reference in New Issue
Block a user