From 95cfb4446b2bc12d7e48203ce66747acdd9eec45 Mon Sep 17 00:00:00 2001 From: ALEXks Date: Sun, 12 Jan 2025 17:48:08 +0300 Subject: [PATCH] fixed --- .../Sapfor_2017/_src/DvmhRegions/DvmhRegionInserter.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sapfor/experts/Sapfor_2017/_src/DvmhRegions/DvmhRegionInserter.cpp b/sapfor/experts/Sapfor_2017/_src/DvmhRegions/DvmhRegionInserter.cpp index 8180f55..bf38814 100644 --- a/sapfor/experts/Sapfor_2017/_src/DvmhRegions/DvmhRegionInserter.cpp +++ b/sapfor/experts/Sapfor_2017/_src/DvmhRegions/DvmhRegionInserter.cpp @@ -1509,8 +1509,8 @@ static void insertDeclare(const set& usedArraysInRegions, if (std::count(usedAll.begin(), usedAll.end(), realArray) == 0 && added.count(realArray) == 0) { added.insert(realArray); - //TODO: for modules - if (realArray->GetLocation().first != DIST::l_MODULE) + //TODO: for common + if (realArray->GetLocation().first != DIST::l_COMMON) { auto declInfo = *realArray->GetDeclInfo().begin(); SgStatement* declStat = SgStatement::getStatementByFileAndLine(declInfo.first, declInfo.second);