diff --git a/src/nfagraph/ng_literal_analysis.cpp b/src/nfagraph/ng_literal_analysis.cpp index a6664b07..19660580 100644 --- a/src/nfagraph/ng_literal_analysis.cpp +++ b/src/nfagraph/ng_literal_analysis.cpp @@ -488,12 +488,14 @@ const char *describeColor(boost::default_color_type c) { */ static vector add_reverse_edges_and_index(LitGraph &lg) { + const size_t edge_count = num_edges(lg); vector fwd_edges; + fwd_edges.reserve(edge_count); for (const auto &e : edges_range(lg)) { fwd_edges.push_back(e); } - vector rev_map(2 * num_edges(lg)); + vector rev_map(2 * edge_count); for (const auto &e : fwd_edges) { LitVertex u = source(e, lg);