[LifetimeSafety] Implement multi-level origins #168344

usx95 · 2025-11-17T10:59:02Z

No description provided.

usx95 · 2025-11-17T10:59:19Z

[LifetimeSafety] Implement multi-level origins #168344 👈 (View in Graphite)
main

This stack of pull requests is managed by Graphite. Learn more about stacking.

github-actions · 2025-11-17T11:00:39Z

⚠️ C/C++ code formatter, clang-format found issues in your code. ⚠️

You can test this locally with the following command:

git-clang-format --diff origin/main HEAD --extensions cpp,h -- clang/include/clang/Analysis/Analyses/LifetimeSafety/Facts.h clang/include/clang/Analysis/Analyses/LifetimeSafety/FactsGenerator.h clang/include/clang/Analysis/Analyses/LifetimeSafety/LifetimeAnnotations.h clang/include/clang/Analysis/Analyses/LifetimeSafety/Origins.h clang/lib/Analysis/LifetimeSafety/Facts.cpp clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp clang/lib/Analysis/LifetimeSafety/LifetimeAnnotations.cpp clang/lib/Analysis/LifetimeSafety/LiveOrigins.cpp clang/lib/Analysis/LifetimeSafety/LoanPropagation.cpp clang/lib/Analysis/LifetimeSafety/Origins.cpp clang/lib/Sema/CheckExprLifetime.cpp clang/lib/Sema/CheckExprLifetime.h clang/lib/Sema/SemaAttr.cpp clang/test/Sema/warn-lifetime-safety.cpp clang/unittests/Analysis/LifetimeSafetyTest.cpp --diff_from_common_commit

⚠️
The reproduction instructions above might return results for more than one PR
in a stack if you are using a stacked PR workflow. You can limit the results by
changing origin/main to the base branch/commit you want to compare against.
⚠️

View the diff from clang-format here.

diff --git a/clang/include/clang/Analysis/Analyses/LifetimeSafety/Origins.h b/clang/include/clang/Analysis/Analyses/LifetimeSafety/Origins.h
index 171719785..bbe17f44b 100644
--- a/clang/include/clang/Analysis/Analyses/LifetimeSafety/Origins.h
+++ b/clang/include/clang/Analysis/Analyses/LifetimeSafety/Origins.h
@@ -135,7 +135,7 @@ private:
     AllOrigins.emplace_back(NewID, D);
     return new (TreeAllocator.Allocate<OriginTree>()) OriginTree(NewID);
   }
