From e51f9643a48282631dadfdee4c81b9f1e3401353 Mon Sep 17 00:00:00 2001 From: AntonMilienkov Date: Fri, 22 Dec 2023 07:08:48 +0300 Subject: [PATCH] IntentInadded -> IntentInParams --- .../_src/Transformations/checkpoints.cpp | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp b/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp index a093fb0..9167653 100644 --- a/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp +++ b/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp @@ -3,7 +3,6 @@ #include #include #include -#include #include "../Utils/SgUtils.h" #include "../Utils/utils.h" @@ -39,7 +38,7 @@ static SgType* createArrayCharType(int len, int dim) } static void findDecls(SgExpression* ex, vector& local, const map& localParams, - set& added, std::set& IntentInadded) + set& added, set& IntentInParams) { if (ex) { @@ -68,8 +67,8 @@ static void findDecls(SgExpression* ex, vector& local, const map< } } - findDecls(ex->lhs(), local, localParams, added, IntentInadded); - findDecls(ex->rhs(), local, localParams, added, IntentInadded); + findDecls(ex->lhs(), local, localParams, added, IntentInParams); + findDecls(ex->rhs(), local, localParams, added, IntentInParams); } } @@ -91,10 +90,10 @@ static void findLocalData(SgStatement* func, SgStatement* end, vectorlexNext(); FuncInfo* funcI = findFileInfoByName(func, allFuncInfo); - std::set IntentInadded; + set IntentInParams; for (int i = 0; i < funcI->funcParams.countOfPars; ++i) if (funcI->funcParams.isArgIn(i) && !funcI->funcParams.isArgOut(i)) - IntentInadded.insert(funcI->funcParams.identificators[i]); + IntentInParams.insert(funcI->funcParams.identificators[i]); for (SgStatement* st = start; st != end; st = st->lexNext()) { @@ -115,7 +114,7 @@ static void findLocalData(SgStatement* func, SgStatement* end, vectorlineNumber(), st->fileName(), tag[st->variant()]); if (st->variant() == VAR_DECL || st->variant() == VAR_DECL_90) - findDecls(st->expr(0), local, localParams, added, IntentInadded); + findDecls(st->expr(0), local, localParams, added, IntentInParams); } }