swift

1f64871b - MemAccessUtils: unify Box/Class/Tail storage for consistency and usability

MemAccessUtils: unify Box/Class/Tail storage for consistency and usability It was originally convenient for exclusivity optimization to treat boxes specially. We wanted to know that the 'Box' kind was always uniquely identified. But that's not really important. And now that AccessedStorage is being used more generally, the inconsistency is problematic. A consistent model is also must easier to understand and explain. This also make the implementation of the utility simpler and more powerful. Functional changes: isRCIdentical will look through mark_dependence and mark_uninitialized. findReferenceRoot is used consistently everywhere increasing analysis precision.