improved cmake

CMakeLists.txt

@@ -12,6 +12,7 @@ add_definitions("-D SYS5")
 add_definitions("-D YYDEBUG")
 
 set(CMAKE_CXX_STANDARD 17)
+set(CMAKE_C_STANDARD 17)
 
 set(fdvm_include    projects/dvm/fdvmh/include/fdvmh/)
 set(fdvm_sources    projects/dvm/fdvmh/tools/fdvmh/)

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);
 

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)
 {

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);

src/Utils/version.h

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