From 4fccb2c8c9673247bfb9ba176021c9889ce680e8 Mon Sep 17 00:00:00 2001 From: Mark Rowe Date: Thu, 4 Sep 2025 19:21:48 -0700 Subject: [ObjC] Propagate type information from calls to `[super init]` Calls to `objc_msgSendSuper2` with a selector in the `init` family are detected and their arguments are analyzed to determine the receiver class. A call type adjustment is added to update the return type. This handles most calls to `[super init]` from Objective-C code as the compiler generates a straightforward code sequence for these calls. Some calls from Swift are handled, but the Swift compiler generates more varied code so additional work is needed for complete coverage. --- plugins/workflow_objc/Cargo.toml | 1 + 1 file changed, 1 insertion(+) (limited to 'plugins/workflow_objc/Cargo.toml') diff --git a/plugins/workflow_objc/Cargo.toml b/plugins/workflow_objc/Cargo.toml index 09a2d3a7..f6392d9f 100644 --- a/plugins/workflow_objc/Cargo.toml +++ b/plugins/workflow_objc/Cargo.toml @@ -14,3 +14,4 @@ log = "0.4" dashmap = { version = "6.1", features = ["rayon"]} once_cell = "1.20" thiserror = "2.0" +bstr = "1.12" -- cgit v1.3.1