swift

40d41d4d - MemoryBehavior: be more accurate with destructor side effects of a `store [assign]`

MemoryBehavior: be more accurate with destructor side effects of a `store [assign]` So far we unconditionally treated `store [assign]` to have side effects because it destructs the old value. But we can do better by checking if the address in question actually can escape to a destructor.