-  OriginTree *createNode(const Expr* E) {
+  OriginTree *createNode(const Expr *E) {
     OriginID NewID = getNextOriginID();
     AllOrigins.emplace_back(NewID, E);
     return new (TreeAllocator.Allocate<OriginTree>()) OriginTree(NewID);
diff --git a/clang/unittests/Analysis/LifetimeSafetyTest.cpp b/clang/unittests/Analysis/LifetimeSafetyTest.cpp
index b63ddbb73..2268e4164 100644
--- a/clang/unittests/Analysis/LifetimeSafetyTest.cpp
+++ b/clang/unittests/Analysis/LifetimeSafetyTest.cpp
@@ -101,7 +101,8 @@ public:
     // This assumes the OriginManager's `get` can find an existing origin.
     // We might need a `find` method on OriginManager to avoid `getOrCreate`
     // logic in a const-query context if that becomes an issue.
-    // return const_cast<OriginManager &>(Analysis.getFactManager().getOriginMgr())
+    // return const_cast<OriginManager
+    // &>(Analysis.getFactManager().getOriginMgr())
     //     .get(*VD);
     return std::nullopt;
   }

github-actions · 2025-11-18T12:17:10Z

🐧 Linux x64 Test Results

84635 tests passed
1085 tests skipped
42 tests failed

Failed Tests

(click on a test name to see its output)

Clang

Clang.Sema/warn-lifetime-safety-dataflow.cpp

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/22/include -nostdsysteminc -fexperimental-lifetime-safety -mllvm -debug-only=LifetimeFacts -Wexperimental-lifetime-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/22/include -nostdsysteminc -fexperimental-lifetime-safety -mllvm -debug-only=LifetimeFacts -Wexperimental-lifetime-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:14:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_X:[0-9]+]] (Path: x), ToOrigin: [[O_DRE_X:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:13:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:16:2: note: possible intended match here
# |  Issue (0 (Path: x), ToOrigin: 0 (Expr: DeclRefExpr(x)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:31:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_Y:[0-9]+]] (Path: y), ToOrigin: [[O_DRE_Y:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:30:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:33:2: note: possible intended match here
# |  Issue (0 (Path: y), ToOrigin: 0 (Expr: DeclRefExpr(y)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:61:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_X:[0-9]+]] (Path: x), ToOrigin: {{[0-9]+}} (Expr: DeclRefExpr))
# |           ^
# | <stdin>:58:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:61:2: note: possible intended match here
# |  Issue (0 (Path: x), ToOrigin: 0 (Expr: DeclRefExpr(x)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:72:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_OBJ:[0-9]+]] (Path: obj), ToOrigin: [[O_DRE_OBJ:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:69:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:72:2: note: possible intended match here
# |  Issue (0 (Path: obj), ToOrigin: 0 (Expr: DeclRefExpr(obj)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:85:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_TRIVIAL_OBJ:[0-9]+]] (Path: trivial_obj), ToOrigin: [[O_DRE_TRIVIAL:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:83:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:86:2: note: possible intended match here
# |  Issue (0 (Path: trivial_obj), ToOrigin: 0 (Expr: DeclRefExpr(trivial_obj)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:102:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_A:[0-9]+]] (Path: a), ToOrigin: [[O_DRE_A:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:96:11: note: scanning from here
# |  Block B5:
# |           ^
# | <stdin>:103:2: note: possible intended match here
# |  Issue (1 (Path: a), ToOrigin: 3 (Expr: DeclRefExpr(a)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:130:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_V1:[0-9]+]] (Path: v1), ToOrigin: [[O_DRE_V1:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:125:11: note: scanning from here
# |  Block B6:
# |           ^
# | <stdin>:128:2: note: possible intended match here
# |  Issue (0 (Path: v1), ToOrigin: 0 (Expr: DeclRefExpr(v1)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:170:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_S1:[0-9]+]] (Path: s1), ToOrigin: [[O_DRE_S1:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:171:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:174:2: note: possible intended match here
# |  Issue (0 (Path: s1), ToOrigin: 0 (Expr: DeclRefExpr(s1)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:187:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_S1:[0-9]+]] (Path: s1), ToOrigin: [[O_DRE_S1:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:190:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:193:2: note: possible intended match here
# |  Issue (0 (Path: s1), ToOrigin: 0 (Expr: DeclRefExpr(s1)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:206:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_S1:[0-9]+]] (Path: s1), ToOrigin: [[O_DRE_S1:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:206:11: note: scanning from here
# |  Block B4:
# |           ^
# | <stdin>:209:2: note: possible intended match here
# |  Issue (0 (Path: s1), ToOrigin: 0 (Expr: DeclRefExpr(s1)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:230:11: error: CHECK: expected string not found in input
# | // CHECK: OriginFlow (Dest: [[O_NULLPTR_CAST:[0-9]+]] (Expr: ImplicitCastExpr), Src: [[O_NULLPTR:[0-9]+]] (Expr: CXXNullPtrLiteralExpr))
# |           ^
# | <stdin>:230:11: note: scanning from here
# |  Block B6:
# |           ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:268:11: error: CHECK: expected string not found in input
# | // CHECK: OriginFlow (Dest: [[O_NULLPTR_CAST:[0-9]+]] (Expr: ImplicitCastExpr), Src: [[O_NULLPTR:[0-9]+]] (Expr: CXXNullPtrLiteralExpr))
# |           ^
# | <stdin>:265:11: note: scanning from here
# |  Block B5:
# |           ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:288:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_S1:[0-9]+]] (Path: s1), ToOrigin: [[O_DRE_S1:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:288:11: note: scanning from here
# |  Block B7:
# |           ^
# | <stdin>:291:2: note: possible intended match here
# |  Issue (0 (Path: s1), ToOrigin: 0 (Expr: DeclRefExpr(s1)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:311:11: error: CHECK: expected string not found in input
# | // CHECK: OriginFlow (Dest: [[O_NULLPTR_CAST:[0-9]+]] (Expr: ImplicitCastExpr), Src: [[O_NULLPTR:[0-9]+]] (Expr: CXXNullPtrLiteralExpr))
# |           ^
# | <stdin>:321:11: note: scanning from here
# |  Block B2:
# |           ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:338:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_A:[0-9]+]] (Path: a), ToOrigin: [[O_DRE_A:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:342:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:345:2: note: possible intended match here
# |  Issue (0 (Path: a), ToOrigin: 0 (Expr: DeclRefExpr(a)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:356:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_A:[0-9]+]] (Path: a), ToOrigin: [[O_DRE_A:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:363:11: note: scanning from here
# |  Block B5:
# |           ^
# | <stdin>:366:2: note: possible intended match here
# |  Issue (0 (Path: a), ToOrigin: 0 (Expr: DeclRefExpr(a)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:373:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_X:[0-9]+]] (Path: x), ToOrigin: [[O_DRE_X:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:389:11: note: scanning from here
# |  Block B2:
# |           ^
# | <stdin>:392:2: note: possible intended match here
# |  Issue (0 (Path: x), ToOrigin: 0 (Expr: DeclRefExpr(x)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:399:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_X:[0-9]+]] (Path: x), ToOrigin: [[O_DRE_X:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:417:38: note: scanning from here
# | Function: test_use_lifetimebound_call
# |                                      ^
# | <stdin>:421:2: note: possible intended match here
# |  Issue (0 (Path: x), ToOrigin: 0 (Expr: DeclRefExpr(x)))
# |  ^
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Sema/warn-lifetime-safety-dataflow.cpp:422:11: error: CHECK: expected string not found in input
# | // CHECK: Issue ([[L_X:[0-9]+]] (Path: x), ToOrigin: [[O_DRE_X:[0-9]+]] (Expr: DeclRefExpr))
# |           ^
# | <stdin>:443:11: note: scanning from here
# |  Block B5:
# |           ^
# | <stdin>:449:2: note: possible intended match here
# |  Issue (1 (Path: x), ToOrigin: 1 (Expr: DeclRefExpr(x)))
# |  ^
# | 
# | 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:
# | <<<<<<
# |              .
# |              .
# |              .
# |              8:  End of Block 
# |              9: ========================================== 
# |             10:  Lifetime Analysis Facts: 
# |             11: ========================================== 
# |             12: Function: return_local_addr 
# |             13:  Block B2: 
# | check:14'0                X error: no match found
# |             14:  End of Block 
# | check:14'0      ~~~~~~~~~~~~~~
# |             15:  Block B1: 
# | check:14'0      ~~~~~~~~~~~
# |             16:  Issue (0 (Path: x), ToOrigin: 0 (Expr: DeclRefExpr(x))) 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:14'1       ?                                                        possible intended match
# |             17:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(x))) 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             18:  OriginFlow (Dest: 2 (Decl: p), Src: 1 (Expr: UnaryOperator)) 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             19:  Use (3 (Expr: DeclRefExpr(p)) 2 (Decl: p) , Read) 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             20:  OriginFlow (Dest: 4 (Expr: ImplicitCastExpr), Src: 2 (Decl: p)) 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             21:  ReturnOfOrigin (4 (Expr: ImplicitCastExpr)) 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |             25:  End of Block 
# | check:14'0      ~~~~~~~~~~~~~~
# |             26: ========================================== 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             27:  Lifetime Analysis Facts: 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             28: ========================================== 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             29: Function: assign_and_return_local_addr 
# | check:14'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             30:  Block B2: 
# | check:31'0                X error: no match found
# |             31:  End of Block 
# | check:31'0      ~~~~~~~~~~~~~~
# |             32:  Block B1: 
# | check:31'0      ~~~~~~~~~~~
# |             33:  Issue (0 (Path: y), ToOrigin: 0 (Expr: DeclRefExpr(y))) 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:31'1       ?                                                        possible intended match
# |             34:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(y))) 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             35:  OriginFlow (Dest: 2 (Decl: ptr1), Src: 1 (Expr: UnaryOperator)) 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             36:  Use (3 (Expr: DeclRefExpr(ptr1)) 2 (Decl: ptr1) , Read) 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             37:  OriginFlow (Dest: 4 (Expr: ImplicitCastExpr), Src: 2 (Decl: ptr1)) 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             38:  OriginFlow (Dest: 5 (Decl: ptr2), Src: 4 (Expr: ImplicitCastExpr)) 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |             53:  End of Block 
# | check:31'0      ~~~~~~~~~~~~~~
# |             54: ========================================== 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             55:  Lifetime Analysis Facts: 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             56: ========================================== 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             57: Function: return_int_val 
# | check:31'0      ~~~~~~~~~~~~~~~~~~~~~~~~
# |             58:  Block B2: 
# | check:61'0                X error: no match found
# |             59:  End of Block 
# | check:61'0      ~~~~~~~~~~~~~~
# |             60:  Block B1: 
# | check:61'0      ~~~~~~~~~~~
# |             61:  Issue (0 (Path: x), ToOrigin: 0 (Expr: DeclRefExpr(x))) 
# | check:61'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:61'1       ?                                                        possible intended match
# |             62:  End of Block 
# | check:61'0      ~~~~~~~~~~~~~~
# |             63:  Block B0: 
# | check:61'0      ~~~~~~~~~~~
# |             64:  End of Block 
# | check:61'0      ~~~~~~~~~~~~~~
# |             65: ========================================== 
# | check:61'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             66:  Lifetime Analysis Facts: 
# | check:61'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             67: ========================================== 
# | check:61'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             68: Function: loan_expires_cpp 
# | check:61'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             69:  Block B2: 
# | check:72'0                X error: no match found
# |             70:  End of Block 
# | check:72'0      ~~~~~~~~~~~~~~
# |             71:  Block B1: 
# | check:72'0      ~~~~~~~~~~~
# |             72:  Issue (0 (Path: obj), ToOrigin: 0 (Expr: DeclRefExpr(obj))) 
# | check:72'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:72'1       ?                                                            possible intended match
# |             73:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(obj))) 
# | check:72'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             74:  OriginFlow (Dest: 2 (Decl: pObj), Src: 1 (Expr: UnaryOperator)) 
# | check:72'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             75:  Expire (0 (Path: obj)) 
# | check:72'0      ~~~~~~~~~~~~~~~~~~~~~~~~
# |             76:  End of Block 
# | check:72'0      ~~~~~~~~~~~~~~
# |             77:  Block B0: 
# | check:72'0      ~~~~~~~~~~~
# |             78:  End of Block 
# | check:72'0      ~~~~~~~~~~~~~~
# |             79: ========================================== 
# | check:72'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             80:  Lifetime Analysis Facts: 
# | check:72'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             81: ========================================== 
# | check:72'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             82: Function: loan_expires_trivial 
# | check:72'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             83:  Block B2: 
# | check:85'0                X error: no match found
# |             84:  End of Block 
# | check:85'0      ~~~~~~~~~~~~~~
# |             85:  Block B1: 
# | check:85'0      ~~~~~~~~~~~
# |             86:  Issue (0 (Path: trivial_obj), ToOrigin: 0 (Expr: DeclRefExpr(trivial_obj))) 
# | check:85'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:85'1       ?                                                                            possible intended match
# |             87:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(trivial_obj))) 
# | check:85'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             88:  OriginFlow (Dest: 2 (Decl: pTrivialObj), Src: 1 (Expr: UnaryOperator)) 
# | check:85'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             89:  End of Block 
# | check:85'0      ~~~~~~~~~~~~~~
# |             90:  Block B0: 
# | check:85'0      ~~~~~~~~~~~
# |             91:  End of Block 
# | check:85'0      ~~~~~~~~~~~~~~
# |             92: ========================================== 
# | check:85'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             93:  Lifetime Analysis Facts: 
# | check:85'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             94: ========================================== 
# | check:85'0      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             95: Function: conditional 
# | check:85'0      ~~~~~~~~~~~~~~~~~~~~~
# |             96:  Block B5: 
# | check:102'0               X error: no match found
# |             97:  End of Block 
# | check:102'0     ~~~~~~~~~~~~~~
# |             98:  Block B4: 
# | check:102'0     ~~~~~~~~~~~
# |             99:  OriginFlow (Dest: 1 (Decl: p), Src: 0 (Expr: ImplicitCastExpr)) 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            100:  Issue (0 (Path: condition), ToOrigin: 2 (Expr: DeclRefExpr(condition))) 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            101:  End of Block 
# | check:102'0     ~~~~~~~~~~~~~~
# |            102:  Block B3: 
# | check:102'0     ~~~~~~~~~~~
# |            103:  Issue (1 (Path: a), ToOrigin: 3 (Expr: DeclRefExpr(a))) 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:102'1      ?                                                        possible intended match
# |            104:  OriginFlow (Dest: 4 (Expr: UnaryOperator), Src: 3 (Expr: DeclRefExpr(a))) 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            105:  Use (5 (Expr: DeclRefExpr(p)) 1 (Decl: p) , Write) 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            106:  OriginFlow (Dest: 1 (Decl: p), Src: 4 (Expr: UnaryOperator)) 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            107:  End of Block 
# | check:102'0     ~~~~~~~~~~~~~~
# |            108:  Block B2: 
# | check:102'0     ~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            120:  End of Block 
# | check:102'0     ~~~~~~~~~~~~~~
# |            121: ========================================== 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            122:  Lifetime Analysis Facts: 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            123: ========================================== 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            124: Function: pointers_in_a_cycle 
# | check:102'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            125:  Block B6: 
# | check:130'0               X error: no match found
# |            126:  End of Block 
# | check:130'0     ~~~~~~~~~~~~~~
# |            127:  Block B5: 
# | check:130'0     ~~~~~~~~~~~
# |            128:  Issue (0 (Path: v1), ToOrigin: 0 (Expr: DeclRefExpr(v1))) 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:130'1      ?                                                          possible intended match
# |            129:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(v1))) 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            130:  OriginFlow (Dest: 2 (Decl: p1), Src: 1 (Expr: UnaryOperator)) 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            131:  Issue (1 (Path: v2), ToOrigin: 3 (Expr: DeclRefExpr(v2))) 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            132:  OriginFlow (Dest: 4 (Expr: UnaryOperator), Src: 3 (Expr: DeclRefExpr(v2))) 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            133:  OriginFlow (Dest: 5 (Decl: p2), Src: 4 (Expr: UnaryOperator)) 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            166:  End of Block 
# | check:130'0     ~~~~~~~~~~~~~~
# |            167: ========================================== 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            168:  Lifetime Analysis Facts: 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            169: ========================================== 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            170: Function: overwrite_origin 
# | check:130'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            171:  Block B2: 
# | check:170'0               X error: no match found
# |            172:  End of Block 
# | check:170'0     ~~~~~~~~~~~~~~
# |            173:  Block B1: 
# | check:170'0     ~~~~~~~~~~~
# |            174:  Issue (0 (Path: s1), ToOrigin: 0 (Expr: DeclRefExpr(s1))) 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:170'1      ?                                                          possible intended match
# |            175:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(s1))) 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            176:  OriginFlow (Dest: 2 (Decl: p), Src: 1 (Expr: UnaryOperator)) 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            177:  Issue (1 (Path: s2), ToOrigin: 3 (Expr: DeclRefExpr(s2))) 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            178:  OriginFlow (Dest: 4 (Expr: UnaryOperator), Src: 3 (Expr: DeclRefExpr(s2))) 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            179:  Use (5 (Expr: DeclRefExpr(p)) 2 (Decl: p) , Write) 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            185:  End of Block 
# | check:170'0     ~~~~~~~~~~~~~~
# |            186: ========================================== 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            187:  Lifetime Analysis Facts: 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            188: ========================================== 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            189: Function: reassign_to_null 
# | check:170'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            190:  Block B2: 
# | check:187'0               X error: no match found
# |            191:  End of Block 
# | check:187'0     ~~~~~~~~~~~~~~
# |            192:  Block B1: 
# | check:187'0     ~~~~~~~~~~~
# |            193:  Issue (0 (Path: s1), ToOrigin: 0 (Expr: DeclRefExpr(s1))) 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:187'1      ?                                                          possible intended match
# |            194:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(s1))) 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            195:  OriginFlow (Dest: 2 (Decl: p), Src: 1 (Expr: UnaryOperator)) 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            196:  Use (4 (Expr: DeclRefExpr(p)) 2 (Decl: p) , Write) 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            197:  OriginFlow (Dest: 2 (Decl: p), Src: 3 (Expr: ImplicitCastExpr)) 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            198:  Expire (0 (Path: s1)) 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            201:  End of Block 
# | check:187'0     ~~~~~~~~~~~~~~
# |            202: ========================================== 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            203:  Lifetime Analysis Facts: 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            204: ========================================== 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            205: Function: reassign_in_if 
# | check:187'0     ~~~~~~~~~~~~~~~~~~~~~~~~
# |            206:  Block B4: 
# | check:206'0               X error: no match found
# |            207:  End of Block 
# | check:206'0     ~~~~~~~~~~~~~~
# |            208:  Block B3: 
# | check:206'0     ~~~~~~~~~~~
# |            209:  Issue (0 (Path: s1), ToOrigin: 0 (Expr: DeclRefExpr(s1))) 
# | check:206'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:206'1      ?                                                          possible intended match
# |            210:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(s1))) 
# | check:206'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            211:  OriginFlow (Dest: 2 (Decl: p), Src: 1 (Expr: UnaryOperator)) 
# | check:206'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            212:  Issue (1 (Path: condition), ToOrigin: 3 (Expr: DeclRefExpr(condition))) 
# | check:206'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            213:  End of Block 
# | check:206'0     ~~~~~~~~~~~~~~
# |            214:  Block B2: 
# | check:206'0     ~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            225:  End of Block 
# | check:206'0     ~~~~~~~~~~~~~~
# |            226: ========================================== 
# | check:206'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            227:  Lifetime Analysis Facts: 
# | check:206'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            228: ========================================== 
# | check:206'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            229: Function: assign_in_switch 
# | check:206'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            230:  Block B6: 
# | check:230                 X error: no match found
# |            231:  End of Block 
# | check:230       ~~~~~~~~~~~~~~
# |            232:  Block B2: 
# | check:230       ~~~~~~~~~~~
# |            233:  OriginFlow (Dest: 1 (Decl: p), Src: 0 (Expr: ImplicitCastExpr)) 
# | check:230       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            234:  Issue (0 (Path: mode), ToOrigin: 2 (Expr: DeclRefExpr(mode))) 
# | check:230       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            235:  End of Block 
# | check:230       ~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            260:  End of Block 
# | check:230       ~~~~~~~~~~~~~~
# |            261: ========================================== 
# | check:230       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            262:  Lifetime Analysis Facts: 
# | check:230       ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            263: ========================================== 
# | check:230       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            264: Function: loan_in_loop 
# | check:230       ~~~~~~~~~~~~~~~~~~~~~~
# |            265:  Block B5: 
# | check:268                 X error: no match found
# |            266:  End of Block 
# | check:268       ~~~~~~~~~~~~~~
# |            267:  Block B4: 
# | check:268       ~~~~~~~~~~~
# |            268:  OriginFlow (Dest: 1 (Decl: p), Src: 0 (Expr: ImplicitCastExpr)) 
# | check:268       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            269:  End of Block 
# | check:268       ~~~~~~~~~~~~~~
# |            270:  Block B3: 
# | check:268       ~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            283:  End of Block 
# | check:268       ~~~~~~~~~~~~~~
# |            284: ========================================== 
# | check:268       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            285:  Lifetime Analysis Facts: 
# | check:268       ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            286: ========================================== 
# | check:268       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            287: Function: loop_with_break 
# | check:268       ~~~~~~~~~~~~~~~~~~~~~~~~~
# |            288:  Block B7: 
# | check:288'0               X error: no match found
# |            289:  End of Block 
# | check:288'0     ~~~~~~~~~~~~~~
# |            290:  Block B6: 
# | check:288'0     ~~~~~~~~~~~
# |            291:  Issue (0 (Path: s1), ToOrigin: 0 (Expr: DeclRefExpr(s1))) 
# | check:288'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:288'1      ?                                                          possible intended match
# |            292:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(s1))) 
# | check:288'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            293:  OriginFlow (Dest: 2 (Decl: p), Src: 1 (Expr: UnaryOperator)) 
# | check:288'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            294:  End of Block 
# | check:288'0     ~~~~~~~~~~~~~~
# |            295:  Block B5: 
# | check:288'0     ~~~~~~~~~~~
# |            296:  Issue (1 (Path: i), ToOrigin: 3 (Expr: DeclRefExpr(i))) 
# | check:288'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            316:  End of Block 
# | check:288'0     ~~~~~~~~~~~~~~
# |            317: ========================================== 
# | check:288'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            318:  Lifetime Analysis Facts: 
# | check:288'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            319: ========================================== 
# | check:288'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            320: Function: nested_scopes 
# | check:288'0     ~~~~~~~~~~~~~~~~~~~~~~~
# |            321:  Block B2: 
# | check:311                 X error: no match found
# |            322:  End of Block 
# | check:311       ~~~~~~~~~~~~~~
# |            323:  Block B1: 
# | check:311       ~~~~~~~~~~~
# |            324:  OriginFlow (Dest: 1 (Decl: p), Src: 0 (Expr: ImplicitCastExpr)) 
# | check:311       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            325:  Issue (0 (Path: outer), ToOrigin: 2 (Expr: DeclRefExpr(outer))) 
# | check:311       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            326:  OriginFlow (Dest: 3 (Expr: UnaryOperator), Src: 2 (Expr: DeclRefExpr(outer))) 
# | check:311       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            337:  End of Block 
# | check:311       ~~~~~~~~~~~~~~
# |            338: ========================================== 
# | check:311       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            339:  Lifetime Analysis Facts: 
# | check:311       ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            340: ========================================== 
# | check:311       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            341: Function: pointer_indirection 
# | check:311       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            342:  Block B2: 
# | check:338'0               X error: no match found
# |            343:  End of Block 
# | check:338'0     ~~~~~~~~~~~~~~
# |            344:  Block B1: 
# | check:338'0     ~~~~~~~~~~~
# |            345:  Issue (0 (Path: a), ToOrigin: 0 (Expr: DeclRefExpr(a))) 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:338'1      ?                                                        possible intended match
# |            346:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(a))) 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            347:  OriginFlow (Dest: 2 (Decl: p), Src: 1 (Expr: UnaryOperator)) 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            348:  Use (3 (Expr: DeclRefExpr(p)) 2 (Decl: p) , Read) 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            349:  OriginFlow (Dest: 4 (Decl: pp), Src: 6 (Expr: UnaryOperator)) 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            350:  OriginFlow (Dest: 5 (Decl: pp), Src: 7 (Expr: UnaryOperator)) 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            358:  End of Block 
# | check:338'0     ~~~~~~~~~~~~~~
# |            359: ========================================== 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            360:  Lifetime Analysis Facts: 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            361: ========================================== 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            362: Function: ternary_operator 
# | check:338'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            363:  Block B5: 
# | check:356'0               X error: no match found
# |            364:  End of Block 
# | check:356'0     ~~~~~~~~~~~~~~
# |            365:  Block B4: 
# | check:356'0     ~~~~~~~~~~~
# |            366:  Issue (0 (Path: a), ToOrigin: 0 (Expr: DeclRefExpr(a))) 
# | check:356'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:356'1      ?                                                        possible intended match
# |            367:  Issue (1 (Path: b), ToOrigin: 1 (Expr: DeclRefExpr(b))) 
# | check:356'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            368:  End of Block 
# | check:356'0     ~~~~~~~~~~~~~~
# |            369:  Block B2: 
# | check:356'0     ~~~~~~~~~~~
# |            370:  Issue (2 (Path: a), ToOrigin: 2 (Expr: DeclRefExpr(a))) 
# | check:356'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            371:  OriginFlow (Dest: 3 (Expr: UnaryOperator), Src: 2 (Expr: DeclRefExpr(a))) 
# | check:356'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            384:  End of Block 
# | check:356'0     ~~~~~~~~~~~~~~
# |            385: ========================================== 
# | check:356'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            386:  Lifetime Analysis Facts: 
# | check:356'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            387: ========================================== 
# | check:356'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            388: Function: test_use_facts 
# | check:356'0     ~~~~~~~~~~~~~~~~~~~~~~~~
# |            389:  Block B2: 
# | check:373'0               X error: no match found
# |            390:  End of Block 
# | check:373'0     ~~~~~~~~~~~~~~
# |            391:  Block B1: 
# | check:373'0     ~~~~~~~~~~~
# |            392:  Issue (0 (Path: x), ToOrigin: 0 (Expr: DeclRefExpr(x))) 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:373'1      ?                                                        possible intended match
# |            393:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(x))) 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            394:  Use (2 (Expr: DeclRefExpr(p)) 3 (Decl: p) , Write) 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            395:  OriginFlow (Dest: 3 (Decl: p), Src: 1 (Expr: UnaryOperator)) 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            396:  Use (4 (Expr: DeclRefExpr(p)) 3 (Decl: p) , Read) 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            397:  OriginFlow (Dest: 5 (Expr: ImplicitCastExpr), Src: 3 (Decl: p)) 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            412:  Block B0: 
# | check:373'0     ~~~~~~~~~~~
# |            413:  End of Block 
# | check:373'0     ~~~~~~~~~~~~~~
# |            414: ========================================== 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            415:  Lifetime Analysis Facts: 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            416: ========================================== 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            417: Function: test_use_lifetimebound_call 
# | check:373'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:399'0                                          X error: no match found
# |            418:  Block B2: 
# | check:399'0     ~~~~~~~~~~~
# |            419:  End of Block 
# | check:399'0     ~~~~~~~~~~~~~~
# |            420:  Block B1: 
# | check:399'0     ~~~~~~~~~~~
# |            421:  Issue (0 (Path: x), ToOrigin: 0 (Expr: DeclRefExpr(x))) 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:399'1      ?                                                        possible intended match
# |            422:  OriginFlow (Dest: 1 (Expr: UnaryOperator), Src: 0 (Expr: DeclRefExpr(x))) 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            423:  OriginFlow (Dest: 2 (Decl: p), Src: 1 (Expr: UnaryOperator)) 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            424:  Issue (1 (Path: y), ToOrigin: 3 (Expr: DeclRefExpr(y))) 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            425:  OriginFlow (Dest: 4 (Expr: UnaryOperator), Src: 3 (Expr: DeclRefExpr(y))) 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            426:  OriginFlow (Dest: 5 (Decl: q), Src: 4 (Expr: UnaryOperator)) 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# |            438:  End of Block 
# | check:399'0     ~~~~~~~~~~~~~~
# |            439: ========================================== 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            440:  Lifetime Analysis Facts: 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            441: ========================================== 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            442: Function: test_conditional_operator 
# | check:399'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            443:  Block B5: 
# | check:422'0               X error: no match found
# |            444:  End of Block 
# | check:422'0     ~~~~~~~~~~~~~~
# |            445:  Block B4: 
# | check:422'0     ~~~~~~~~~~~
# |            446:  Issue (0 (Path: cond), ToOrigin: 0 (Expr: DeclRefExpr(cond))) 
# | check:422'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            447:  End of Block 
# | check:422'0     ~~~~~~~~~~~~~~
# |            448:  Block B2: 
# | check:422'0     ~~~~~~~~~~~
# |            449:  Issue (1 (Path: x), ToOrigin: 1 (Expr: DeclRefExpr(x))) 
# | check:422'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:422'1      ?                                                        possible intended match
# |            450:  OriginFlow (Dest: 2 (Expr: UnaryOperator), Src: 1 (Expr: DeclRefExpr(x))) 
# | check:422'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            451:  End of Block 
# | check:422'0     ~~~~~~~~~~~~~~
# |            452:  Block B3: 
# | check:422'0     ~~~~~~~~~~~
# |            453:  Issue (2 (Path: y), ToOrigin: 3 (Expr: DeclRefExpr(y))) 
# | check:422'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            454:  OriginFlow (Dest: 4 (Expr: UnaryOperator), Src: 3 (Expr: DeclRefExpr(y))) 
# | check:422'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |              .
# |              .
# |              .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

Clang-Unit

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/AssignInSwitch

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.AssignInSwitch
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:489
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1" }, Annotation: "case1")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 30-B6 16-0F 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:490
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s2" }, Annotation: "case2")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 30-B6 16-0F 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:491
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s3" }, Annotation: "case3")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 30-B6 16-0F 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:492
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1", "s2", "s3" }, Annotation: "after_switch")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 30-B6 16-0F 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/ConditionalLoan

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.ConditionalLoan
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:407
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "after_then")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 D0-D1 E3-38 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:408
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "b" }, Annotation: "after_else")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 D0-D1 E3-38 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:409
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "a", "b" }, Annotation: "after_if")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 D0-D1 E3-38 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/ExtraParenthesis

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.ExtraParenthesis
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:715
Value of: Origin("x")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <EC-C7 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 40-AB FB-2D 00-00 00-00>, could not find origin for 'x'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:716
Value of: Origin("y")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <13-04 25-01 00-00 00-00 01-00 00-00 00-00 00-00 40-AB FB-2D 00-00 00-00>, could not find origin for 'y'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:717
Value of: Origin("z")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <16-34 43-01 00-00 00-00 01-00 00-00 00-00 00-00 40-AB FB-2D 00-00 00-00>, could not find origin for 'z'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:718
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 40-AB FB-2D 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/GslPointerConstructFromOwner

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.GslPointerConstructFromOwner
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:666
Value of: Origin("a")
Expected: has loans to impl (LoanVars: { "al" }, Annotation: "p1")
  Actual: 24-byte object <9A-73 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-BD A8-27 00-00 00-00>, could not find origin for 'a'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:667
