<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/126619>126619</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            clang/test/Analysis/live-stmts.cpp frequently flaky on aarch64
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:static analyzer
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          nico
      </td>
    </tr>
</table>

<pre>
    I reported a failure of clang/test/Analysis/live-stmts.cpp here: https://github.com/llvm/llvm-project/pull/125840#issuecomment-2648420648

@nikic replied:

> Pretty sure I see spurious failures of that test on aarch64 all the time.

So I'm filing this, to make sure we have an issue for tracking the flaky test.

Failure log, from https://github.com/llvm/llvm-project/pull/125840#issuecomment-2648420648:

<details>
<summary>failure log</summary

```
-- Testing: 20876 tests, 8 workers --
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90
FAIL: Clang :: Analysis/live-stmts.cpp (12643 of 20876)
******************** TEST 'Clang :: Analysis/live-stmts.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /Users/thakis/src/llvm-project/out/gn/bin/clang -cc1 -internal-isystem /Users/thakis/src/llvm-project/out/gn/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -w -analyzer-checker=debug.DumpLiveExprs /Users/thakis/src/llvm-project/clang/test/Analysis/live-stmts.cpp 2>&1   | /Users/thakis/src/llvm-project/out/gn/bin/FileCheck /Users/thakis/src/llvm-project/clang/test/Analysis/live-stmts.cpp
+ /Users/thakis/src/llvm-project/out/gn/bin/clang -cc1 -internal-isystem /Users/thakis/src/llvm-project/out/gn/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -w -analyzer-checker=debug.DumpLiveExprs /Users/thakis/src/llvm-project/clang/test/Analysis/live-stmts.cpp
+ /Users/thakis/src/llvm-project/out/gn/bin/FileCheck /Users/thakis/src/llvm-project/clang/test/Analysis/live-stmts.cpp
/Users/thakis/src/llvm-project/clang/test/Analysis/live-stmts.cpp:239:16: error: CHECK-EMPTY: is not on the line after the previous match
// CHECK-EMPTY:
               ^
<stdin>:180:1: note: 'next' match was here

^
<stdin>:177:1: note: previous match ended here

^
<stdin>:178:1: note: non-matching line after previous match is here
ImplicitCastExpr 0x11280d178 '_Bool' <LValueToRValue>
^

Input file: <stdin>
Check file: /Users/thakis/src/llvm-project/clang/test/Analysis/live-stmts.cpp

-dump-input=help explains the following input dump.

Input was:
<<<<<<
           .
 .
           .
         175:  
         176: IntegerLiteral 0x110810820 'int' 1 
         177:  
         178: ImplicitCastExpr 0x11280d178 '_Bool' <LValueToRValue> 
         179: `-DeclRefExpr 0x11280d138 '_Bool' lvalue ParmVar 0x11280cfb8 'b' '_Bool' 
         180: 
empty:239     ! error: match on wrong line
         181: ImplicitCastExpr 0x11280d190 '_Bool' <LValueToRValue> 
         182: `-DeclRefExpr 0x11280d158 '_Bool' lvalue ParmVar 0x11280cfb8 'b' '_Bool' 
         183: 
         184: BinaryOperator 0x11280d1a8 '_Bool' '||' 
         185: |-ImplicitCastExpr 0x11280d178 '_Bool' <LValueToRValue> 
           .
 .
           .
>>>>>>

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90..
********************
Failed Tests (1):
  Clang :: Analysis/live-stmts.cpp

```
</details>



</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsV1Fz47gN_jX0C0YeirQt-cEPimNPM017O3u5m-lTh5Zgmw1FqiSVxP31HVBOYntvt9lNtk-X4cCRRH74AIIgoELQO4u4YNMrNr0eqT7unV9YXbvRxjWHxQ147JyP2ICCrdKm9whuC7VRdsfEOmKITKwrq8wh6MDE2ugHzEJsYxjXXQd79MhkBfsYu8BkxcSaifVOx32_GdeupRXm4fkn67z7F9YE2fXGMLHOxbSccCakDqHH2rUt2piJ2aScCD6blIxXNCbc6ntdE1ujsSFFwwe5gk8eYzxAIOo3EBAhdL3Xrg_PFgUyKe5VBLIHnAWlfL2fTUAZA3GPEHWL4wHyVwc3TBQtbLXRdgdxT3YvITpo1T0Oeh4R9uoBQVlIxGHrPESv6vthCcLWqPtD0nfEXR-9a9yO4LbetT_Pa6_-WTYYlTaBydXwHPq2Vf7A5Gp7wkgumVg_fxqWzvhx8CrL4A5D1HZHey14WcySackxJTw6f48-QJYxXp1MBD4eQ05CkJAkJiSmJGYkChIliTkpWlc3t7RySfEHZIas4OvRx0SZi9lE0v4mVkzMibr48QF3q1_vgInibRSYKIBIr67hPVoZr1ZPOsLSNek45cMeLF3bKtvAL33s-kjmhtig92Rm2uLk8c-__Z3WqAhGW4ScHphY_xbQE-G4V_eJefD1lxHlepI7y8R6o0mmow9ZXeeQaRvRW2UyHQ4hYvtDsEZvnmGZWIucibW2tekbhMy6EJsBW9saMkV-_g--_OOz2tkQvdI2BiavvbI7hCxg7LssRBV1_TIVssfTdXus79Ezed3gpt-Nr_u2u9UPuHrqfHi7HW9OhIIOmJjlAMCK5Tv8v9YGl0T-40mmo3H1Z2z8n2Pj3W7_2SHx0ZiyEpISVD6jVITeO5-S-l9Wy79mq799uvsHPeoA1qXbmO7LlLrUNqJPj53Hh3SFtyrW-4ElE-sLDMYrOP9j0-drLjba0pmUVV5ykqTTuohDeiwsPkXK3kkBPKow1DLD3fdHKEVxiXJOEtA22PxPlPISxTqbJQAqHU7ccIGuXwjetJ3RtY5LFSKFLPCnPBclb_KiJMv-eeWcIdOYXN7-rkyPd-5z-j0WAQMvXt1YulW22gw-OSHKqyHeXr79jLjjVdb0bZdposHk9R5NB_jUGaVtGIooZ4x7JL-kOUDTx6fcH1U41jpyeTnOYoNWDeLi3fNfXkxTyXL-LgXwjY24Q3-rI3plkrd5mfNScPK2timM8ouVxR-glQntPbt3AThPezPj2TXW5jNuz_HkOZ55IBD4pHz7u3qZVm83adomqTxVf6opnSB6hW0XD8MBH86byF8P-BCozsKjd8dYPkfJv-2AOf9OB5Timw6YfqAD5NEBJ68m9OpKW-UPv3ToVXQnutXFZoqCFUsaXyCnuGPFMvu4yPh6vKcsdD74SyH5ztL5XcX_ePx-7dRiYZNalZB6g5c6Gd7YUXzZ-gyd0XkTlcaoWchmLudqhIu8kHMhyslUjvYLlLkqZqJQolCTSaMKOW-2OedToRopSjXSC8HFlIucC8n5VI6VKmYNFnk930pZTgs24dgqbcaUXMfO70apz1vkYjbL5yOjNmhC6umFGBKurIaCB55rHCYENfx-kfLzpt8FNuFGhxheQaOOBhdvrnC3Hv_do43mcGxuX_voUe_N4rub2WRUSO1ssuthIf4bAAD__zKR-O8">