If we have a call whose only side effect is a write to a location which is known to be dead, we can sink said call to the users of the call's result value. This is analogous to the recent changes to delete said calls if unused, but framed as a sinking transform instead.
This is an alternative to (subset of?) D109917. Note that change leaves the nothrow and willreturn requirements in place.