[clang] [NFC][analyzer][docs] Improve Annotations.rst (PR #122749)

Fri Jan 31 09:57:31 PST 2025

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

steakhal wrote:

> LLVM Buildbot has detected a new failure on builder `llvm-clang-aarch64-darwin` running on `doug-worker-5` while building `clang` at step 6 "test-build-unified-tree-check-all".
> 
> Full details are available at: https://lab.llvm.org/buildbot/#/builders/190/builds/13882
> 
> <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 'Clang :: Analysis/live-stmts.cpp' FAILED ********************
> Exit Code: 1
> 
> Command Output (stderr):
> --
> RUN: at line 1: /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang -cc1 -internal-isystem /Users/buildbot/buildbot-root/aarch64-darwin/build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -w -analyzer-checker=debug.DumpLiveExprs /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/live-stmts.cpp 2>&1   | /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/live-stmts.cpp
> + /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/clang -cc1 -internal-isystem /Users/buildbot/buildbot-root/aarch64-darwin/build/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -w -analyzer-checker=debug.DumpLiveExprs /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/live-stmts.cpp
> + /Users/buildbot/buildbot-root/aarch64-darwin/build/bin/FileCheck /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/live-stmts.cpp
> [1m/Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/live-stmts.cpp:239:16: [0m[0;1;31merror: [0m[1mCHECK-EMPTY: is not on the line after the previous match
> [0m// CHECK-EMPTY:
> [0;1;32m               ^
> [0m[1m<stdin>:180:1: [0m[0;1;30mnote: [0m[1m'next' match was here
> [0m
> [0;1;32m^
> [0m[1m<stdin>:177:1: [0m[0;1;30mnote: [0m[1mprevious match ended here
> [0m
> [0;1;32m^
> [0m[1m<stdin>:178:1: [0m[0;1;30mnote: [0m[1mnon-matching line after previous match is here
> [0mImplicitCastExpr 0x151011178 '_Bool' <LValueToRValue>
> [0;1;32m^
> [0m
> Input file: <stdin>
> Check file: /Users/buildbot/buildbot-root/aarch64-darwin/llvm-project/clang/test/Analysis/live-stmts.cpp
> 
> -dump-input=help explains the following input dump.
> 
> Input was:
> <<<<<<
> [1m[0m[0;1;30m           1: [0m[1m[0;1;46m [0m
> [0;1;30m           2: [0m[1m[0;1;46m[0m[ B0 (live expressions at block exit) ][0;1;46m [0m
> [0;1;32mcheck:21      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> [0m[0;1;30m           3: [0m[1m[0;1;46m[0m [0m
> [0;1;32mempty:22      ^
> [0m[0;1;30m           4: [0m[1m[0;1;46m[0m [0m
> [0;1;32mempty:23      ^
> [0m[0;1;30m           5: [0m[1m[0;1;46m[0m[ B1 (live expressions at block exit) ][0;1;46m [0m
> [0;1;32mcheck:24      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> [0m[0;1;30m           6: [0m[1m[0;1;46m[0m [0m
> [0;1;32mempty:25      ^
> [0m[0;1;30m           7: [0m[1m[0;1;46m[0m [0m
> [0;1;32mempty:26      ^
> [0m[0;1;30m           8: [0m[1m[0;1;46m[0m[ B2 (live expressions at block exit) ][0;1;46m [0m
> [0;1;32mcheck:27      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> [0m[0;1;30m           9: [0m[1m[0;1;46m[0m [0m
> [0;1;32mempty:28      ^
> [0m[0;1;30m          10: [0m[1m[0;1;46m[0mDeclRefExpr 0x15100dee0 'int' lvalue ParmVar 0x140915a70 'y' 'int'[0;1;46m [0m
> [0;1;32mnext:29       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> [0m[0;1;30m          11: [0m[1m[0;1;46m[0m [0m
> [0;1;32mempty:30      ^
> [0m[0;1;30m          12: [0m[1m[0;1;46m[0mDeclRefExpr 0x15100df00 'int' lvalue ParmVar 0x140915af0 'z' 'int'[0;1;46m [0m
> ...
> 
> ```
> 
> </details>

Hmm, we only changed the docs. I wonder what broke it before.

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