[clang] [NFC][analyzer] Extract general logic in security.ArrayBound (PR #210774)

[via cfe-commits]

=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/210774 at github.com>


github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 55771 tests passed
* 1405 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### Clang
<details>
<summary>Clang.Analysis/ArrayBound/assumption-reporting.c</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\24\include -nostdsysteminc -analyze -setup-static-analyzer -Wno-array-bounds -analyzer-output=text             -analyzer-checker=core,security.ArrayBound,unix.Malloc,optin.taint -verify C:\_work\llvm-project\llvm-project\clang\test\Analysis\ArrayBound\assumption-reporting.c
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\24\include' -nostdsysteminc -analyze -setup-static-analyzer -Wno-array-bounds -analyzer-output=text -analyzer-checker=core,security.ArrayBound,unix.Malloc,optin.taint -verify 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\ArrayBound\assumption-reporting.c'
# .---command stderr------------
# | error: 'expected-note' diagnostics expected but not seen: 
# |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\ArrayBound\assumption-reporting.c Line 76 (directive at C:\_work\llvm-project\llvm-project\clang\test\Analysis\ArrayBound\assumption-reporting.c:77): Assuming byte offset is non-negative and less than 10, the extent of 'TwoAndHalfInts'
# | error: 'expected-note' diagnostics seen but not expected: 
# |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\ArrayBound\assumption-reporting.c Line 76: Assuming index is non-negative
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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