[MLIR][Bufferization] Assume alias if no information is available

- Post (minor) fix after: https://reviews.llvm.org/D127301

Reviewed By: springerm

Differential Revision: https://reviews.llvm.org/D127868

diff --git a/mlir/lib/Dialect/Bufferization/IR/BufferizableOpInterface.cpp b/mlir/lib/Dialect/Bufferization/IR/BufferizableOpInterface.cpp
index 467c018..cd3d406 100644 (file)
--- a/mlir/lib/Dialect/Bufferization/IR/BufferizableOpInterface.cpp
+++ b/mlir/lib/Dialect/Bufferization/IR/BufferizableOpInterface.cpp
@@ -393,7 +393,7 @@ bool AnalysisState::areEquivalentBufferizedValues(Value v1, Value v2) const {
 bool AnalysisState::areAliasingBufferizedValues(Value v1, Value v2) const {
   // In the absence of analysis information, we do not know if the values may be
   // aliasing. The conservative answer is "true".
-  return false;
+  return true;
 }
 
 bool AnalysisState::hasUndefinedContents(OpOperand *opOperand) const {