We are planning to remove the enforceAliasingInvariants flag from One-Shot Bufferize. You have probably never heard about this flag. If you have, keep reading.
The default value of this flag is enforceAliasingInvariants=true. When set to false, it can cause incorrect bufferization when copyBeforeWrite=false.
It is unlikely that you have set this flag to false. But if you have, make sure that you are also setting copyBeforeWrite=true. When copyBeforeWrite=true, the enforceAliasingInvariants has no further effect. (And the removal of enforceAliasingInvariants won’t affect you.)
Please post here if you are using enforceAliasingInvariants in a different way than described here.
See [MLIR][Bufferization] Retire `enforce-aliasing-invariants` by chelini · Pull Request #130929 · llvm/llvm-project · GitHub for details.