[clang] [clang][CFG][NFC] Add some tests for guaranteed eval orders (PR #212116)

[via cfe-commits]

github-actions[bot] wrote:

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

* 55812 tests passed
* 1425 tests skipped
* 1 test failed

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

### Clang
<details>
<summary>Clang.Analysis/cfg-eval-order.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 -analyzer-checker=debug.DumpCFG -std=c17 C:\_work\llvm-project\llvm-project\clang\test\Analysis\cfg-eval-order.c 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\clang\test\Analysis\cfg-eval-order.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 -analyzer-checker=debug.DumpCFG -std=c17 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\cfg-eval-order.c'
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\cfg-eval-order.c'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\clang\test\Analysis\cfg-eval-order.c:18:11: error: CHECK: expected string not found in input
# | // CHECK: 1: getVal
# |           ^
# | <stdin>:1:40: note: scanning from here
# | void test_compound_assign(int a, int b)
# |                                        ^
# | <stdin>:12:2: note: possible intended match here
# |  7: getVal
# |  ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\clang\test\Analysis\cfg-eval-order.c
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             1: void test_compound_assign(int a, int b) 
# | check:18'0                                           {   search range start (exclusive)
# | check:18'1                                               error: no match found in search range
# |             2:  [B2 (ENTRY)] 
# |             3:  Succs (1): B1 
# |             4:  
# |             5:  [B1] 
# |             6:  1: getPtr 
# |             7:  2: [B1.1] (ImplicitCastExpr, FunctionToPointerDecay, int *(*)(int)) 
# |             8:  3: a 
# |             9:  4: [B1.3] (ImplicitCastExpr, LValueToRValue, int) 
# |            10:  5: [B1.2]([B1.4]) 
# |            11:  6: *[B1.5] 
# |            12:  7: getVal 
# | check:18'2      ?           possible intended match
# |            13:  8: [B1.7] (ImplicitCastExpr, FunctionToPointerDecay, int (*)(int)) 
# |            14:  9: b 
# |            15:  10: [B1.9] (ImplicitCastExpr, LValueToRValue, int) 
# |            16:  11: [B1.8]([B1.10]) 
# |            17:  12: [B1.6] += [B1.11] 
# |            18:  Preds (1): B2 
# |            19:  Succs (1): B0 
# |            20:  
# |            21:  [B0 (EXIT)] 
# |            22:  Preds (1): B1 
# |            23:  
# |            24: void test_simple_assign(int a, int b) 
# | check:18'3                                          }  search range end (exclusive)
# |            25:  [B2 (ENTRY)] 
# |            26:  Succs (1): B1 
# |            27:  
# |            28:  [B1] 
# |            29:  1: getVal 
# |             .
# |             .
# |             .
# | >>>>>>
# `-----------------------------
# 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/212116