From f345741accef33c897de26f443bea517d2a36ac2 Mon Sep 17 00:00:00 2001 From: ALEXks Date: Sat, 23 Mar 2024 09:13:58 +0300 Subject: [PATCH] fixed pass --- sapfor/experts/Sapfor_2017/_src/Sapfor.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/sapfor/experts/Sapfor_2017/_src/Sapfor.cpp b/sapfor/experts/Sapfor_2017/_src/Sapfor.cpp index 375238c..dffb6be 100644 --- a/sapfor/experts/Sapfor_2017/_src/Sapfor.cpp +++ b/sapfor/experts/Sapfor_2017/_src/Sapfor.cpp @@ -2542,6 +2542,7 @@ void runPass(const int curr_regime, const char *proj_name, const char *folderNam case LOOPS_COMBINER: case FIX_COMMON_BLOCKS: case TEST_PASS: + case SET_IMPLICIT_NONE: runAnalysis(*project, curr_regime, false); case SUBST_EXPR_RD_AND_UNPARSE: case SUBST_EXPR_AND_UNPARSE: