Alexander_KS/SAPFOR
4
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

goto buf fixed

Browse Source
This commit is contained in:
AntonMilienkov
2024-05-05 15:40:39 +03:00
parent 025113211b
commit b4f8f223eb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sapfor/experts/Sapfor_2017/_src/Transformations/checkpoints.cpp
View File

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