[llvm] [LVI][ValueTracking] Merge checking whether assumes imply nonnull (PR #203523)

[LLVM Continuous Integration via llvm-commits]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `lldb-aarch64-windows` running on `linaro-armv8-windows-msvc-05` while building `llvm` at step 6 "test".

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

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

```
Step 6 (test) failure: build (failure)
...
PASS: lldb-api :: functionalities/breakpoint/scripted_bkpt/TestScriptedResolver.py (374 of 2570)
XFAIL: lldb-api :: functionalities/breakpoint/scripted_bkpt/overrides_resolver/TestOverridesResolver.py (375 of 2570)
XFAIL: lldb-api :: functionalities/breakpoint/scripted_bkpt/was_hit/TestWasHit.py (376 of 2570)
PASS: lldb-api :: functionalities/breakpoint/source_regexp/TestSourceRegexBreakpoints.py (377 of 2570)
PASS: lldb-api :: functionalities/breakpoint/serialize/TestBreakpointSerialization.py (378 of 2570)
PASS: lldb-api :: functionalities/breakpoint/step_over_breakpoint/TestStepOverBreakpoint.py (379 of 2570)
PASS: lldb-api :: functionalities/breakpoint/two_hits_one_actual/TestTwoHitsOneActual.py (380 of 2570)
PASS: lldb-api :: functionalities/breakpoint/thread_plan_user_breakpoint/TestThreadPlanUserBreakpoint.py (381 of 2570)
XFAIL: lldb-api :: functionalities/bt-interrupt/TestInterruptBacktrace.py (382 of 2570)
UNRESOLVED: lldb-api :: functionalities/breakpoint/update_condition/TestUpdateBreakpointCondition.py (383 of 2570)
******************** TEST 'lldb-api :: functionalities/breakpoint/update_condition/TestUpdateBreakpointCondition.py' FAILED ********************
Script:
--
C:/Users/tcwg/scoop/apps/python/current/python.exe C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/llvm-project/lldb\test\API\dotest.py -u CXXFLAGS -u CFLAGS --env LLVM_LIBS_DIR=C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/./lib --env LLVM_INCLUDE_DIR=C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/include --env LLVM_TOOLS_DIR=C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/./bin --triple aarch64-pc-windows-msvc --build-dir C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/lldb-test-build.noindex --lldb-module-cache-dir C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/lldb-test-build.noindex/module-cache-lldb\lldb-api --clang-module-cache-dir C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/lldb-test-build.noindex/module-cache-clang\lldb-api --executable C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/./bin/lldb.exe --compiler C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/./bin/clang.exe --dsymutil C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/./bin/dsymutil.exe --make C:/Users/tcwg/scoop/shims/make.exe --llvm-tools-dir C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/./bin --lldb-obj-root C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/tools/lldb --lldb-libs-dir C:/Users/tcwg/llvm-worker/lldb-aarch64-windows/build/./lib --cmake-build-type Release --skip-category=watchpoint --env LLDB_LAUNCH_FLAG_USE_PIPES=1 C:\Users\tcwg\llvm-worker\lldb-aarch64-windows\llvm-project\lldb\test\API\functionalities\breakpoint\update_condition -p TestUpdateBreakpointCondition.py
--
Exit Code: 1

Command Output (stdout):
--
Skipping the following test categories: watchpoint, libc++, libstdcxx, dwo, dsym, gmodules, debugserver, objc, fork, pexpect


--
Command Output (stderr):
--
UNSUPPORTED: LLDB (C:\Users\tcwg\llvm-worker\lldb-aarch64-windows\build\bin\clang.exe-aarch64) :: test_update_condition_command_dsym (TestUpdateBreakpointCondition.UpdateBreakpointConditionTestCase.test_update_condition_command_dsym) (test case does not fall in any category of interest for this run) 

PASS: LLDB (C:\Users\tcwg\llvm-worker\lldb-aarch64-windows\build\bin\clang.exe-aarch64) :: test_update_condition_command_dwarf (TestUpdateBreakpointCondition.UpdateBreakpointConditionTestCase.test_update_condition_command_dwarf)

UNSUPPORTED: LLDB (C:\Users\tcwg\llvm-worker\lldb-aarch64-windows\build\bin\clang.exe-aarch64) :: test_update_condition_command_dwo (TestUpdateBreakpointCondition.UpdateBreakpointConditionTestCase.test_update_condition_command_dwo) (test case does not fall in any category of interest for this run) 

UNSUPPORTED: LLDB (C:\Users\tcwg\llvm-worker\lldb-aarch64-windows\build\bin\clang.exe-aarch64) :: test_update_condition_python_api_dsym (TestUpdateBreakpointCondition.UpdateBreakpointConditionTestCase.test_update_condition_python_api_dsym) (test case does not fall in any category of interest for this run) 

FAIL: LLDB (C:\Users\tcwg\llvm-worker\lldb-aarch64-windows\build\bin\clang.exe-aarch64) :: test_update_condition_python_api_dwarf (TestUpdateBreakpointCondition.UpdateBreakpointConditionTestCase.test_update_condition_python_api_dwarf)

Log Files:

 - C:\Users\tcwg\llvm-worker\lldb-aarch64-windows\build\lldb-test-build.noindex\functionalities\breakpoint\update_condition\TestUpdateBreakpointCondition\Error_test_update_condition_python_api_dwarf.log

UNSUPPORTED: LLDB (C:\Users\tcwg\llvm-worker\lldb-aarch64-windows\build\bin\clang.exe-aarch64) :: test_update_condition_python_api_dwo (TestUpdateBreakpointCondition.UpdateBreakpointConditionTestCase.test_update_condition_python_api_dwo) (test case does not fall in any category of interest for this run) 

======================================================================

ERROR: test_update_condition_python_api_dwarf (TestUpdateBreakpointCondition.UpdateBreakpointConditionTestCase.test_update_condition_python_api_dwarf)

   Test that updating a breakpoint condition works correctly using Python API.

----------------------------------------------------------------------


```

</details>

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