swift

ac04f0ea - MemoryLifetimeVerifier: fix two false alarms

MemoryLifetimeVerifier: fix two false alarms * fix the handling of `store [assign]` * ignore inout function arguments if the callee has no side-effects computed, yet. This can happen if a store to an unused inout has been eliminated at a call site and afterwards the callee is specialized and therefore doesn't have the required side-effects computed, yet.