Value of: Origin("b")
Expected: has loans to impl (LoanVars: { "bl" }, Annotation: "p1")
  Actual: 24-byte object <43-C9 6F-00 00-00 00-00 01-00 00-00 00-00 00-00 10-BD A8-27 00-00 00-00>, could not find origin for 'b'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:668
Value of: Origin("c")
Expected: has loans to impl (LoanVars: { "cl" }, Annotation: "p1")
  Actual: 24-byte object <C6-B4 6F-00 00-00 00-00 01-00 00-00 00-00 00-00 10-BD A8-27 00-00 00-00>, could not find origin for 'c'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:669
Value of: Origin("d")
Expected: has loans to impl (LoanVars: { "dl" }, Annotation: "p1")
  Actual: 24-byte object <B7-B4 1A-01 00-00 00-00 01-00 00-00 00-00 00-00 10-BD A8-27 00-00 00-00>, could not find origin for 'd'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:670
Value of: Origin("e")
Expected: has loans to impl (LoanVars: { "el" }, Annotation: "p1")
  Actual: 24-byte object <92-FE 65-00 00-00 00-00 01-00 00-00 00-00 00-00 10-BD A8-27 00-00 00-00>, could not find origin for 'e'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:671
Value of: Origin("f")
Expected: has loans to impl (LoanVars: { "fl" }, Annotation: "p1")
  Actual: 24-byte object <2C-39 DE-00 00-00 00-00 01-00 00-00 00-00 00-00 10-BD A8-27 00-00 00-00>, could not find origin for 'f'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/GslPointerConstructFromView

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.GslPointerConstructFromView
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:686
Value of: Origin("x")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <EC-C7 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 A0-35 BC-4A 00-00 00-00>, could not find origin for 'x'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:687
Value of: Origin("y")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <13-04 25-01 00-00 00-00 01-00 00-00 00-00 00-00 A0-35 BC-4A 00-00 00-00>, could not find origin for 'y'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:688
Value of: Origin("z")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <16-34 43-01 00-00 00-00 01-00 00-00 00-00 00-00 A0-35 BC-4A 00-00 00-00>, could not find origin for 'z'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:689
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 A0-35 BC-4A 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:690
Value of: Origin("q")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <B9-B4 1A-01 00-00 00-00 01-00 00-00 00-00 00-00 A0-35 BC-4A 00-00 00-00>, could not find origin for 'q'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/GslPointerConversionOperator

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.GslPointerConversionOperator
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:811
Value of: Origin("x")
Expected: has loans to impl (LoanVars: { "xl" }, Annotation: "p1")
  Actual: 24-byte object <EC-C7 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 00-48 58-3E 00-00 00-00>, could not find origin for 'x'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:812
