averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

[silgen] Update prolog code to emit unreachable if a func param is uninhabited

Browse Source
This commit is contained in:
Suyash Srijan
2018-11-14 23:43:04 +00:00
parent 812a1cf54c
commit f632e0bd46
1 changed files with 12 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
lib/SILGen/SILGenProlog.cpp
View File

@@ -490,11 +490,19 @@ uint16_t SILGenFunction::emitProlog(ParameterList *paramList,
// Add the SILArguments and use them to initialize the local argument
// values.
if (paramList)
for (auto *param : *paramList)
for (auto *param : *paramList) {
if (param->getType()->isStructurallyUninhabited()) {
SILLocation unreachableLoc(param);
unreachableLoc.markAsPrologue();
B.createUnreachable(unreachableLoc);
}
emitter.emitParam(param);
if (selfParam)
emitter.emitParam(selfParam);
if (selfParam) {
emitter.emitParam(selfParam);
}
}
// Record the ArgNo of the artificial $error inout argument.
unsigned ArgNo = emitter.getNumArgs();
if (throws) {