Skip to content

Commit 82dd1b9

Browse files
authored
Merge pull request #74898 from eeckstein/fix-error-message-6.0
[6.0] Deserializer: flush the diag engine to see a function type mismatch error
2 parents 907bb90 + 7d38cb9 commit 82dd1b9

File tree

2 files changed

+18
-4
lines changed

2 files changed

+18
-4
lines changed

lib/Serialization/DeserializeSIL.cpp

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -430,10 +430,11 @@ SILFunction *SILDeserializer::getFuncForReference(StringRef name,
430430
if (auto *decl = dyn_cast_or_null<AbstractFunctionDecl>(dc->getAsDecl()))
431431
fnName = decl->getNameStr();
432432
}
433-
fn->getModule().getASTContext().Diags.diagnose(
434-
fn->getLocation().getSourceLoc(),
435-
diag::deserialize_function_type_mismatch,
436-
fnName, fnType.getASTType(), type.getASTType());
433+
auto &diags = fn->getModule().getASTContext().Diags;
434+
diags.diagnose(fn->getLocation().getSourceLoc(),
435+
diag::deserialize_function_type_mismatch,
436+
fnName, fnType.getASTType(), type.getASTType());
437+
diags.flushConsumers();
437438
exit(1);
438439
}
439440
return fn;

test/embedded/functype-mismatch.swift

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
// RUN: not %target-swift-frontend %s -enable-experimental-feature Embedded -wmo -emit-sil -o /dev/null 2>&1 | %FileCheck %s
2+
3+
// REQUIRES: optimized_stdlib
4+
// REQUIRES: OS=macosx
5+
6+
// This is a mismatch compared to what's in the embedded stdlib
7+
@_silgen_name("putchar")
8+
// CHECK: type mismatch of function 'putchar'
9+
public func putchar(_ value: CInt, _ x: Int) -> CInt {
10+
return 0
11+
}
12+
13+
print("hello")

0 commit comments

Comments
 (0)