Value of: Origin("y")
Expected: has loans to impl (LoanVars: { "yl" }, Annotation: "p1")
  Actual: 24-byte object <13-04 25-01 00-00 00-00 01-00 00-00 00-00 00-00 00-48 58-3E 00-00 00-00>, could not find origin for 'y'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/GslPointerInConditionalOperator

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.GslPointerInConditionalOperator
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:701
Value of: Origin("v")
Expected: has loans to impl (LoanVars: { "a", "b" }, Annotation: "p1")
  Actual: 24-byte object <66-FE 65-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-D1 44-18 00-00 00-00>, could not find origin for 'v'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/GslPointerPropagation

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.GslPointerPropagation
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:764
Value of: Origin("x")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <EC-C7 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 60-89 C5-43 00-00 00-00>, could not find origin for 'x'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:765
Value of: Origin("y")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p2")
  Actual: 24-byte object <13-04 25-01 00-00 00-00 01-00 00-00 00-00 00-00 60-89 C5-43 00-00 00-00>, could not find origin for 'y'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:766
Value of: Origin("z")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p3")
  Actual: 24-byte object <16-34 43-01 00-00 00-00 01-00 00-00 00-00 00-00 60-89 C5-43 00-00 00-00>, could not find origin for 'z'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/GslPointerReassignment

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.GslPointerReassignment
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:785
Value of: Origin("v")
Expected: has loans to impl (LoanVars: { "safe" }, Annotation: "p1")
  Actual: 24-byte object <66-FE 65-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-F8 C0-4E 00-00 00-00>, could not find origin for 'v'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:786
