Gábor Horváth 99f9c318ca [6.2][StrictMemorySafety] Check the safety of return types of calls ...

Explanation: There were some scenarios where we could call an unsafe
function without marking the expression as unsafe. These affect mostly
cases where the function's result is passed to another function or
returned. This PR makes sure we always flag functions with unsafe return
types, even if their result is not stored anywhere for later use.
Issues: rdar://157237301
Original PRs: #83520
Risk: Low, worst case scenario the user has to add redundant unsafe
keywords in strict memory safe mode.
Testing: Added a compiler test.
Reviewers: @DougGregor

2025-08-13 11:49:22 +01:00

47 KiB

Raw Permalink Blame History

View Raw