Skip to content

Commit 9a940a7

Browse files
committed
[SILGen] Assert the SourceFile has been type-checked
1 parent d82880a commit 9a940a7

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

lib/SILGen/SILGen.cpp

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1817,6 +1817,8 @@ class SILGenModuleRAII {
18171817

18181818
public:
18191819
void emitSourceFile(SourceFile *sf) {
1820+
assert(sf->ASTStage == SourceFile::TypeChecked);
1821+
18201822
SourceFileScope scope(SGM, sf);
18211823
for (Decl *D : sf->getTopLevelDecls()) {
18221824
FrontendStatsTracer StatsTracer(SGM.getASTContext().Stats,
@@ -1893,10 +1895,8 @@ SILGenWholeModuleRequest::evaluate(Evaluator &evaluator,
18931895
SILGenModuleRAII scope(*M, mod);
18941896

18951897
for (auto file : mod->getFiles()) {
1896-
auto nextSF = dyn_cast<SourceFile>(file);
1897-
if (!nextSF || nextSF->ASTStage != SourceFile::TypeChecked)
1898-
continue;
1899-
scope.emitSourceFile(nextSF);
1898+
if (auto *nextSF = dyn_cast<SourceFile>(file))
1899+
scope.emitSourceFile(nextSF);
19001900
}
19011901

19021902
// Also make sure to process any intermediate files that may contain SIL

0 commit comments

Comments
 (0)