Value of: Origin("v")
Expected: has loans to impl (LoanVars: { "unsafe" }, Annotation: "p2")
  Actual: 24-byte object <66-FE 65-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-F8 C0-4E 00-00 00-00>, could not find origin for 'v'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:787
Value of: Origin("v")
Expected: has loans to impl (LoanVars: { "unsafe" }, Annotation: "p3")
  Actual: 24-byte object <66-FE 65-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-F8 C0-4E 00-00 00-00>, could not find origin for 'v'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/GslPointerSimpleLoan

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.GslPointerSimpleLoan
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:650
Value of: Origin("x")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <EC-C7 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 F0-3E 2F-43 00-00 00-00>, could not find origin for 'x'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/GslPointerWithConstAndAuto

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.GslPointerWithConstAndAuto
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:743
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 80-75 D3-1A 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:744
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 80-75 D3-1A 00-00 00-00>, could not find origin for 'v2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:745
Value of: Origin("v3")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <ED-CE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 80-75 D3-1A 00-00 00-00>, could not find origin for 'v3'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/InfiniteLoopPrunesEdges

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.InfiniteLoopPrunesEdges
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:603
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "out" }, Annotation: "before_loop")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-9D CA-1D 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:604
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "in", "out" }, Annotation: "begin")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-9D CA-1D 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:605
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "in" }, Annotation: "end")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-9D CA-1D 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundChainOfViews

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundChainOfViews
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:906
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "obj" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 50-9F 5E-28 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:908
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "obj" }, Annotation: "p2")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 50-9F 5E-28 00-00 00-00>, could not find origin for 'v2'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundConstRefObjParam

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundConstRefObjParam
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:961
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 E0-00 0B-3F 00-00 00-00>, could not find origin for 'v1'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundConstRefViewParameter

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundConstRefViewParameter
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:949
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "o" }, Annotation: "p1")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 60-D1 05-43 00-00 00-00>, could not find origin for 'v2'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundConversionOperator

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundConversionOperator
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1043
Value of: Origin("v")
Expected: has loans to impl (LoanVars: { "owner" }, Annotation: "p1")
  Actual: 24-byte object <66-FE 65-00 00-00 00-00 01-00 00-00 00-00 00-00 90-2D F2-29 00-00 00-00>, could not find origin for 'v'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundMemberFunction

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundMemberFunction
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:848
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "o" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 00-0F A7-41 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:851
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "o" }, Annotation: "p2")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 00-0F A7-41 00-00 00-00>, could not find origin for 'v2'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundMixedArgs

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundMixedArgs
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:887
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "o1" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 20-C6 4F-3D 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:888
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "o2" }, Annotation: "p1")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 20-C6 4F-3D 00-00 00-00>, could not find origin for 'v2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:890
Value of: Origin("v3")
Expected: has loans to impl (LoanVars: { "o1" }, Annotation: "p2")
  Actual: 24-byte object <ED-CE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 20-C6 4F-3D 00-00 00-00>, could not find origin for 'v3'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundMultipleArgs

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundMultipleArgs
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:867
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "o1" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 90-25 EC-41 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:868
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "o2" }, Annotation: "p2")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 90-25 EC-41 00-00 00-00>, could not find origin for 'v2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:871
Value of: Origin("v3")
Expected: has loans to impl (LoanVars: { "o1", "o2" }, Annotation: "p2")
  Actual: 24-byte object <ED-CE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 90-25 EC-41 00-00 00-00>, could not find origin for 'v3'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundRawPointerParameter

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundRawPointerParameter
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:932
Value of: Origin("v")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <66-FE 65-00 00-00 00-00 01-00 00-00 00-00 00-00 80-95 70-16 00-00 00-00>, could not find origin for 'v'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:933
Value of: Origin("ptr1")
Expected: has loans to impl (LoanVars: { "b" }, Annotation: "p2")
  Actual: 24-byte object <2C-09 57-01 00-00 00-00 04-00 00-00 00-00 00-00 80-95 70-16 00-00 00-00>, could not find origin for 'ptr1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:934
