Skip to content

[LifetimeSafety] Implement multi-level origins #168344

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

[LifetimeSafety] Implement multi-level origins #168344

wants to merge 1 commit into from

Conversation

@usx95
Copy link
Contributor

@usx95 usx95 commented Nov 17, 2025

No description provided.

@usx95 Graphite App
Copy link
Contributor Author

usx95 commented Nov 17, 2025

This stack of pull requests is managed by Graphite. Learn more about stacking.
@github-actions
Copy link

github-actions bot commented Nov 17, 2025 •
edited
Loading

⚠️ 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/lib/Analysis/LifetimeSafety/Origins.cpp b/clang/lib/Analysis/LifetimeSafety/Origins.cpp index a72e2e5e2..e9b07e985 100644 --- a/clang/lib/Analysis/LifetimeSafety/Origins.cpp +++ b/clang/lib/Analysis/LifetimeSafety/Origins.cpp @@ -7,11 +7,11 @@ //===----------------------------------------------------------------------===// #include "clang/Analysis/Analyses/LifetimeSafety/Origins.h" -#include "clang/Analysis/Analyses/LifetimeSafety/LifetimeAnnotations.h" #include "clang/AST/ASTContext.h" #include "clang/AST/Attr.h" #include "clang/AST/DeclCXX.h" #include "clang/AST/DeclTemplate.h" +#include "clang/Analysis/Analyses/LifetimeSafety/LifetimeAnnotations.h" namespace clang::lifetimes::internal { @@ -38,7 +38,8 @@ void OriginManager::dump(OriginID OID, llvm::raw_ostream &OS) const { template <typename T> OriginTree *OriginManager::buildTreeForType(QualType QT, const T *Node) { - assert(isPointerLikeType(QT) && "buildTreeForType called for non-pointer type"); + assert(isPointerLikeType(QT) && + "buildTreeForType called for non-pointer type"); OriginTree *Root = createNode(createOrigin(Node)); if (QT->isPointerOrReferenceType()) { QualType PointeeTy = QT->getPointeeType(); 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; }
@usx95 usx95 changed the title lifetime-safety-multi-origin [LifetimeSafety] Implement multi-level origin tracking for pointer indirection Nov 17, 2025
@usx95 usx95 changed the title [LifetimeSafety] Implement multi-level origin tracking for pointer indirection [LifetimeSafety] Implement multi-level origins Nov 18, 2025
@usx95 usx95 force-pushed the users/usx95/11-17-lifetime-safety-multi-origin branch from 9b403b6 to 43233fe Compare November 18, 2025 11:58
@github-actions
Copy link

github-actions bot commented Nov 18, 2025 •
edited
Loading

