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

removed createInterfacesForAssumedSize call

Browse Source
This commit is contained in:
ALEXks
2025-07-09 14:46:29 +03:00
parent 68bd21b7b0
commit 85e2a60183
4 changed files with 4 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/Sapfor.cpp
View File

@@ -1282,9 +1282,6 @@ static bool runAnalysis(SgProject &project, const int curr_regime, const bool ne
fillInterfaceBlock(allFuncInfo); fillInterfaceBlock(allFuncInfo);
intentInsertToInterfaces(allFuncInfo); intentInsertToInterfaces(allFuncInfo);
//TODO: need to check!
//createInterfacesForAssumedSize(allFuncInfo);
//this call is only for testing //this call is only for testing
//setPureStatus(allFuncInfo); //setPureStatus(allFuncInfo);

5
src/Transformations/FunctionPurifying/function_purifying.cpp
View File

@@ -210,7 +210,8 @@ static vector<FuncInfo*> sortByName(const T &funcs)
return funcList; return funcList;
} }
void createInterfacesForAssumedSize(const map<string, vector<FuncInfo*>>& allFuncInfo) //XXX: incorrect!!
/*void createInterfacesForAssumedSize(const map<string, vector<FuncInfo*>>& allFuncInfo)
{ {
set<FuncInfo*> hasAssumedSizeArrays; set<FuncInfo*> hasAssumedSizeArrays;
@@ -295,7 +296,7 @@ void createInterfacesForAssumedSize(const map<string, vector<FuncInfo*>>& allFun
removeExternalStat(prog, addedInterfaceFor); removeExternalStat(prog, addedInterfaceFor);
} }
} }
} }*/
static void setPureStatus(FuncInfo* func) static void setPureStatus(FuncInfo* func)
{ {

1
src/Transformations/FunctionPurifying/function_purifying.h
View File

@@ -6,7 +6,6 @@ bool checkOutCalls(const std::set<std::string>& outCalls);
std::map<SgStatement*, std::set<std::string>> fillFromIntent(SgStatement* header); std::map<SgStatement*, std::set<std::string>> fillFromIntent(SgStatement* header);
void intentInsert(const std::vector<FuncInfo*>& allFuncInfo); void intentInsert(const std::vector<FuncInfo*>& allFuncInfo);
void intentInsertToInterfaces(const std::map<std::string, std::vector<FuncInfo*>>& allFuncInfo); void intentInsertToInterfaces(const std::map<std::string, std::vector<FuncInfo*>>& allFuncInfo);
void createInterfacesForAssumedSize(const std::map<std::string, std::vector<FuncInfo*>>& allFuncInfo);
void createInterfacesForOutCalls(FuncInfo* func); void createInterfacesForOutCalls(FuncInfo* func);
void setPureStatus(const std::set<FuncInfo*>& funcInfo); void setPureStatus(const std::set<FuncInfo*>& funcInfo);
void setPureStatus(const std::map<std::string, std::vector<FuncInfo*>>& allFuncInfo); void setPureStatus(const std::map<std::string, std::vector<FuncInfo*>>& allFuncInfo);

2
src/Utils/version.h
View File

@@ -1,3 +1,3 @@
#pragma once #pragma once
#define VERSION_SPF "2435" #define VERSION_SPF "2436"