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

[chelini]

Summary

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

[springerm]

Good catch!

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

bool AnalysisState::areEquivalentBufferizedValues(Value v1, Value v2) const {
   // In the absence of analysis information, we do not know if the values are
   // equivalent. The conservative answer is "false".
   return false;
 }
 
 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 {
   // In the absence of analysis information, the conservative answer is "false".
   return false;
 }
 
 bool AnalysisState::isTensorYielded(Value tensor) const {