Skip to content

Commit 725e5f4

Browse files
author
Martin Mory
committed
global calls need to be collected/constructed before callgraph is constructed
1 parent e895f42 commit 725e5f4

1 file changed

Lines changed: 6 additions & 6 deletions

File tree

lib/PhasarLLVM/ControlFlow/LLVMBasedICFG.cpp

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -150,12 +150,6 @@ LLVMBasedICFG::LLVMBasedICFG(ProjectIRDB &IRDB, CallGraphAnalysisType CGType,
150150
"CallGraphAnalysisType::OTF was not specified.");
151151
}
152152

153-
// instantiate the respective resolver type
154-
Res = makeResolver(IRDB, CGType, *this->TH, *this->PT);
155-
LOG_IF_ENABLE(BOOST_LOG_SEV(lg::get(), INFO)
156-
<< "Starting CallGraphAnalysisType: " << CGType);
157-
VisitedFunctions.reserve(IRDB.getAllFunctions().size());
158-
159153
for (const auto &EntryPoint : EntryPoints) {
160154
auto *F = IRDB.getFunctionDefinition(EntryPoint);
161155
if (F == nullptr) {
@@ -177,6 +171,12 @@ LLVMBasedICFG::LLVMBasedICFG(ProjectIRDB &IRDB, CallGraphAnalysisType CGType,
177171
UserEntryPoints.end());
178172
}
179173

174+
// instantiate the respective resolver type
175+
Res = makeResolver(IRDB, CGType, *this->TH, *this->PT);
176+
LOG_IF_ENABLE(BOOST_LOG_SEV(lg::get(), INFO)
177+
<< "Starting CallGraphAnalysisType: " << CGType);
178+
VisitedFunctions.reserve(IRDB.getAllFunctions().size());
179+
180180
bool FixpointReached;
181181
do {
182182
FixpointReached = true;

0 commit comments

Comments
 (0)