Nate Chandler 2e2dee7a41 [DestroyAddrHoisting] Don't fold into read access. ...

Narrowly fix a long-standing bug where destroy_addrs would be hoisted
into read access scopes, leaving the scope as a read despite the fact
that it modifies memory.  This is a problem for utilities which expect
access scopes to provide correct summaries.  Do this by refusing to fold
into access scopes which are marked `[read]`.

In a follow-up, we can reenable this folding, promoting each access
scope to a modify.  Doing so requires checking that there are no access
scopes which overlap with any of the access scopes which would be
promoted to modify.

rdar://154407327

2025-06-26 17:40:03 -07:00

44 KiB

Raw Permalink Blame History

View Raw