vitalybuka wrote: > I don't think that this change is necessary. The InaccessibleMemOnly > modelling will take care of it.
Thank. That makes sense. As I wrote in description, I tried to trigger code difference in tests, but failed for these and for assume. Converting to draft. https://github.com/llvm/llvm-project/pull/86067 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
