Displaying 1 result from an estimated 1 matches for "underlyingv1".
2018 Jun 18
2
Question about Alias Analysis with restrict keyword
...e know they cannot alias.
1300
1301 // If both accesses are unknown size, we can't do anything
useful here.
1302 if (V1Size == MemoryLocation::UnknownSize &&
1303 V2Size == MemoryLocation::UnknownSize)
1304 return MayAlias;
1305
1306 AliasResult R = aliasCheck(UnderlyingV1,
MemoryLocation::UnknownSize,
1307 AAMDNodes(), V2,
MemoryLocation::UnknownSize,
1308 V2AAInfo, nullptr, UnderlyingV2);
On line 1306, we can see the V1Size and V2Size are set up with
"MemoryLocation::UnknownSize" and it cau...