Value of: Origin("ptr2")
Expected: has loans to impl (LoanVars: { "b" }, Annotation: "p2")
  Actual: 24-byte object <8E-78 48-00 00-00 00-00 04-00 00-00 00-00 00-00 80-95 70-16 00-00 00-00>, could not find origin for 'ptr2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:935
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "c" }, Annotation: "p3")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 80-95 70-16 00-00 00-00>, could not find origin for 'v2'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundReturnReference

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundReturnReference
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:983
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-89 B8-0F 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:984
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p2")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 60-89 B8-0F 00-00 00-00>, could not find origin for 'v2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:987
Value of: Origin("v3")
Expected: has loans to impl (LoanVars: { "b" }, Annotation: "p2")
  Actual: 24-byte object <ED-CE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 60-89 B8-0F 00-00 00-00>, could not find origin for 'v3'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:989
Value of: Origin("v4")
Expected: has loans to impl (LoanVars: { "c" }, Annotation: "p3")
  Actual: 24-byte object <62-D4 8D-00 00-00 00-00 02-00 00-00 00-00 00-00 60-89 B8-0F 00-00 00-00>, could not find origin for 'v4'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundSimple

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundSimple
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:828
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 90-78 48-19 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:830
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p2")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 90-78 48-19 00-00 00-00>, could not find origin for 'v2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:831
Value of: Origin("v3")
Expected: has loans to impl (LoanVars: { "b" }, Annotation: "p2")
  Actual: 24-byte object <ED-CE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 90-78 48-19 00-00 00-00>, could not find origin for 'v3'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundTemplateClass

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundTemplateClass
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1026
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "o" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 80-30 CB-19 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1027
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "o" }, Annotation: "p2")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 80-30 CB-19 00-00 00-00>, could not find origin for 'v2'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LifetimeboundTemplateFunction

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LifetimeboundTemplateFunction
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1006
Value of: Origin("v1")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p1")
  Actual: 24-byte object <C2-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 E0-AF 27-3A 00-00 00-00>, could not find origin for 'v1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1007
Value of: Origin("v2")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p2")
  Actual: 24-byte object <0E-31 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 E0-AF 27-3A 00-00 00-00>, could not find origin for 'v2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1008
Value of: Origin("v3")
Expected: has loans to impl (LoanVars: { "a" }, Annotation: "p2")
  Actual: 24-byte object <ED-CE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 E0-AF 27-3A 00-00 00-00>, could not find origin for 'v3'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LivenessAcrossBranches

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LivenessAcrossBranches
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1102
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p2")
  Actual: 32-byte object <30-CA 6C-22 00-00 00-00 50-CA 6C-22 00-00 00-00 50-CA 6C-22 00-00 00-00 60-AD 6E-22 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1103
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p3")
  Actual: 32-byte object <80-AE 6E-22 00-00 00-00 A0-AE 6E-22 00-00 00-00 A0-AE 6E-22 00-00 00-00 60-AD 6E-22 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1105
Value of: NoOrigins()
Expected: are live at (Annotation: "p1")
  Actual: 32-byte object <00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 60-AD 6E-22 00-00 00-00>, Expected: {} Actual: {9, }

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LivenessInLoop

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LivenessInLoop
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1126
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p4")
  Actual: 32-byte object <60-AF 12-12 00-00 00-00 80-AF 12-12 00-00 00-00 80-AF 12-12 00-00 00-00 D0-94 07-12 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1129
Value of: Origins({"p", "q"})
Expected: maybe live at (Annotation: "p3")
  Actual: 32-byte object <80-80 06-12 00-00 00-00 C0-80 06-12 00-00 00-00 C0-80 06-12 00-00 00-00 D0-94 07-12 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1131
Value of: Origins({"q"})
Expected: must be live at (Annotation: "p2")
  Actual: 32-byte object <70-D1 11-12 00-00 00-00 90-D1 11-12 00-00 00-00 90-D1 11-12 00-00 00-00 D0-94 07-12 00-00 00-00>, could not find an origin for variable 'q'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1134
