Merge pull request 'expression substitution: hotfix for recent commits (typo at condition)' (#26) from dead_code_removing into master

sapfor/experts/Sapfor_2017/_src/GraphCall/graph_calls.cpp

@@ -911,7 +911,9 @@ static void fillFunctionPureStatus(SgStatement *header, FuncInfo *currInfo, vect
         if (currInfo->commonBlocks.size() == 0)
         {
             lines.clear();
-            bool has = hasThisIds(header, lines, { DATA_DECL, SAVE_DECL, USE_STMT });
+            bool has = hasThisIds(header, lines, { DATA_DECL, SAVE_DECL, USE_STMT,
+                                                   WRITE_STAT, READ_STAT, OPEN_STAT, CLOSE_STAT, 
+                                                   PRINT_STAT, STOP_STAT, PAUSE_NODE });
             if (!has || declaratedAsPure)
                 currInfo->isPure = true;
             else

sapfor/experts/Sapfor_2017/_src/Utils/version.h

@@ -1,3 +1,3 @@
-#pragma once
+#pragma once
-
+
-#define VERSION_SPF "2267"
+#define VERSION_SPF "2270"

sapfor/experts/Sapfor_2017/_src/VerificationCode/CorrectVarDecl.cpp

@@ -150,6 +150,7 @@ void fillUseStatement(SgStatement *st, set<string> &useMod,
     {
         SgExpression *ex = st->expr(0);
         string modName = st->symbol()->identifier();
+        convertToLower(modName);
         useMod.insert(modName);
 
         if (ex)