🐧 Linux x64 Test Results

  • 84586 tests passed
  • 1083 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 40-35 74-2B 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 40-35 74-2B 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 40-35 74-2B 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 40-35 74-2B 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-FE D0-43 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-FE D0-43 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-FE D0-43 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 <B1-D4 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-E6 10-35 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 <9F-0F 25-01 00-00 00-00 01-00 00-00 00-00 00-00 E0-E6 10-35 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 <C7-3E 43-01 00-00 00-00 01-00 00-00 00-00 00-00 E0-E6 10-35 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-E6 10-35 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 <A4-7C 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 90-32 32-2C 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 <32-DA 6F-00 00-00 00-00 01-00 00-00 00-00 00-00 90-32 32-2C 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 <B5-C5 6F-00 00-00 00-00 01-00 00-00 00-00 00-00 90-32 32-2C 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 <DE-C2 1A-01 00-00 00-00 01-00 00-00 00-00 00-00 90-32 32-2C 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 <FA-0F 66-00 00-00 00-00 01-00 00-00 00-00 00-00 90-32 32-2C 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 <CE-40 DE-00 00-00 00-00 01-00 00-00 00-00 00-00 90-32 32-2C 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 <B1-D4 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 00-69 E7-4C 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 <9F-0F 25-01 00-00 00-00 01-00 00-00 00-00 00-00 00-69 E7-4C 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 <C7-3E 43-01 00-00 00-00 01-00 00-00 00-00 00-00 00-69 E7-4C 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 00-69 E7-4C 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 <E0-C2 1A-01 00-00 00-00 01-00 00-00 00-00 00-00 00-69 E7-4C 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 <B1-D4 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 A0-32 95-2E 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 <9F-0F 25-01 00-00 00-00 01-00 00-00 00-00 00-00 A0-32 95-2E 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 <CE-0F 66-00 00-00 00-00 01-00 00-00 00-00 00-00 40-2F 44-13 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 <B1-D4 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 40-9C 7B-38 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 <9F-0F 25-01 00-00 00-00 01-00 00-00 00-00 00-00 40-9C 7B-38 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 <C7-3E 43-01 00-00 00-00 01-00 00-00 00-00 00-00 40-9C 7B-38 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 <CE-0F 66-00 00-00 00-00 01-00 00-00 00-00 00-00 60-57 B1-48 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 <CE-0F 66-00 00-00 00-00 01-00 00-00 00-00 00-00 60-57 B1-48 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 <CE-0F 66-00 00-00 00-00 01-00 00-00 00-00 00-00 60-57 B1-48 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 <B1-D4 C0-00 00-00 00-00 01-00 00-00 00-00 00-00 70-3D AF-15 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-91 54-44 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 60-91 54-44 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 <04-E0 83-00 00-00 00-00 02-00 00-00 00-00 00-00 60-91 54-44 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 70-18 54-23 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 70-18 54-23 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 70-18 54-23 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-2E 6A-27 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 60-2E 6A-27 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 E0-D5 2E-37 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 70-4A 68-45 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 <CE-0F 66-00 00-00 00-00 01-00 00-00 00-00 00-00 00-00 3D-33 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 30-18 73-13 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 30-18 73-13 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-D6 C6-20 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 60-D6 C6-20 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 <04-E0 83-00 00-00 00-00 02-00 00-00 00-00 00-00 60-D6 C6-20 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 B0-44 0F-26 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 B0-44 0F-26 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 <04-E0 83-00 00-00 00-00 02-00 00-00 00-00 00-00 B0-44 0F-26 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 <CE-0F 66-00 00-00 00-00 01-00 00-00 00-00 00-00 80-9C 07-30 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 <4E-15 57-01 00-00 00-00 04-00 00-00 00-00 00-00 80-9C 07-30 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 <71-81 48-00 00-00 00-00 04-00 00-00 00-00 00-00 80-9C 07-30 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 80-9C 07-30 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 10-5A ED-3C 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 10-5A ED-3C 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 <04-E0 83-00 00-00 00-00 02-00 00-00 00-00 00-00 10-5A ED-3C 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 <5A-E0 8D-00 00-00 00-00 02-00 00-00 00-00 00-00 10-5A ED-3C 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 80-03 4C-18 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 80-03 4C-18 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 <04-E0 83-00 00-00 00-00 02-00 00-00 00-00 00-00 80-03 4C-18 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 40-1F 7F-20 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 40-1F 7F-20 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 <1B-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 60-8E 48-25 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 <20-42 5C-00 00-00 00-00 02-00 00-00 00-00 00-00 60-8E 48-25 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 <04-E0 83-00 00-00 00-00 02-00 00-00 00-00 00-00 60-8E 48-25 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 <90-AE 59-3C 00-00 00-00 B0-AE 59-3C 00-00 00-00 B0-AE 59-3C 00-00 00-00 70-81 4B-3C 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 <C0-41 4C-3C 00-00 00-00 E0-41 4C-3C 00-00 00-00 E0-41 4C-3C 00-00 00-00 70-81 4B-3C 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 70-81 4B-3C 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 <C0-B9 DA-31 00-00 00-00 E0-B9 DA-31 00-00 00-00 E0-B9 DA-31 00-00 00-00 F0-8D E7-31 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-C6 DB-31 00-00 00-00 C0-C6 DB-31 00-00 00-00 C0-C6 DB-31 00-00 00-00 F0-8D E7-31 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 <C0-B1 E8-31 00-00 00-00 E0-B1 E8-31 00-00 00-00 E0-B1 E8-31 00-00 00-00 F0-8D E7-31 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 <E0-88 DB-31 00-00 00-00 20-89 DB-31 00-00 00-00 20-89 DB-31 00-00 00-00 F0-8D E7-31 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 70-1D 72-2D 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-CD 72-2D 00-00 00-00 C0-CD 72-2D 00-00 00-00 C0-CD 72-2D 00-00 00-00 70-1D 72-2D 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 70-1D 72-2D 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 <40-57 7D-2D 00-00 00-00 60-57 7D-2D 00-00 00-00 60-57 7D-2D 00-00 00-00 70-1D 72-2D 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 70-1D 72-2D 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 <50-FB 95-28 00-00 00-00 70-FB 95-28 00-00 00-00 70-FB 95-28 00-00 00-00 50-49 95-28 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 <B0-2A A4-28 00-00 00-00 F0-2A A4-28 00-00 00-00 F0-2A A4-28 00-00 00-00 50-49 95-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:1198 Value of: Origins({"p", "q"}) Expected: must be live at (Annotation: "p4") Actual: 32-byte object <60-9D 95-28 00-00 00-00 A0-9D 95-28 00-00 00-00 A0-9D 95-28 00-00 00-00 50-49 95-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:1200 Value of: Origins({"p"}) Expected: must be live at (Annotation: "p3") Actual: 32-byte object <90-23 A2-27 00-00 00-00 B0-23 A2-27 00-00 00-00 B0-23 A2-27 00-00 00-00 50-49 95-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:1201 Value of: Origins({"q"}) Expected: maybe live at (Annotation: "p3") Actual: 32-byte object <F0-74 95-28 00-00 00-00 10-75 95-28 00-00 00-00 10-75 95-28 00-00 00-00 50-49 95-28 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 <20-32 95-28 00-00 00-00 40-32 95-28 00-00 00-00 40-32 95-28 00-00 00-00 50-49 95-28 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 50-49 95-28 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 <50-FB 95-28 00-00 00-00 70-FB 95-28 00-00 00-00 70-FB 95-28 00-00 00-00 50-49 95-28 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 <D0-5E 26-1C 00-00 00-00 F0-5E 26-1C 00-00 00-00 F0-5E 26-1C 00-00 00-00 E0-63 31-1C 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 E0-63 31-1C 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 <90-3E B5-19 00-00 00-00 B0-3E B5-19 00-00 00-00 B0-3E B5-19 00-00 00-00 20-3C BD-19 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 <90-3F B5-19 00-00 00-00 B0-3F B5-19 00-00 00-00 B0-3F B5-19 00-00 00-00 20-3C BD-19 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 <60-2A DA-2A 00-00 00-00 80-2A DA-2A 00-00 00-00 80-2A DA-2A 00-00 00-00 80-FF D7-2A 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-A6 C1-15 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-A6 C1-15 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-A6 C1-15 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 B0-A6 C1-15 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-D5 3C-22 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-D5 3C-22 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 10-D5 3C-22 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 80-C0 8B-21 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 80-C0 8B-21 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 <4E-15 57-01 00-00 00-00 04-00 00-00 00-00 00-00 F0-77 5B-24 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 <71-81 48-00 00-00 00-00 04-00 00-00 00-00 00-00 F0-77 5B-24 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 <71-81 48-00 00-00 00-00 04-00 00-00 00-00 00-00 F0-77 5B-24 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 <71-81 48-00 00-00 00-00 04-00 00-00 00-00 00-00 F0-77 5B-24 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 <AF-DE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 90-5A A9-46 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 <18-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 90-5A A9-46 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 <AF-DE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 90-5A A9-46 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 <18-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 90-5A A9-46 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 <AF-DE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 90-5A A9-46 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 <18-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 90-5A A9-46 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 <AF-DE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 90-5A A9-46 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 <18-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 90-5A A9-46 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 <AF-DE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 00-B9 C1-46 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 <18-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 00-B9 C1-46 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 00-B9 C1-46 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 <AF-DE 83-00 00-00 00-00 02-00 00-00 00-00 00-00 00-B9 C1-46 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 <18-D4 97-00 00-00 00-00 02-00 00-00 00-00 00-00 00-B9 C1-46 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 00-B9 C1-46 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 <46-A4 B6-00 00-00 00-00 04-00 00-00 00-00 00-00 00-B9 C1-46 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 <46-A4 B6-00 00-00 00-00 04-00 00-00 00-00 00-00 00-B9 C1-46 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 50-58 D0-4D 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 50-58 D0-4D 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 50-58 D0-4D 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-F7 6F-3F 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 E0-F7 6F-3F 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 <4D-91 3E-00 00-00 00-00 01-00 00-00 00-00 00-00 00-BB 75-2D 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 <CE-0F 66-00 00-00 00-00 01-00 00-00 00-00 00-00 20-89 AB-2B 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 usx95 force-pushed the users/usx95/11-17-lifetime-safety-multi-origin branch from 43233fe to 28ba2e1 Compare November 18, 2025 12:56
@usx95 usx95 force-pushed the users/usx95/11-17-lifetime-safety-multi-origin branch from 28ba2e1 to e0f4136 Compare November 18, 2025 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

@usx95