[llvm] [Analysis] Teach isDereferenceableAndAlignedInLoop about SCEV predicates (PR #106562)

[LLVM Continuous Integration via llvm-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-clang-aarch64-darwin` running on `doug-worker-4` while building `llvm` at step 6 "test-build-unified-tree-check-all".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/190/builds/6294

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 6 (test-build-unified-tree-check-all) failure: test (failure)
******************** TEST 'cross-project-tests :: debuginfo-tests/llgdb-tests/foreach.m' FAILED ********************
Exit Code: 1

Command Output (stdout):
--
Running debugger
Debugger output was:
imported lldb from: "/Library/Developer/CommandLineTools/Library/PrivateFrameworks/LLDB.framework/Resources/Python"
>  break 25
SBBreakpoint: id = 1, file = '/Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/cross-project-tests/debuginfo-tests/llgdb-tests/foreach.m', line = 25, exact_match = 0, locations = 1
>  r
error: process exited with status -1 (this is a non-interactive debug session, cannot get permission to debug processes.)
State = 10

ERROR: Could not launch process.
NOTE: There are several reasons why this may happen:
  * Root needs to run "DevToolsSecurity --enable".
  * Older versions of lldb cannot launch more than one process simultaneously.


--
Command Output (stderr):
--
RUN: at line 1: /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang --target=arm64-apple-darwin23.6.0 -O0 -g /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/cross-project-tests/debuginfo-tests/llgdb-tests/foreach.m -c -o /Users/buildbot/buildbot-root/aarch64-darwin/build/projects/cross-project-tests/debuginfo-tests/llgdb-tests/Output/foreach.m.tmp.o
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang --target=arm64-apple-darwin23.6.0 -O0 -g /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/cross-project-tests/debuginfo-tests/llgdb-tests/foreach.m -c -o /Users/buildbot/buildbot-root/aarch64-darwin/build/projects/cross-project-tests/debuginfo-tests/llgdb-tests/Output/foreach.m.tmp.o
RUN: at line 2: /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang --target=arm64-apple-darwin23.6.0 /Users/buildbot/buildbot-root/aarch64-darwin/build/projects/cross-project-tests/debuginfo-tests/llgdb-tests/Output/foreach.m.tmp.o -o /Users/buildbot/buildbot-root/aarch64-darwin/build/projects/cross-project-tests/debuginfo-tests/llgdb-tests/Output/foreach.m.tmp.out -framework Foundation
+ /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang --target=arm64-apple-darwin23.6.0 /Users/buildbot/buildbot-root/aarch64-darwin/build/projects/cross-project-tests/debuginfo-tests/llgdb-tests/Output/foreach.m.tmp.o -o /Users/buildbot/buildbot-root/aarch64-darwin/build/projects/cross-project-tests/debuginfo-tests/llgdb-tests/Output/foreach.m.tmp.out -framework Foundation
RUN: at line 3: /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/cross-project-tests/debuginfo-tests/llgdb-tests/test_debuginfo.pl /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/cross-project-tests/debuginfo-tests/llgdb-tests/foreach.m /Users/buildbot/buildbot-root/aarch64-darwin/build/projects/cross-project-tests/debuginfo-tests/llgdb-tests/Output/foreach.m.tmp.out
+ /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/cross-project-tests/debuginfo-tests/llgdb-tests/test_debuginfo.pl /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/cross-project-tests/debuginfo-tests/llgdb-tests/foreach.m /Users/buildbot/buildbot-root/aarch64-darwin/build/projects/cross-project-tests/debuginfo-tests/llgdb-tests/Output/foreach.m.tmp.out

--

********************


```

</details>

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