https://github.com/usx95 ready_for_review
https://github.com/llvm/llvm-project/pull/150670
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/150670
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/150670
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
usx95 wrote:
* **#150670** https://app.graphite.dev/github/pr/llvm/llvm-project/150670?utm_source=stack-comment-icon";
target="_blank">https://static.graphite.dev/graphite-32x32-black.png"; alt="Graphite"
width="10px" height="10px"/> ๐ https://app.graphite.dev/github/pr/llvm/llvm-project/150670
https://github.com/usx95 created
https://github.com/llvm/llvm-project/pull/150670
None
>From e0d060af9a0a85424c6ea776465efeeddf5d213b Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 25 Jul 2025 18:11:45 +
Subject: [PATCH] fix-pruned-edges
---
clang/lib/Analysis/LifetimeSafety.cp
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149731
>From 6439e88af1d5cf20c5feeb6b3bd1b512ca56c805 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 25 Jul 2025 17:03:28 +
Subject: [PATCH] [LifetimeSafety] Implement a basic use-after-free diagnostic
---
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/149731
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 ready_for_review
https://github.com/llvm/llvm-project/pull/149731
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149731
>From 47afe80956bff081cb6ca535141d9869ebbc026c Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 25 Jul 2025 17:03:28 +
Subject: [PATCH] [LifetimeSafety] Implement a basic use-after-free diagnostic
---
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149731
>From 1c695af8c2ba314a5116a7ca784181c7b6eb1353 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Sun, 20 Jul 2025 18:33:56 +
Subject: [PATCH] basic error report for use after free
---
.../clang/Analysis/An
usx95 wrote:
>This patch and fix improved things and I see less build failures, but my
>problems haven't gone away.
Now Clang hangs compiling some files, it doesn't terminate.
This analysis would not be triggered with `-Weverything` anymore and would not
have any side effects. So must be some
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149731
>From 96e8032ad8d97892fe7a6eb80c02f45b0e7b414c Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Sun, 20 Jul 2025 18:33:56 +
Subject: [PATCH] basic error report for use after free
---
.../clang/Analysis/An
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148976
>From ac130f9d7ff7146015926a41887a6214355cca69 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Tue, 15 Jul 2025 22:19:48 +
Subject: [PATCH] add-liveness-finally
---
.../clang/Analysis/Analyses/LifetimeSa
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/149731
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/148976
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 closed https://github.com/llvm/llvm-project/pull/148712
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
usx95 wrote:
### Merge activity
* **Jul 23, 10:12 AM UTC**: A user started a stack merge that includes this
pull request via
[Graphite](https://app.graphite.dev/github/pr/llvm/llvm-project/148712).
https://github.com/llvm/llvm-project/pull/148712
_
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148712
>From 7a78e40851960d5096e5e3f174035052792dead6 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Mon, 14 Jul 2025 19:37:49 +
Subject: [PATCH] [LifetimeSafety] Add loan expiry analysis
---
.../clang/Analysi
Author: Utkarsh Saxena
Date: 2025-07-22T13:34:44Z
New Revision: 58be6226eb897f53185851283f25bd6d25ec74fa
URL:
https://github.com/llvm/llvm-project/commit/58be6226eb897f53185851283f25bd6d25ec74fa
DIFF:
https://github.com/llvm/llvm-project/commit/58be6226eb897f53185851283f25bd6d25ec74fa.diff
LOG
usx95 wrote:
Should be fixed by changing the name of the field to `AST` instead of `TestAST`
```
error: declaration of โstd::unique_ptr
clang::lifetimes::internal::{anonymous}::LifetimeTestRunner::TestASTโ
[-fpermissive]
std::unique_ptr TestAST;
^~~
In file in
usx95 wrote:
Reverted in 54b50681ca0fd1c0c6ddb059c88981a45e2f1b19
Will fix forward the build breakage!
https://github.com/llvm/llvm-project/pull/149158
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listi
Author: Utkarsh Saxena
Date: 2025-07-22T12:10:47Z
New Revision: 54b50681ca0fd1c0c6ddb059c88981a45e2f1b19
URL:
https://github.com/llvm/llvm-project/commit/54b50681ca0fd1c0c6ddb059c88981a45e2f1b19
DIFF:
https://github.com/llvm/llvm-project/commit/54b50681ca0fd1c0c6ddb059c88981a45e2f1b19.diff
LOG
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148712
>From 65f54027dee788115d5a7a474e42e79d82f8e8d7 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Mon, 14 Jul 2025 19:37:49 +
Subject: [PATCH] [LifetimeSafety] Add loan expiry analysis
---
.../clang/Analysi
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/148712
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 closed https://github.com/llvm/llvm-project/pull/149158
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
usx95 wrote:
### Merge activity
* **Jul 22, 10:30 AM UTC**: A user started a stack merge that includes this
pull request via
[Graphite](https://app.graphite.dev/github/pr/llvm/llvm-project/149158).
https://github.com/llvm/llvm-project/pull/149158
_
usx95 wrote:
### Merge activity
* **Jul 21, 9:57 PM UTC**: A user started a stack merge that includes this pull
request via
[Graphite](https://app.graphite.dev/github/pr/llvm/llvm-project/149199).
https://github.com/llvm/llvm-project/pull/149199
__
https://github.com/usx95 closed https://github.com/llvm/llvm-project/pull/105817
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
usx95 wrote:
> I have narrowed it down to the usage of -Weverything.
> Is that intended behaviour, does -Wexperimental-lifetime-safety gets enabled
> by that?
Yes. I am trying to have a different option to enable this analysis other
instead of the warning -Wexperimental-lifetime-safety in
htt
https://github.com/usx95 ready_for_review
https://github.com/llvm/llvm-project/pull/149592
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149592
>From a3dc1471feb9e5b748c091779eed8c433eb6fd46 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 18 Jul 2025 21:19:50 +
Subject: [PATCH] add-frontend-option-for-lifetime-safety
---
clang/include/clang
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/149592
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/149592
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
usx95 wrote:
* **#149592** https://app.graphite.dev/github/pr/llvm/llvm-project/149592?utm_source=stack-comment-icon";
target="_blank">https://static.graphite.dev/graphite-32x32-black.png"; alt="Graphite"
width="10px" height="10px"/> ๐ https://app.graphite.dev/github/pr/llvm/llvm-project/149592
https://github.com/usx95 created
https://github.com/llvm/llvm-project/pull/149592
None
>From 104d600d138a1f66587978260db063cff292dd43 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 18 Jul 2025 21:19:50 +
Subject: [PATCH] add-frontend-option-for-lifetime-safety
---
clang/include
usx95 wrote:
@sjoerdmeijer How are you running this ? This analysis is currently
experimental, hidden behind `-Wexperimental-lifetime-safety`.
https://github.com/llvm/llvm-project/pull/148222
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
ht
@@ -502,6 +502,12 @@ class FactGenerator : public
ConstStmtVisitor {
enum class Direction { Forward, Backward };
+/// A program point is a pair of a CFGBlock and a Fact within that block.
+///
+/// This is used to represent the state of the program *after* the Fact is
+/// e
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149199
>From 3e67c98b4a365948910a3da9ad5d56a6087a527a Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Wed, 16 Jul 2025 21:57:03 +
Subject: [PATCH] address comment
---
clang/lib/Analysis/LifetimeSafety.cpp | 39
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149158
>From 0311169154e4db2bb049168a1e73e3ae67d96848 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Wed, 16 Jul 2025 18:22:39 +
Subject: [PATCH] [LifetimeSafety] Revamp test suite using unittests
---
.../clan
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149158
>From 299ff3039df54ee9acc2a81a3204b43cad40f84e Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Wed, 16 Jul 2025 18:22:39 +
Subject: [PATCH] [LifetimeSafety] Revamp test suite using unittests
---
.../clan
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149158
>From e5fefc05dcef6fd80fb459cca0d68a4d14c66564 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Wed, 16 Jul 2025 18:22:39 +
Subject: [PATCH] [LifetimeSafety] Revamp test suite using unittests
---
.../clan
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/149158
>From 2ff9adf18d58e16fdebb01fd830b0e7a920c58cb Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Wed, 16 Jul 2025 18:22:39 +
Subject: [PATCH] [LifetimeSafety] Revamp test suite using unittests
---
.../clan
usx95 wrote:
* **#149158** https://app.graphite.dev/github/pr/llvm/llvm-project/149158?utm_source=stack-comment-icon";
target="_blank">https://static.graphite.dev/graphite-32x32-black.png"; alt="Graphite"
width="10px" height="10px"/> ๐ https://app.graphite.dev/github/pr/llvm/llvm-project/149158
https://github.com/usx95 created
https://github.com/llvm/llvm-project/pull/149158
None
>From a208de6e71213a2114981fd74e66caad2ca02e78 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Wed, 16 Jul 2025 18:22:39 +
Subject: [PATCH] [LifetimeSafety] Revamp test suite using unittests
---
..
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148712
>From 7365fc44f79b49447f41771dcb9707150e1a4f90 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Mon, 14 Jul 2025 19:37:49 +
Subject: [PATCH] [LifetimeSafety] Add loan expiry analysis
---
clang/lib/Analysi
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/148712
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 closed https://github.com/llvm/llvm-project/pull/148967
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148967
>From b76c9160a608f6908119298001ec15599abaf051 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Tue, 15 Jul 2025 21:24:11 +
Subject: [PATCH] add-backward-analysis-capability
---
clang/lib/Analysis/Lifetim
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148967
>From 4a2336900f6343963f278df7426166463382b3c0 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Tue, 15 Jul 2025 21:24:11 +
Subject: [PATCH] add-backward-analysis-capability
---
clang/lib/Analysis/Lifetim
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/148967
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 closed https://github.com/llvm/llvm-project/pull/148222
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 3130ad5f5eb0d4df7bba305264cf9d5865f46bc6 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/3] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From b7375fb1370a9e2903a53b629fc2dfd28b05dc45 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/3] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
usx95 wrote:
### Merge activity
* **Jul 16, 2:12 PM UTC**: A user started a stack merge that includes this pull
request via
[Graphite](https://app.graphite.dev/github/pr/llvm/llvm-project/148222).
https://github.com/llvm/llvm-project/pull/148222
__
usx95 wrote:
> One question for the future: sometimes it might be better to run certain
> analyses side by side in the same worklist rather than running them
> sequentially after each other. Do you think there are some analysis steps
> that will be beneficial to be combined in that way?
That
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 328e89349a0e71f2d2e8a83d1b63baf46c129b50 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/3] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 5d10f007a81861e513c1483163947182b109c92d Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/3] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 2bff132be9082f85835f22e73550447f7b880e13 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/3] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 2bff132be9082f85835f22e73550447f7b880e13 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/2] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 2bff132be9082f85835f22e73550447f7b880e13 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH] [LifetimeSafety] Add expired loans analysis
---
clang/lib/Analy
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 927f92a13bfe02ca3e458723a0e74fe0b7f53d18 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/2] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 927f92a13bfe02ca3e458723a0e74fe0b7f53d18 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/2] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 80d6c7b536cff6d95416e70676c9b33e5d1e174a Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/2] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 80d6c7b536cff6d95416e70676c9b33e5d1e174a Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH 1/2] [LifetimeSafety] Add expired loans analysis
---
clang/lib/A
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148222
>From 80d6c7b536cff6d95416e70676c9b33e5d1e174a Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Fri, 11 Jul 2025 11:11:47 +
Subject: [PATCH] [LifetimeSafety] Add expired loans analysis
---
clang/lib/Analy
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/148222
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 closed https://github.com/llvm/llvm-project/pull/147315
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/147315
>From a558fe4996c628dffdab20a4d782f0f22234cc5c Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Mon, 7 Jul 2025 15:13:00 +
Subject: [PATCH] [LifetimeSafety] Add script performance benchmarking
---
.../Ana
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/147315
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 closed https://github.com/llvm/llvm-project/pull/148065
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148065
>From df1677b2bc7e729186b26e903f7339e58bb664fc Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Thu, 10 Jul 2025 22:00:01 +
Subject: [PATCH 1/4] [LifetimeSafety] Implement dataflow analysis for loan
propag
usx95 wrote:
### Merge activity
* **Jul 14, 6:16 PM UTC**: A user started a stack merge that includes this pull
request via
[Graphite](https://app.graphite.dev/github/pr/llvm/llvm-project/148065).
https://github.com/llvm/llvm-project/pull/148065
__
@@ -174,6 +355,11 @@ void nested_scopes() {
// CHECK: Expire (LoanID: [[L_OUTER]])
}
+// CHECK-LABEL: Dataflow results:
+// CHECK-DAG: Origin [[O_P]] contains Loan [[L_INNER]]
usx95 wrote:
good point. Added.
https://github.com/llvm/llvm-project/pull/148065
@@ -493,7 +496,247 @@ class FactGenerator : public
ConstStmtVisitor {
};
// = //
-// TODO: Run dataflow analysis to propagate loans, analyse and error
reporting.
+// The Dat
@@ -493,7 +496,241 @@ class FactGenerator : public
ConstStmtVisitor {
};
// = //
-// TODO: Run dataflow analysis to propagate loans, analyse and error
reporting.
+// The Dat
@@ -493,7 +496,241 @@ class FactGenerator : public
ConstStmtVisitor {
};
// = //
-// TODO: Run dataflow analysis to propagate loans, analyse and error
reporting.
+// The Dat
@@ -493,7 +496,241 @@ class FactGenerator : public
ConstStmtVisitor {
};
// = //
-// TODO: Run dataflow analysis to propagate loans, analyse and error
reporting.
+// The Dat
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148065
>From 123045c4db9ec6969fc111ab817b8f238d0ee23c Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Thu, 10 Jul 2025 22:00:01 +
Subject: [PATCH 1/4] [LifetimeSafety] Implement dataflow analysis for loan
propag
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148065
>From 123045c4db9ec6969fc111ab817b8f238d0ee23c Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Thu, 10 Jul 2025 22:00:01 +
Subject: [PATCH 1/3] [LifetimeSafety] Implement dataflow analysis for loan
propag
@@ -493,7 +496,247 @@ class FactGenerator : public
ConstStmtVisitor {
};
// = //
-// TODO: Run dataflow analysis to propagate loans, analyse and error
reporting.
+// The Dat
@@ -493,7 +496,247 @@ class FactGenerator : public
ConstStmtVisitor {
};
// = //
-// TODO: Run dataflow analysis to propagate loans, analyse and error
reporting.
+// The Dat
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148065
>From 123045c4db9ec6969fc111ab817b8f238d0ee23c Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Thu, 10 Jul 2025 22:00:01 +
Subject: [PATCH 1/2] [LifetimeSafety] Implement dataflow analysis for loan
propag
@@ -493,7 +496,247 @@ class FactGenerator : public
ConstStmtVisitor {
};
// = //
-// TODO: Run dataflow analysis to propagate loans, analyse and error
reporting.
+// The Dat
https://github.com/usx95 updated
https://github.com/llvm/llvm-project/pull/148065
>From 123045c4db9ec6969fc111ab817b8f238d0ee23c Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Thu, 10 Jul 2025 22:00:01 +
Subject: [PATCH] [LifetimeSafety] Implement dataflow analysis for loan
propagatio
usx95 wrote:
Sorry for the trouble. Thanks @Prabhuk and @dyung for spotting and fixing this!
https://github.com/llvm/llvm-project/pull/142313
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-co
https://github.com/usx95 ready_for_review
https://github.com/llvm/llvm-project/pull/148065
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/148065
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
usx95 wrote:
* **#148065** https://app.graphite.dev/github/pr/llvm/llvm-project/148065?utm_source=stack-comment-icon";
target="_blank">https://static.graphite.dev/graphite-32x32-black.png"; alt="Graphite"
width="10px" height="10px"/> ๐ https://app.graphite.dev/github/pr/llvm/llvm-project/148065
https://github.com/usx95 created
https://github.com/llvm/llvm-project/pull/148065
None
>From f6ca9022b136007bfbd369e71b4361829aeb89e0 Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena
Date: Thu, 10 Jul 2025 22:00:01 +
Subject: [PATCH] [LifetimeSafety] Implement dataflow analysis for loan
prop
@@ -0,0 +1,504 @@
+//===- LifetimeSafety.cpp - C++ Lifetime Safety Analysis -*-
C++-*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Ap
@@ -0,0 +1,504 @@
+//===- LifetimeSafety.cpp - C++ Lifetime Safety Analysis -*-
C++-*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Ap
@@ -0,0 +1,504 @@
+//===- LifetimeSafety.cpp - C++ Lifetime Safety Analysis -*-
C++-*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Ap
@@ -0,0 +1,504 @@
+//===- LifetimeSafety.cpp - C++ Lifetime Safety Analysis -*-
C++-*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Ap
@@ -0,0 +1,504 @@
+//===- LifetimeSafety.cpp - C++ Lifetime Safety Analysis -*-
C++-*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Ap
usx95 wrote:
In 1-2 days, I will go ahead and merge this if there are no more comments from
other reviewers. cc: @ymand
https://github.com/llvm/llvm-project/pull/142313
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cg
https://github.com/usx95 closed https://github.com/llvm/llvm-project/pull/147208
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/usx95 commented:
> Something for future PRs: I think it would be nice to have some sort of
> coverage statistics. While initially you do not aim to cover all of C++, it
> would be good to know what portion of nodes are missing from the fact
> generation when we run this on s
https://github.com/usx95 edited https://github.com/llvm/llvm-project/pull/142313
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -0,0 +1,508 @@
+//===- LifetimeSafety.cpp - C++ Lifetime Safety Analysis -*-
C++-*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Ap
@@ -0,0 +1,728 @@
+#include "clang/Analysis/Analyses/LifetimeSafety.h"
+#include "clang/AST/Decl.h"
+#include "clang/AST/Expr.h"
+#include "clang/AST/StmtVisitor.h"
+#include "clang/AST/Type.h"
+#include "clang/Analysis/AnalysisDeclContext.h"
+#include "clang/Analysis/CFG.h"
+#inc
1 - 100 of 1243 matches
Mail list logo