diff --git a/src/DvmhRegions/DvmhRegionInserter.cpp b/src/DvmhRegions/DvmhRegionInserter.cpp index 71c872d..002f40b 100644 --- a/src/DvmhRegions/DvmhRegionInserter.cpp +++ b/src/DvmhRegions/DvmhRegionInserter.cpp @@ -1297,7 +1297,10 @@ static set { declStat = SgStatement::getStatementByFileAndLine(decl.first, decl.second); if (declStat == NULL) // check in inlcudes - { + { + if (!main->switchToFile()) + printInternalError(convertFileName(__FILE__).c_str(), __LINE__); + for (auto st = main; st != main->lastNodeOfStmt() && !declStat; st = st->lexNext()) { if (st->fileName() == decl.first && st->lineNumber() == decl.second)