Skip to content

[ObjC] Propagate types from objc_alloc_init and friends#8036

Merged
bdash merged 2 commits intodevfrom
test_objc_alloc_init_type
Mar 30, 2026
Merged

[ObjC] Propagate types from objc_alloc_init and friends#8036
bdash merged 2 commits intodevfrom
test_objc_alloc_init_type

Conversation

@bdash
Copy link
Copy Markdown
Contributor

@bdash bdash commented Mar 24, 2026

This applies call type overrides for calls to objc_alloc_init, objc_alloc, objc_new, etc. Additionally, it updates the objc_msgSend call type adjustment logic to recognize messages in the init family, and to propagate the type of the receiver to the return type for those calls.

@bdash bdash added this to the Jotunheim milestone Mar 30, 2026
@bdash bdash force-pushed the test_objc_alloc_init_type branch from d93c80f to 20adc82 Compare March 30, 2026 16:35
@bdash bdash merged commit 20adc82 into dev Mar 30, 2026
5 of 6 checks passed
@bdash bdash deleted the test_objc_alloc_init_type branch March 30, 2026 16:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant