Moved call location

Author: gbMattN

compiler-rt/lib/tysan/tysan.cpp

@@ -179,7 +179,8 @@ static bool isAliasingLegalWithOffset(tysan_type_descriptor *AccessTD,
 }
 
 static bool isAliasingLegal(tysan_type_descriptor *TDA,
-                            tysan_type_descriptor *TDB) {
+                            tysan_type_descriptor *TDB,
+                            int OffsetB = 0) {
   if (TDA == TDB || !TDB || !TDA)
     return true;
 
@@ -190,7 +191,8 @@ static bool isAliasingLegal(tysan_type_descriptor *TDA,
   // TDB may have been adjusted by offset TDAOffset in the caller to point to
   // the outer type. Check for aliasing with and without adjusting for this
   // offset.
-  return isAliasingLegalUp(TDA, TDB) || isAliasingLegalUp(TDB, TDA);
+  return isAliasingLegalUp(TDA, TDB) || isAliasingLegalUp(TDB, TDA) ||
+         isAliasingLegalWithOffset(TDA, TDB, OffsetB);
 }
 
 namespace __tysan {
@@ -267,7 +269,7 @@ __tysan_check(void *addr, int size, tysan_type_descriptor *td, int flags) {
     OldTDPtr -= i;
     OldTD = *OldTDPtr;
 
-    if (!isAliasingLegal(td, OldTD) && !isAliasingLegalWithOffset(td, OldTD, i))
+    if (!isAliasingLegal(td, OldTD, i))
       reportError(addr, size, td, OldTD, AccessStr,
                   "accesses part of an existing object", -i, pc, bp, sp);