diff --git a/src/DirectiveProcessing/shadow.cpp b/src/DirectiveProcessing/shadow.cpp index 6c047c6..1a729c6 100644 --- a/src/DirectiveProcessing/shadow.cpp +++ b/src/DirectiveProcessing/shadow.cpp @@ -1673,7 +1673,7 @@ void GroupShadow(const map>& allFuncs, SgStatement* func = currF->funcPointer->GetOriginal(); - const auto settings = CFG_Settings({ CFG_Settings::CFG_atLeastOneIterInLoop, CFG_Settings::CFG_withSPF, + const auto settings = CFG_Settings({ CFG_Settings::CFG_atLeastOneIterInLoop, CFG_Settings::CFG_withDVM, CFG_Settings::CFG_withCallsInBlocks, CFG_Settings::CFG_withUnreachable }); auto cfg = buildCFGforCurrentFunc(func, settings, commonBlocks, allFuncs); if (cfg.size() != 1) diff --git a/src/Utils/version.h b/src/Utils/version.h index 7203a9c..0892062 100644 --- a/src/Utils/version.h +++ b/src/Utils/version.h @@ -1,3 +1,3 @@ #pragma once -#define VERSION_SPF "2463" +#define VERSION_SPF "2464"