From 0bec2c652750d92d0a6e4885740bfd356119cca3 Mon Sep 17 00:00:00 2001 From: ALEXks Date: Tue, 10 Mar 2026 20:33:02 +0300 Subject: [PATCH] assign line number to intervals for loops --- src/CreateInterTree/CreateInterTree.cpp | 4 ++-- src/Utils/version.h | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/CreateInterTree/CreateInterTree.cpp b/src/CreateInterTree/CreateInterTree.cpp index c48a111..c735776 100644 --- a/src/CreateInterTree/CreateInterTree.cpp +++ b/src/CreateInterTree/CreateInterTree.cpp @@ -17,7 +17,7 @@ using std::fstream; static long int getNextTag() { static long int INTERVAL_TAG = 0; - return INTERVAL_TAG++; + return -(INTERVAL_TAG++); } //Debug funcs @@ -413,7 +413,7 @@ static void findIntervals(SpfInterval *interval, map &labelsRef, maplineFile = std::make_pair(currentSt->lineNumber(), currentSt->fileName()); inter->parent = interval; inter->exit_levels.push_back(0); - inter->tag = getNextTag(); + inter->tag = currentSt->lineNumber();//getNextTag(); interval->nested.push_back(inter); findIntervals(inter, labelsRef, gotoStmts, currentSt); diff --git a/src/Utils/version.h b/src/Utils/version.h index e6da384..787b254 100644 --- a/src/Utils/version.h +++ b/src/Utils/version.h @@ -1,3 +1,3 @@ #pragma once -#define VERSION_SPF "2469" +#define VERSION_SPF "2470"