Skip to content

Commit 68c490f

Browse files
committed
Revert b95a570 and db16a7c. The change for returning PartialAlias
to returning MayAlias is causing miscompiles in flang.
1 parent f26eb31 commit 68c490f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

lib/Analysis/BasicAliasAnalysis.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1231,7 +1231,7 @@ AliasResult BasicAAResult::aliasGEP(const GEPOperator *GEP1, uint64_t V1Size,
12311231
// If we get a No or May, then return it immediately, no amount of analysis
12321232
// will improve this situation.
12331233
if (BaseAlias != MustAlias) {
1234-
assert(BaseAlias == NoAlias || BaseAlias == MayAlias);
1234+
//assert(BaseAlias == NoAlias || BaseAlias == MayAlias);
12351235
return BaseAlias;
12361236
}
12371237

@@ -1278,7 +1278,7 @@ AliasResult BasicAAResult::aliasGEP(const GEPOperator *GEP1, uint64_t V1Size,
12781278
// cannot alias per GEP semantics: "Any memory access must be done through
12791279
// a pointer value associated with an address range of the memory access,
12801280
// otherwise the behavior is undefined.".
1281-
assert(R == NoAlias || R == MayAlias);
1281+
//assert(R == NoAlias || R == MayAlias);
12821282
return R;
12831283
}
12841284

0 commit comments

Comments
 (0)