Slight variant of D105098 which also returns OW_None on NoAlias.
This is not really intended for commit, just to make it easy to apply/test the follow-up changes.
Let's work on getting the original D105098 in.
I originally had the check just after getting AAR, but isOverwrite considers out-of-bounds writes killing other writes to the same underlying object, which would be missed by the early exit.
It is not handled explicitly and is a consequence of the code just below (lines 1017-1020). If the underlying object size matches the size of the out-of-bounds store, the out of bounds store is considered killing other stores to the same object. Note that this logic does not kick in, if the out-of-bounds store is smaller than the underlying object. I added such a test case in 9c00afe926e9