danilaml wrote: @nikic also, another situation the current impl doesn't seem to account for is IR like ```llvm bb1: %p1 = load dereferenceable(N) ... bb2: %p2 = load dereferenceable(M) ... common: %p = phi ptr [%p1, %bb1], [%p2, %bb2] %res = load i32 %p ; <-- dereferenceable(min(N,M)) at least ```
https://github.com/llvm/llvm-project/pull/109277 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