Value of: Origins({"p", "q"})
Expected: maybe live at (Annotation: "p1")
  Actual: 32-byte object <00-9C 14-12 00-00 00-00 40-9C 14-12 00-00 00-00 40-9C 14-12 00-00 00-00 D0-94 07-12 00-00 00-00>, could not find an origin for variable 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LivenessInLoopAndIf

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:1160
Value of: NoOrigins()
Expected: are live at (Annotation: "p5")
  Actual: 32-byte object <00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 E0-8C 12-15 00-00 00-00>, Expected: {} Actual: {16, }

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1161
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p4")
  Actual: 32-byte object <A0-B9 13-15 00-00 00-00 C0-B9 13-15 00-00 00-00 C0-B9 13-15 00-00 00-00 E0-8C 12-15 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1162
Value of: NoOrigins()
Expected: are live at (Annotation: "p3")
  Actual: 32-byte object <00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 E0-8C 12-15 00-00 00-00>, Expected: {} Actual: {16, }

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1163
Value of: Origins({"p"})
Expected: maybe live at (Annotation: "p2")
  Actual: 32-byte object <C0-82 06-15 00-00 00-00 E0-82 06-15 00-00 00-00 E0-82 06-15 00-00 00-00 E0-8C 12-15 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1164
Value of: NoOrigins()
Expected: are live at (Annotation: "p1")
  Actual: 32-byte object <00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 E0-8C 12-15 00-00 00-00>, Expected: {} Actual: {16, }

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LivenessInLoopAndIf2

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LivenessInLoopAndIf2
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1193
Value of: Origins({"q"})
Expected: maybe live at (Annotation: "p6")
  Actual: 32-byte object <40-7F A7-0F 00-00 00-00 60-7F A7-0F 00-00 00-00 60-7F A7-0F 00-00 00-00 B0-50 9B-0F 00-00 00-00>, could not find an origin for variable 'q'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1196
Value of: Origins({"p", "q"})
Expected: must be live at (Annotation: "p5")
  Actual: 32-byte object <D0-C6 9A-0F 00-00 00-00 10-C7 9A-0F 00-00 00-00 10-C7 9A-0F 00-00 00-00 B0-50 9B-0F 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1198
Value of: Origins({"p", "q"})
Expected: must be live at (Annotation: "p4")
  Actual: 32-byte object <90-55 9A-0F 00-00 00-00 D0-55 9A-0F 00-00 00-00 D0-55 9A-0F 00-00 00-00 B0-50 9B-0F 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1200
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p3")
  Actual: 32-byte object <A0-4B A0-0F 00-00 00-00 C0-4B A0-0F 00-00 00-00 C0-4B A0-0F 00-00 00-00 B0-50 9B-0F 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1201
Value of: Origins({"q"})
Expected: maybe live at (Annotation: "p3")
  Actual: 32-byte object <40-4B A0-0F 00-00 00-00 60-4B A0-0F 00-00 00-00 60-4B A0-0F 00-00 00-00 B0-50 9B-0F 00-00 00-00>, could not find an origin for variable 'q'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1203
Value of: Origins({"q"})
Expected: maybe live at (Annotation: "p2")
  Actual: 32-byte object <D0-4F 9B-0F 00-00 00-00 F0-4F 9B-0F 00-00 00-00 F0-4F 9B-0F 00-00 00-00 B0-50 9B-0F 00-00 00-00>, could not find an origin for variable 'q'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1204
Value of: NoOrigins()
Expected: must be live at (Annotation: "p2")
  Actual: 32-byte object <00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 B0-50 9B-0F 00-00 00-00>, Expected: {} Actual: {14, 16, }

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1206
Value of: Origins({"q"})
Expected: maybe live at (Annotation: "p1")
  Actual: 32-byte object <30-61 A6-0F 00-00 00-00 50-61 A6-0F 00-00 00-00 50-61 A6-0F 00-00 00-00 B0-50 9B-0F 00-00 00-00>, could not find an origin for variable 'q'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LivenessKilledByReassignment

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LivenessKilledByReassignment
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1082
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p2")
  Actual: 32-byte object <E0-AF 73-28 00-00 00-00 00-B0 73-28 00-00 00-00 00-B0 73-28 00-00 00-00 F0-F1 67-28 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1083
Value of: NoOrigins()
Expected: are live at (Annotation: "p1")
  Actual: 32-byte object <00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 00-00 F0-F1 67-28 00-00 00-00>, Expected: {} Actual: {6, }

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LivenessOutsideLoop

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LivenessOutsideLoop
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1223
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p2")
  Actual: 32-byte object <70-C7 09-24 00-00 00-00 90-C7 09-24 00-00 00-00 90-C7 09-24 00-00 00-00 C0-57 FF-23 00-00 00-00>, could not find an origin for variable 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1224
Value of: Origins({"p"})
Expected: maybe live at (Annotation: "p1")
  Actual: 32-byte object <60-20 FF-23 00-00 00-00 80-20 FF-23 00-00 00-00 80-20 FF-23 00-00 00-00 C0-57 FF-23 00-00 00-00>, could not find an origin for variable 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LivenessSimpleReturn

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LivenessSimpleReturn
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:1068
Value of: Origins({"p"})
Expected: must be live at (Annotation: "p1")
  Actual: 32-byte object <40-64 51-35 00-00 00-00 60-64 51-35 00-00 00-00 60-64 51-35 00-00 00-00 00-D4 5B-35 00-00 00-00>, could not find an origin for variable 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/LoopWithBreak

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.LoopWithBreak
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:513
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1" }, Annotation: "before_loop")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 00-6A 39-40 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:514
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s2" }, Annotation: "inside_if")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 00-6A 39-40 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:516
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1" }, Annotation: "after_if")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 00-6A 39-40 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:519
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1", "s2" }, Annotation: "after_loop")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 00-6A 39-40 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/NestedScopes

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.NestedScopes
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:625
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "outer" }, Annotation: "before_inner_scope")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-24 E8-25 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:626
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "inner" }, Annotation: "inside_inner_scope")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-24 E8-25 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:627
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "inner" }, Annotation: "after_inner_scope")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-24 E8-25 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/OverwriteOrigin

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.OverwriteOrigin
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:388
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1" }, Annotation: "after_s1")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 70-C5 EF-36 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:389
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s2" }, Annotation: "after_s2")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 70-C5 EF-36 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/PointerChain

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.PointerChain
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:429
Value of: Origin("ptr1")
Expected: has loans to impl (LoanVars: { "y" }, Annotation: "p1")
  Actual: 24-byte object <2C-09 57-01 00-00 00-00 04-00 00-00 00-00 00-00 90-40 9F-46 00-00 00-00>, could not find origin for 'ptr1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:430
Value of: Origin("ptr2")
Expected: has loans to impl (LoanVars: { "y" }, Annotation: "p2")
  Actual: 24-byte object <8E-78 48-00 00-00 00-00 04-00 00-00 00-00 00-00 90-40 9F-46 00-00 00-00>, could not find origin for 'ptr2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:431
Value of: Origin("ptr2")
Expected: has loans to impl (LoanVars: { "y" }, Annotation: "p3")
  Actual: 24-byte object <8E-78 48-00 00-00 00-00 04-00 00-00 00-00 00-00 90-40 9F-46 00-00 00-00>, could not find origin for 'ptr2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:432
Value of: Origin("ptr2")
Expected: has loans to impl (LoanVars: { "y" }, Annotation: "p4")
  Actual: 24-byte object <8E-78 48-00 00-00 00-00 04-00 00-00 00-00 00-00 90-40 9F-46 00-00 00-00>, could not find origin for 'ptr2'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/PointersAndExpirationInACycle

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.PointersAndExpirationInACycle
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:575
Value of: Origin("p1")
Expected: has loans to impl (LoanVars: { "v1" }, Annotation: "before_while")
  Actual: 24-byte object <98-CD 83-00 00-00 00-00 02-00 00-00 00-00 00-00 60-96 CC-29 00-00 00-00>, could not find origin for 'p1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:576
