From 85e2a6018383a0291e792c51b4e26fcd3e62ee53 Mon Sep 17 00:00:00 2001
From: ALEXks <alexks179@gmail.com>
Date: Wed, 9 Jul 2025 14:46:29 +0300
Subject: [PATCH] removed createInterfacesForAssumedSize call

---
 src/Sapfor.cpp                                               | 3 ---
 src/Transformations/FunctionPurifying/function_purifying.cpp | 5 +++--
 src/Transformations/FunctionPurifying/function_purifying.h   | 1 -
 src/Utils/version.h                                          | 2 +-
 4 files changed, 4 insertions(+), 7 deletions(-)

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<FuncInfo*> sortByName(const T &funcs)
     return funcList;
 }
 
-void createInterfacesForAssumedSize(const map<string, vector<FuncInfo*>>& allFuncInfo)
+//XXX: incorrect!!
+/*void createInterfacesForAssumedSize(const map<string, vector<FuncInfo*>>& allFuncInfo)
 {
     set<FuncInfo*> hasAssumedSizeArrays;
 
@@ -295,7 +296,7 @@ void createInterfacesForAssumedSize(const map<string, vector<FuncInfo*>>& 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<std::string>& outCalls);
 std::map<SgStatement*, std::set<std::string>> fillFromIntent(SgStatement* header);
 void intentInsert(const 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 setPureStatus(const std::set<FuncInfo*>& funcInfo);
 void setPureStatus(const std::map<std::string, std::vector<FuncInfo*>>& 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"