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/src/activities/mod.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'plugins/workflow_objc/src/activities/mod.rs') diff --git a/plugins/workflow_objc/src/activities/mod.rs b/plugins/workflow_objc/src/activities/mod.rs index 11346900..f1132d03 100644 --- a/plugins/workflow_objc/src/activities/mod.rs +++ b/plugins/workflow_objc/src/activities/mod.rs @@ -1,2 +1,3 @@ pub mod inline_stubs; pub mod objc_msg_send_calls; +pub mod super_init; -- cgit v1.3.1