nlopes accepted this revision. nlopes added a comment. This revision is now accepted and ready to land.
LGTM. We have discussed this before. It's important to fix the reference types in C++. ================ Comment at: llvm/test/Analysis/BasicAA/dereferenceable.ll:66 ; CHECK: Function: local_and_deref_ret_2: 2 pointers, 2 call sites -; CHECK-NEXT: NoAlias: i32* %obj, i32* %ret +; CHECK-NEXT: MayAlias: i32* %obj, i32* %ret bb: ---------------- this one is unfortunate.. They can't alias because objsize(%obj) < dereferenceable size of %ret. This case should be trivial to catch. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D110745/new/ https://reviews.llvm.org/D110745 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits