[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