Value of: Origin("p2")
Expected: has loans to impl (LoanVars: { "v2" }, Annotation: "before_while")
  Actual: 24-byte object <BF-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-96 CC-29 00-00 00-00>, could not find origin for 'p2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:579
Value of: Origin("p1")
Expected: has loans to impl (LoanVars: { "v1", "v2", "temp" }, Annotation: "in_loop_before_temp")
  Actual: 24-byte object <98-CD 83-00 00-00 00-00 02-00 00-00 00-00 00-00 60-96 CC-29 00-00 00-00>, could not find origin for 'p1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:580
Value of: Origin("p2")
Expected: has loans to impl (LoanVars: { "v2", "temp" }, Annotation: "in_loop_before_temp")
  Actual: 24-byte object <BF-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-96 CC-29 00-00 00-00>, could not find origin for 'p2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:582
Value of: Origin("p1")
Expected: has loans to impl (LoanVars: { "temp" }, Annotation: "in_loop_after_temp")
  Actual: 24-byte object <98-CD 83-00 00-00 00-00 02-00 00-00 00-00 00-00 60-96 CC-29 00-00 00-00>, could not find origin for 'p1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:583
Value of: Origin("p2")
Expected: has loans to impl (LoanVars: { "v2", "temp" }, Annotation: "in_loop_after_temp")
  Actual: 24-byte object <BF-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-96 CC-29 00-00 00-00>, could not find origin for 'p2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:585
Value of: Origin("p1")
Expected: has loans to impl (LoanVars: { "v1", "v2", "temp" }, Annotation: "after_loop")
  Actual: 24-byte object <98-CD 83-00 00-00 00-00 02-00 00-00 00-00 00-00 60-96 CC-29 00-00 00-00>, could not find origin for 'p1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:586
Value of: Origin("p2")
Expected: has loans to impl (LoanVars: { "v2", "temp" }, Annotation: "after_loop")
  Actual: 24-byte object <BF-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-96 CC-29 00-00 00-00>, could not find origin for 'p2'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/PointersInACycle

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.PointersInACycle
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:539
Value of: Origin("p1")
Expected: has loans to impl (LoanVars: { "v1" }, Annotation: "before_while")
  Actual: 24-byte object <98-CD 83-00 00-00 00-00 02-00 00-00 00-00 00-00 40-85 CD-3E 00-00 00-00>, could not find origin for 'p1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:540
Value of: Origin("p2")
Expected: has loans to impl (LoanVars: { "v2" }, Annotation: "before_while")
  Actual: 24-byte object <BF-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 40-85 CD-3E 00-00 00-00>, could not find origin for 'p2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:541
Value of: Origin("p3")
Expected: has loans to impl (LoanVars: { "v3" }, Annotation: "before_while")
  Actual: 24-byte object <B7-07 21-00 00-00 00-00 02-00 00-00 00-00 00-00 40-85 CD-3E 00-00 00-00>, could not find origin for 'p3'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:545
Value of: Origin("p1")
Expected: has loans to impl (LoanVars: { "v1", "v2", "v3" }, Annotation: "after_loop")
  Actual: 24-byte object <98-CD 83-00 00-00 00-00 02-00 00-00 00-00 00-00 40-85 CD-3E 00-00 00-00>, could not find origin for 'p1'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:546
Value of: Origin("p2")
Expected: has loans to impl (LoanVars: { "v1", "v2", "v3" }, Annotation: "after_loop")
  Actual: 24-byte object <BF-C8 97-00 00-00 00-00 02-00 00-00 00-00 00-00 40-85 CD-3E 00-00 00-00>, could not find origin for 'p2'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:547
Value of: Origin("p3")
Expected: has loans to impl (LoanVars: { "v1", "v2", "v3" }, Annotation: "after_loop")
  Actual: 24-byte object <B7-07 21-00 00-00 00-00 02-00 00-00 00-00 00-00 40-85 CD-3E 00-00 00-00>, could not find origin for 'p3'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:549
Value of: Origin("temp")
Expected: has loans to impl (LoanVars: { "v1", "v2", "v3" }, Annotation: "in_loop")
  Actual: 24-byte object <BF-90 B6-00 00-00 00-00 04-00 00-00 00-00 00-00 40-85 CD-3E 00-00 00-00>, could not find origin for 'temp'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:552
Value of: Origin("temp")
Expected: has loans to impl (LoanVars: {}, Annotation: "after_loop")
  Actual: 24-byte object <BF-90 B6-00 00-00 00-00 04-00 00-00 00-00 00-00 40-85 CD-3E 00-00 00-00>, could not find origin for 'temp'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/ReassignInIf

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.ReassignInIf
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:462
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1" }, Annotation: "before_if")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-76 FA-19 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:463
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s2" }, Annotation: "after_reassign")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-76 FA-19 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:464
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1", "s2" }, Annotation: "after_if")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-76 FA-19 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/ReassignToNull

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.ReassignToNull
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:445
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "s1" }, Annotation: "before_null")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-4A 9B-12 00-00 00-00>, could not find origin for 'p'

/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:446
Value of: Origin("p")
Expected: has loans to impl (LoanVars: {}, Annotation: "after_null")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-4A 9B-12 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/SimpleLoanAndOrigin

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.SimpleLoanAndOrigin
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:373
Value of: Origin("p")
Expected: has loans to impl (LoanVars: { "x" }, Annotation: "p1")
  Actual: 24-byte object <43-88 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 A0-EC 25-38 00-00 00-00>, could not find origin for 'p'

Clang-Unit._/AllClangUnitTests/LifetimeAnalysisTest/ViewFromTemporary

Script:
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/tools/clang/unittests/./AllClangUnitTests --gtest_filter=LifetimeAnalysisTest.ViewFromTemporary
--
/home/gha/actions-runner/_work/llvm-project/llvm-project/clang/unittests/Analysis/LifetimeSafetyTest.cpp:730
Value of: Origin("v")
Expected: has loans to impl (LoanVars: {}, Annotation: "p1")
  Actual: 24-byte object <66-FE 65-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-95 75-33 00-00 00-00>, could not find origin for 'v'

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.

usx95 changed the title ~~lifetime-safety-multi-origin~~ [LifetimeSafety] Implement multi-level origin tracking for pointer indirection Nov 17, 2025

usx95 changed the title ~~[LifetimeSafety] Implement multi-level origin tracking for pointer indirection~~ [LifetimeSafety] Implement multi-level origins Nov 18, 2025

usx95 force-pushed the users/usx95/11-17-lifetime-safety-multi-origin branch from 9b403b6 to 43233fe Compare November 18, 2025 11:58

usx95 force-pushed the users/usx95/11-17-lifetime-safety-multi-origin branch 3 times, most recently from e0f4136 to 5b9efab Compare November 19, 2025 11:24

lifetime-safety-multi-origin

f914426

usx95 force-pushed the users/usx95/11-17-lifetime-safety-multi-origin branch from 5b9efab to f914426 Compare November 20, 2025 18:10

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

[LifetimeSafety] Implement multi-level origins #168344

[LifetimeSafety] Implement multi-level origins #168344

Uh oh!

usx95 commented Nov 17, 2025

Uh oh!

usx95 commented Nov 17, 2025

Uh oh!

github-actions bot commented Nov 17, 2025 •

edited

Loading

Uh oh!

github-actions bot commented Nov 18, 2025 •

edited

Loading

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

[LifetimeSafety] Implement multi-level origins #168344

Are you sure you want to change the base?

[LifetimeSafety] Implement multi-level origins #168344

Uh oh!

Conversation

usx95 commented Nov 17, 2025

Uh oh!

usx95 commented Nov 17, 2025

Uh oh!

github-actions bot commented Nov 17, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions bot commented Nov 18, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🐧 Linux x64 Test Results

Failed Tests

Clang

Clang-Unit

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

github-actions bot commented Nov 17, 2025 •

edited

Loading

github-actions bot commented Nov 18, 2025 •

edited

Loading