[Mlir-commits] [mlir] f2ada38 - [MLIR][Bufferization] Assume alias if no information is available

[lorenzo chelini]

Author: lorenzo chelini
Date: 2022-06-15T18:41:51+02:00
New Revision: f2ada383f261e98e29dda7fe924fc3ee4f945346

URL: https://github.com/llvm/llvm-project/commit/f2ada383f261e98e29dda7fe924fc3ee4f945346
DIFF: https://github.com/llvm/llvm-project/commit/f2ada383f261e98e29dda7fe924fc3ee4f945346.diff

LOG: [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

Added: 
    

Modified: 
    mlir/lib/Dialect/Bufferization/IR/BufferizableOpInterface.cpp

Removed: 
    


################################################################################
diff  --git a/mlir/lib/Dialect/Bufferization/IR/BufferizableOpInterface.cpp b/mlir/lib/Dialect/Bufferization/IR/BufferizableOpInterface.cpp
index 467c0188783fe..cd3d4065faa70 100644
--- 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 {