@@ -103,7 +103,7 @@ static tysan_type_descriptor *getRootTD(tysan_type_descriptor *TD) {
103
103
}
104
104
105
105
// Walk up TDA to see if it reaches TDB
106
- bool walkAliasTree (tysan_type_descriptor *TDA, tysan_type_descriptor *TDB,
106
+ static bool walkAliasTree (tysan_type_descriptor *TDA, tysan_type_descriptor *TDB,
107
107
uptr OffsetA, uptr OffsetB) {
108
108
do {
109
109
if (TDA == TDB)
@@ -160,17 +160,16 @@ static bool isAliasingLegalUp(tysan_type_descriptor *TDA,
160
160
}
161
161
162
162
static bool isAliasingLegalWithOffset (tysan_type_descriptor *TDA,
163
- tysan_type_descriptor *TDB,
164
- int OffsetB) {
165
- // This is handled in the other cases
163
+ tysan_type_descriptor *TDB, uptr OffsetB) {
164
+ // This is handled by calls to isAliasingLegalUp.
166
165
if (OffsetB == 0 )
167
166
return false ;
168
167
169
- // You can't have an offset into a member
168
+ // You can't have an offset into a member.
170
169
if (TDB->Tag == TYSAN_MEMBER_TD)
171
170
return false ;
172
171
173
- int OffsetA = 0 ;
172
+ uptr OffsetA = 0 ;
174
173
if (TDA->Tag == TYSAN_MEMBER_TD) {
175
174
OffsetA = TDA->Member .Offset ;
176
175
TDA = TDA->Member .Base ;
@@ -185,8 +184,7 @@ static bool isAliasingLegalWithOffset(tysan_type_descriptor *TDA,
185
184
}
186
185
187
186
static bool isAliasingLegal (tysan_type_descriptor *TDA,
188
- tysan_type_descriptor *TDB,
189
- int OffsetB = 0 ) {
187
+ tysan_type_descriptor *TDB, uptr OffsetB = 0 ) {
190
188
if (TDA == TDB || !TDB || !TDA)
191
189
return true ;
192
190
0 commit comments