Displaying 1 result from an estimated 1 matches for "underlyingv2".
Did you mean:
underlyingv1
2018 Jun 18
2
Question about Alias Analysis with restrict keyword
...3 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 causes may-alias. On line 1302 and
1033, there are checking code for "MemoryLocation::UnknownSize"... I am
not sure whether it is bug or not... Can someone let me know why i...