[llvm] [LAA] Keep pointer checks on partial analysis (PR #139719)

John Brawn via llvm-commits llvm-commits at lists.llvm.org
Thu May 15 10:02:03 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
----------------
john-brawn-arm wrote:

I've added an extra line to the output saying this.

https://github.com/llvm/llvm-project/pull/139719


More information about the llvm-commits mailing list