Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

DATA_FLOW: fix build for linux

Browse Source
This commit is contained in:
Mikhail Kocharmin
2024-01-13 13:41:31 +03:00
parent 6dc0ad1080
commit aa3c28847a
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
sapfor/experts/Sapfor_2017/_src/CFGraph/DataFlow/backward_data_flow_impl.h
View File

@@ -65,21 +65,21 @@ void BackwardDataFlowAnalysis<NodeType>::fit(const std::vector<SAPFOR::BasicBloc
std::reverse(blocks_sorted.begin(), blocks_sorted.end()); std::reverse(blocks_sorted.begin(), blocks_sorted.end());
nodes.clear(); this->nodes.clear();
std::map<SAPFOR::BasicBlock*, NodeType*> node_by_block; std::map<SAPFOR::BasicBlock*, NodeType*> node_by_block;
for (auto block : blocks_sorted) for (auto block : blocks_sorted)
{ {
NodeType* node = createNode(block); NodeType* node = this->createNode(block);
nodes.push_back(node); this->nodes.push_back(node);
node_by_block[block] = node; node_by_block[block] = node;
} }
int nodes_size = nodes.size(); int nodes_size = this->nodes.size();
for (int i = 0; i < nodes_size; i++) for (int i = 0; i < nodes_size; i++)
{ {
NodeType* node = nodes[i]; NodeType* node = this->nodes[i];
auto back_edges_by_src_it = back_edges_by_src.find(node->getBlock()); auto back_edges_by_src_it = back_edges_by_src.find(node->getBlock());
if (back_edges_by_src_it != back_edges_by_src.end()) if (back_edges_by_src_it != back_edges_by_src.end())