From b4f8f223ebf4d57b3b3fd23df184d6da1a38870d Mon Sep 17 00:00:00 2001
From: AntonMilienkov <anton.milienkov@mail.ru>
Date: Sun, 5 May 2024 15:40:39 +0300
Subject: [PATCH] goto buf fixed

---
 sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp b/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp
index 8f5b909..b2189e6 100644
--- a/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp
+++ b/sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp
@@ -1558,7 +1558,7 @@ void createCheckpoints(SgFile* file, const map<string, CommonBlock*>& commonBloc
         auto nextStLab = new SgLabel(labNum);
         point->setLabel(*nextStLab);
 
-        SgStatement* gotoBlock = new SgIfStmt(*new SgVarRefExp(loadS[0]) == *new SgValueExp(labNum));
+        SgStatement* gotoBlock = new SgIfStmt(*new SgVarRefExp(loadS[0]) == *new SgValueExp(1));
         gotoBlock->addComment("! GOTO CP\n");
 
         gotoBlock->insertStmtAfter(*new SgGotoStmt(*nextStLab), *gotoBlock);