diff --git a/src/Sapfor.cpp b/src/Sapfor.cpp index 9535009..80fddf6 100644 --- a/src/Sapfor.cpp +++ b/src/Sapfor.cpp @@ -1282,9 +1282,6 @@ static bool runAnalysis(SgProject &project, const int curr_regime, const bool ne fillInterfaceBlock(allFuncInfo); intentInsertToInterfaces(allFuncInfo); - //TODO: need to check! - //createInterfacesForAssumedSize(allFuncInfo); - //this call is only for testing //setPureStatus(allFuncInfo); diff --git a/src/Transformations/FunctionPurifying/function_purifying.cpp b/src/Transformations/FunctionPurifying/function_purifying.cpp index 6e4ce8e..38c12ff 100644 --- a/src/Transformations/FunctionPurifying/function_purifying.cpp +++ b/src/Transformations/FunctionPurifying/function_purifying.cpp @@ -210,7 +210,8 @@ static vector sortByName(const T &funcs) return funcList; } -void createInterfacesForAssumedSize(const map>& allFuncInfo) +//XXX: incorrect!! +/*void createInterfacesForAssumedSize(const map>& allFuncInfo) { set hasAssumedSizeArrays; @@ -295,7 +296,7 @@ void createInterfacesForAssumedSize(const map>& allFun removeExternalStat(prog, addedInterfaceFor); } } -} +}*/ static void setPureStatus(FuncInfo* func) { diff --git a/src/Transformations/FunctionPurifying/function_purifying.h b/src/Transformations/FunctionPurifying/function_purifying.h index 01d6d56..9f8d529 100644 --- a/src/Transformations/FunctionPurifying/function_purifying.h +++ b/src/Transformations/FunctionPurifying/function_purifying.h @@ -6,7 +6,6 @@ bool checkOutCalls(const std::set& outCalls); std::map> fillFromIntent(SgStatement* header); void intentInsert(const std::vector& allFuncInfo); void intentInsertToInterfaces(const std::map>& allFuncInfo); -void createInterfacesForAssumedSize(const std::map>& allFuncInfo); void createInterfacesForOutCalls(FuncInfo* func); void setPureStatus(const std::set& funcInfo); void setPureStatus(const std::map>& allFuncInfo); diff --git a/src/Utils/version.h b/src/Utils/version.h index 54fc5bd..7a6ceb8 100644 --- a/src/Utils/version.h +++ b/src/Utils/version.h @@ -1,3 +1,3 @@ #pragma once -#define VERSION_SPF "2435" +#define VERSION_SPF "2436"