================ ---------------- vzakhari wrote: Great point, Jean! I updated the comments! @River707 @joker-eph can you please check if the updated comment in `mlir/include/mlir/Analysis/AliasAnalysis.h` makes sense to you? https://github.com/llvm/llvm-project/pull/177728