[llvm] [LAA] Keep pointer checks on partial analysis (PR #139719)
Ramkumar Ramachandra via llvm-commits
llvm-commits at lists.llvm.org
Tue May 13 13:07:00 PDT 2025
================
@@ -633,7 +633,18 @@ define dso_local void @forked_ptrs_same_base_different_offset(ptr nocapture read
; CHECK-NEXT: Report: cannot identify array bounds
----------------
artagnon wrote:
Oh. Hm, then is there something we can add to the output to indicate that runtime checks were not generated for some pointers? Otherwise, the output seems a bit misleading.
https://github.com/llvm/llvm-project/pull/139719
More information about the llvm-commits
mailing list