From 05609dadc0283c086027cd695449415ffb1a1214 Mon Sep 17 00:00:00 2001 From: ALEXks Date: Fri, 2 Feb 2024 21:02:11 +0300 Subject: [PATCH] fixed pure --- sapfor/experts/Sapfor_2017/_src/GraphCall/graph_calls.cpp | 4 +++- sapfor/experts/Sapfor_2017/_src/Utils/version.h | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/sapfor/experts/Sapfor_2017/_src/GraphCall/graph_calls.cpp b/sapfor/experts/Sapfor_2017/_src/GraphCall/graph_calls.cpp index 7e2c855..c26682a 100644 --- a/sapfor/experts/Sapfor_2017/_src/GraphCall/graph_calls.cpp +++ b/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 diff --git a/sapfor/experts/Sapfor_2017/_src/Utils/version.h b/sapfor/experts/Sapfor_2017/_src/Utils/version.h index 0fd6ff0..a241adb 100644 --- a/sapfor/experts/Sapfor_2017/_src/Utils/version.h +++ b/sapfor/experts/Sapfor_2017/_src/Utils/version.h @@ -1,3 +1,3 @@ #pragma once -#define VERSION_SPF "2269" +#define VERSION_SPF "2270"