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

[Compile Time Constant Extraction] Extraction support for force unwrapped optionals (#85047)

Browse Source 
Adds support for extracting force unwrapped optionals. 

```
let prop: MyType = MyType()! 
```

In this case the value kind was being extracted as a Runtime value. 

resolves rdar://146046727

Co-authored-by: Deniz Dizman <ddizman@apple.com>
This commit is contained in:
deniz dizman
2025-10-23 13:13:05 -07:00
committed by GitHub
parent 66eef684ee
commit f515cd72c1
2 changed files with 53 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/ConstExtract/ConstExtract.cpp
View File

@@ -519,6 +519,11 @@ extractCompileTimeValue(Expr *expr, const DeclContext *declContext) {
return extractCompileTimeValue(openExistentialExpr->getExistentialValue(), declContext);
}
case ExprKind::ForceValue: {
auto forceValueExpr = cast<ForceValueExpr>(expr);
return extractCompileTimeValue(forceValueExpr->getSubExpr(), declContext);
}
default: {
break;
}

48
test/ConstExtraction/ExtractForceValue.swift Normal file
View File

@@ -0,0 +1,48 @@
// RUN: %empty-directory(%t)
// RUN: echo "[MyProto]" > %t/protocols.json
// RUN: %target-swift-frontend -typecheck -emit-const-values-path %t/ExtractForceValue.swiftconstvalues -const-gather-protocols-file %t/protocols.json -primary-file %s
// RUN: cat %t/ExtractForceValue.swiftconstvalues 2>&1 | %FileCheck %s
protocol MyProto {}
class CustomKey {
init?() {
}
}
struct MyStruct: MyProto {
let prop1: CustomKey = CustomKey()!
let prop2: CustomKey! = CustomKey()
}
// CHECK: "properties": [
// CHECK-NEXT: {
// CHECK-NEXT: "label": "prop1",
// CHECK-NEXT: "type": "ExtractForceValue.CustomKey",
// CHECK-NEXT: "mangledTypeName": "n/a - deprecated",
// CHECK-NEXT: "isStatic": "false",
// CHECK-NEXT: "isComputed": "false",
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractForceValue.swift",
// CHECK-NEXT: "line": 15,
// CHECK-NEXT: "valueKind": "InitCall",
// CHECK-NEXT: "value": {
// CHECK-NEXT: "type": "Swift.Optional<ExtractForceValue.CustomKey>",
// CHECK-NEXT: "arguments": []
// CHECK-NEXT: }
// CHECK-NEXT: },
// CHECK-NEXT: {
// CHECK-NEXT: "label": "prop2",
// CHECK-NEXT: "type": "Swift.Optional<ExtractForceValue.CustomKey>",
// CHECK-NEXT: "mangledTypeName": "n/a - deprecated",
// CHECK-NEXT: "isStatic": "false",
// CHECK-NEXT: "isComputed": "false",
// CHECK-NEXT: "file": "{{.*}}test{{/|\\\\}}ConstExtraction{{/|\\\\}}ExtractForceValue.swift",
// CHECK-NEXT: "line": 16,
// CHECK-NEXT: "valueKind": "InitCall",
// CHECK-NEXT: "value": {
// CHECK-NEXT: "type": "Swift.Optional<ExtractForceValue.CustomKey>",
// CHECK-NEXT: "arguments": []
// CHECK-NEXT: }
// CHECK-NEXT: }
// CHECK-NEXT: ]