small bug fix to the known groups preprocessing in the dataflow plugi…

…n regarding caching
emsec · Apr 24, 2024 · b7e1ee6 · b7e1ee6
1 parent 5345634
commit b7e1ee6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/plugins/dataflow_analysis/src/pre_processing/pre_processing.cpp b/plugins/dataflow_analysis/src/pre_processing/pre_processing.cpp
@@ -172,6 +172,7 @@ namespace hal
                             {
                                 if (const auto group_it = net_to_group_index.find(current); group_it != net_to_group_index.end())
                                 {
+                                    std::get<1>(suc_cache[current]).insert(group_it->second);
                                     for (const auto* n : previous)
                                     {
                                         std::get<1>(suc_cache[n]).insert(group_it->second);
@@ -257,6 +258,7 @@ namespace hal
                             {
                                 if (const auto group_it = net_to_group_index.find(current); group_it != net_to_group_index.end())
                                 {
+                                    pred_cache[current].insert(group_it->second);
                                     for (const auto* n : previous)
                                     {
                                         pred_cache[n].insert(group_it->second);