[llvm-branch-commits] [clang] UseFacts to consider only LValueToRValue and function calls (PR #181693)
via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Mon Feb 16 08:19:51 PST 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results
* 86210 tests passed
* 1266 tests skipped
* 5 tests failed
## Failed Tests
(click on a test name to see its output)
### Clang
<details>
<summary>Clang.Sema/warn-lifetime-safety-dataflow.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -mllvm -debug-only=LifetimeFacts -Wlifetime-safety /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp 2>&1 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -mllvm -debug-only=LifetimeFacts -Wlifetime-safety /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:22:11: error: CHECK: expected string not found in input
# | // CHECK: Use ([[O_P]] (Decl: p, Type : MyObj *), Read)
# | ^
# | <stdin>:29:46: note: scanning from here
# | Src: 1 (Expr: UnaryOperator, Type : MyObj *)
# | ^
# | <stdin>:29:46: note: with "O_P" equal to "2"
# | Src: 1 (Expr: UnaryOperator, Type : MyObj *)
# | ^
# | <stdin>:31:35: note: possible intended match here
# | Use (3 (Expr: DeclRefExpr, Decl: p), 2 (Decl: p, Type : MyObj *), Read)
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:84:11: error: CHECK: expected string not found in input
# | // CHECK: Use ([[O_P]] (Decl: p, Type : MyObj *), Write)
# | ^
# | <stdin>:94:38: note: scanning from here
# | Src: 3 (Expr: DeclRefExpr, Decl: s2)
# | ^
# | <stdin>:94:38: note: with "O_P" equal to "2"
# | Src: 3 (Expr: DeclRefExpr, Decl: s2)
# | ^
# | <stdin>:98:3: note: possible intended match here
# | Dest: 2 (Decl: p, Type : MyObj *)
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:106:11: error: CHECK: expected string not found in input
# | // CHECK: Use ([[O_P]] (Decl: p, Type : MyObj *), Write)
# | ^
# | <stdin>:119:46: note: scanning from here
# | Src: 1 (Expr: UnaryOperator, Type : MyObj *)
# | ^
# | <stdin>:119:46: note: with "O_P" equal to "2"
# | Src: 1 (Expr: UnaryOperator, Type : MyObj *)
# | ^
# | <stdin>:123:3: note: possible intended match here
# | Dest: 2 (Decl: p, Type : MyObj *)
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:129:11: error: CHECK: expected string not found in input
# | // CHECK: Use ([[O_P]] (Decl: p, Type : int *), Read)
# | ^
# | <stdin>:143:44: note: scanning from here
# | Src: 1 (Expr: UnaryOperator, Type : int *)
# | ^
# | <stdin>:143:44: note: with "O_P" equal to "2"
# | Src: 1 (Expr: UnaryOperator, Type : int *)
# | ^
# | <stdin>:158:65: note: possible intended match here
# | Use (8 (Expr: DeclRefExpr, Decl: pp), 6 (Decl: pp, Type : int **), 7 (Decl: pp, Type : int *), Read)
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:189:11: error: CHECK: expected string not found in input
# | // CHECK: Use ([[O_P]] (Decl: p, Type : MyObj *), Read)
# | ^
# | <stdin>:204:46: note: scanning from here
# | Src: 4 (Expr: UnaryOperator, Type : MyObj *)
# | ^
# | <stdin>:204:46: note: with "O_P" equal to "2"
# | Src: 4 (Expr: UnaryOperator, Type : MyObj *)
# | ^
# | <stdin>:206:35: note: possible intended match here
# | Use (8 (Expr: DeclRefExpr, Decl: p), 2 (Decl: p, Type : MyObj *), Read)
# | ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:233:11: error: CHECK: expected string not found in input
# | // CHECK: Use ({{[0-9]+}} (Decl: p, Type : const MyObj *), Write)
# | ^
# | <stdin>:252:40: note: scanning from here
# | Src: 3 (Decl: z, Type : const MyObj &)
# | ^
# | <stdin>:256:2: note: possible intended match here
# | Dest: 6 (Decl: p, Type : const MyObj *)
# | ^
# |
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 24: OriginFlow:
# | 25: Dest: 1 (Expr: UnaryOperator, Type : MyObj *)
# | 26: Src: 0 (Expr: DeclRefExpr, Decl: x)
# | 27: OriginFlow:
# | 28: Dest: 2 (Decl: p, Type : MyObj *)
# | 29: Src: 1 (Expr: UnaryOperator, Type : MyObj *)
# | check:22'0 X error: no match found
# | check:22'1 with "O_P" equal to "2"
# | 30: Issue (1 (Path: p), ToOrigin: 3 (Expr: DeclRefExpr, Decl: p))
# | check:22'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 31: Use (3 (Expr: DeclRefExpr, Decl: p), 2 (Decl: p, Type : MyObj *), Read)
# | check:22'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:22'2 ? possible intended match
# | 32: OriginFlow:
# | check:22'0 ~~~~~~~~~~~~~~
# | 33: Dest: 4 (Expr: ImplicitCastExpr, Type : MyObj *)
# | check:22'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 34: Src: 2 (Decl: p, Type : MyObj *)
# | check:22'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 35: Expire (0 (Path: x))
# | check:22'0 ~~~~~~~~~~~~~~~~~~~~~~
# | 36: Expire (1 (Path: p))
# | check:22'0 ~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 89: Dest: 2 (Decl: p, Type : MyObj *)
# | 90: Src: 1 (Expr: UnaryOperator, Type : MyObj *)
# | 91: Issue (1 (Path: s2), ToOrigin: 3 (Expr: DeclRefExpr, Decl: s2))
# | 92: OriginFlow:
# | 93: Dest: 4 (Expr: UnaryOperator, Type : MyObj *)
# | 94: Src: 3 (Expr: DeclRefExpr, Decl: s2)
# | check:84'0 X error: no match found
# | check:84'1 with "O_P" equal to "2"
# | 95: Issue (2 (Path: p), ToOrigin: 5 (Expr: DeclRefExpr, Decl: p))
# | check:84'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 96: Use (4 (Expr: UnaryOperator, Type : MyObj *), Read)
# | check:84'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 97: OriginFlow:
# | check:84'0 ~~~~~~~~~~~~~~
# | 98: Dest: 2 (Decl: p, Type : MyObj *)
# | check:84'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:84'2 ? possible intended match
# | 99: Src: 4 (Expr: UnaryOperator, Type : MyObj *)
# | check:84'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 100: Expire (1 (Path: s2))
# | check:84'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 101: Expire (0 (Path: s1))
# | check:84'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 102: Expire (2 (Path: p))
# | check:84'0 ~~~~~~~~~~~~~~~~~~~~~~
# | 103: End of Block
# | check:84'0 ~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 114: OriginFlow:
# | 115: Dest: 1 (Expr: UnaryOperator, Type : MyObj *)
# | 116: Src: 0 (Expr: DeclRefExpr, Decl: s1)
# | 117: OriginFlow:
# | 118: Dest: 2 (Decl: p, Type : MyObj *)
# | 119: Src: 1 (Expr: UnaryOperator, Type : MyObj *)
# | check:106'0 X error: no match found
# | check:106'1 with "O_P" equal to "2"
# | 120: Issue (1 (Path: p), ToOrigin: 4 (Expr: DeclRefExpr, Decl: p))
# | check:106'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 121: Use (3 (Expr: ImplicitCastExpr, Type : MyObj *), Read)
# | check:106'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 122: OriginFlow:
# | check:106'0 ~~~~~~~~~~~~~~
# | 123: Dest: 2 (Decl: p, Type : MyObj *)
# | check:106'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:106'2 ? possible intended match
# | 124: Src: 3 (Expr: ImplicitCastExpr, Type : MyObj *)
# | check:106'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 125: Expire (0 (Path: s1))
# | check:106'0 ~~~~~~~~~~~~~~~~~~~~~~~
# | 126: Expire (1 (Path: p))
# | check:106'0 ~~~~~~~~~~~~~~~~~~~~~~
# | 127: End of Block
# | check:106'0 ~~~~~~~~~~~~~~
# | 128: Block B0:
# | check:106'0 ~~~~~~~~~~~
# | .
# | .
# | .
# | 138: OriginFlow:
# | 139: Dest: 1 (Expr: UnaryOperator, Type : int *)
# | 140: Src: 0 (Expr: DeclRefExpr, Decl: a)
# | 141: OriginFlow:
# | 142: Dest: 2 (Decl: p, Type : int *)
# | 143: Src: 1 (Expr: UnaryOperator, Type : int *)
# | check:129'0 X error: no match found
# | check:129'1 with "O_P" equal to "2"
# | 144: Issue (1 (Path: p), ToOrigin: 3 (Expr: DeclRefExpr, Decl: p))
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 145: OriginFlow:
# | check:129'0 ~~~~~~~~~~~~~~
# | 146: Dest: 4 (Expr: UnaryOperator, Type : int **)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 147: Src: 3 (Expr: DeclRefExpr, Decl: p)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 148: OriginFlow:
# | check:129'0 ~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 153: Src: 4 (Expr: UnaryOperator, Type : int **)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 154: OriginFlow:
# | check:129'0 ~~~~~~~~~~~~~~
# | 155: Dest: 7 (Decl: pp, Type : int *)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 156: Src: 5 (Expr: UnaryOperator, Type : int *)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 157: Issue (2 (Path: pp), ToOrigin: 8 (Expr: DeclRefExpr, Decl: pp))
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 158: Use (8 (Expr: DeclRefExpr, Decl: pp), 6 (Decl: pp, Type : int **), 7 (Decl: pp, Type : int *), Read)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:129'2 ? possible intended match
# | 159: OriginFlow:
# | check:129'0 ~~~~~~~~~~~~~~
# | 160: Dest: 9 (Expr: ImplicitCastExpr, Type : int **)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 161: Src: 6 (Decl: pp, Type : int **)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 162: OriginFlow:
# | check:129'0 ~~~~~~~~~~~~~~
# | 163: Dest: 10 (Expr: ImplicitCastExpr, Type : int *)
# | check:129'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 199: OriginFlow:
# | 200: Dest: 4 (Expr: UnaryOperator, Type : MyObj *)
# | 201: Src: 3 (Expr: DeclRefExpr, Decl: y)
# | 202: OriginFlow:
# | 203: Dest: 5 (Decl: q, Type : MyObj *)
# | 204: Src: 4 (Expr: UnaryOperator, Type : MyObj *)
# | check:189'0 X error: no match found
# | check:189'1 with "O_P" equal to "2"
# | 205: Issue (2 (Path: p), ToOrigin: 8 (Expr: DeclRefExpr, Decl: p))
# | check:189'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 206: Use (8 (Expr: DeclRefExpr, Decl: p), 2 (Decl: p, Type : MyObj *), Read)
# | check:189'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:189'2 ? possible intended match
# | 207: OriginFlow:
# | check:189'0 ~~~~~~~~~~~~~~
# | 208: Dest: 9 (Expr: ImplicitCastExpr, Type : MyObj *)
# | check:189'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 209: Src: 2 (Decl: p, Type : MyObj *)
# | check:189'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 210: Issue (3 (Path: q), ToOrigin: 10 (Expr: DeclRefExpr, Decl: q))
# | check:189'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 211: Use (10 (Expr: DeclRefExpr, Decl: q), 5 (Decl: q, Type : MyObj *), Read)
# | check:189'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 247: OriginFlow:
# | 248: Dest: 3 (Decl: z, Type : const MyObj &)
# | 249: Src: 2 (Decl: y, Type : const MyObj &)
# | 250: OriginFlow:
# | 251: Dest: 4 (Expr: UnaryOperator, Type : const MyObj *)
# | 252: Src: 3 (Decl: z, Type : const MyObj &)
# | check:233'0 X error: no match found
# | 253: Issue (1 (Path: p), ToOrigin: 5 (Expr: DeclRefExpr, Decl: p))
# | check:233'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 254: Use (4 (Expr: UnaryOperator, Type : const MyObj *), Read)
# | check:233'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 255: OriginFlow:
# | check:233'0 ~~~~~~~~~~~~~~
# | 256: Dest: 6 (Decl: p, Type : const MyObj *)
# | check:233'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:233'1 ? possible intended match
# | 257: Src: 4 (Expr: UnaryOperator, Type : const MyObj *)
# | check:233'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 258: Expire (0 (Path: x))
# | check:233'0 ~~~~~~~~~~~~~~~~~~~~~~
# | 259: Expire (1 (Path: p))
# | check:233'0 ~~~~~~~~~~~~~~~~~~~~~~
# | 260: End of Block
# | check:233'0 ~~~~~~~~~~~~~~
# | 261: Block B0:
# | check:233'0 ~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Sema/warn-lifetime-safety-invalidations.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -fsyntax-only -Wlifetime-safety -Wno-dangling -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -fsyntax-only -Wlifetime-safety -Wno-dangling -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 291: object whose reference is captured is later invalidated
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 301: object whose reference is captured is later invalidated
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 306: object whose reference is captured is later invalidated
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 314: object whose reference is captured is later invalidated
# | error: 'expected-warning' diagnostics seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 285: object whose reference is captured is later invalidated
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 286: object whose reference is captured is later invalidated
# | error: 'expected-note' diagnostics expected but not seen:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 292: invalidated here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 293: later used here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 302: invalidated here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 303: later used here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 307: invalidated here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 308: later used here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 317: invalidated here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 318: later used here
# | error: 'expected-note' diagnostics seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 288: invalidated here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 285: invalidated here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 285: later used here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-invalidations.cpp Line 286: later used here
# | 18 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.Sema/warn-lifetime-safety-suggestions.cpp</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 1
rm -rf /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp
# executed command: rm -rf /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp
# note: command had no output on stdout or stderr
# RUN: at line 2
split-file /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-suggestions.cpp /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp
# executed command: split-file /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-suggestions.cpp /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp
# note: command had no output on stdout or stderr
# RUN: at line 3
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -fsyntax-only -flifetime-safety-inference -fexperimental-lifetime-safety-tu-analysis -Wlifetime-safety-suggestions -Wlifetime-safety -Wno-dangling -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/23/include -nostdsysteminc -fsyntax-only -flifetime-safety-inference -fexperimental-lifetime-safety-tu-analysis -Wlifetime-safety-suggestions -Wlifetime-safety -Wno-dangling -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 147: object whose reference is captured does not live long enough
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 153: object whose reference is captured does not live long enough
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 159: object whose reference is captured does not live long enough
# | error: 'expected-note' diagnostics expected but not seen:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 147 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp:148): destroyed here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 149: later used here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 153 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp:154): destroyed here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 155: later used here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 159 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp:160): destroyed here
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/test/Sema/Output/warn-lifetime-safety-suggestions.cpp.tmp/test_source.cpp Line 161: later used here
# | 9 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
### Clang-Unit
<details>
<summary>Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LivenessInLoopAndIf</summary>
```
Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LivenessInLoopAndIf
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1309
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p4")
Actual: 32-byte object <F0-93 66-42 00-00 00-00 10-94 66-42 00-00 00-00 10-94 66-42 00-00 00-00 80-95 66-42 00-00 00-00>, Expected: {5, } Actual: {}
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1311
Value of: Origins({"p"})
Expected: maybe live at (Annotation: "p2")
Actual: 32-byte object <C0-80 6B-42 00-00 00-00 E0-80 6B-42 00-00 00-00 E0-80 6B-42 00-00 00-00 80-95 66-42 00-00 00-00>, Expected: {5, } Actual: {}
```
</details>
<details>
<summary>Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/TrivialClassDestructorsUAF</summary>
```
Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.TrivialClassDestructorsUAF
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1408
Value of: Origins({"ptr"})
Expected: must be live at (Annotation: "p1")
Actual: 32-byte object <70-A9 53-10 00-00 00-00 90-A9 53-10 00-00 00-00 90-A9 53-10 00-00 00-00 30-7B 59-10 00-00 00-00>, Expected: {3, } Actual: {}
```
</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/181693
More information about the llvm-branch-commits
mailing list