diff options
| -rw-r--r-- | lib/Analysis/TypeBasedAliasAnalysis.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Analysis/TypeBasedAliasAnalysis.cpp b/lib/Analysis/TypeBasedAliasAnalysis.cpp index 7955ab7..8d36847 100644 --- a/lib/Analysis/TypeBasedAliasAnalysis.cpp +++ b/lib/Analysis/TypeBasedAliasAnalysis.cpp @@ -173,5 +173,8 @@ bool TypeBasedAliasAnalysis::pointsToConstantMemory(const Location &Loc) { // If this is an "immutable" type, we can assume the pointer is pointing // to constant memory. - return TBAANode(M).TypeIsImmutable(); + if (TBAANode(M).TypeIsImmutable()) + return true; + + return AliasAnalysis::pointsToConstantMemory(Loc); } |