[clang] [LifetimeSafety] Handle pruned-edges (null blocks) in dataflow (PR #150670)

2025-07-25 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Handle pruned-edges (null blocks) in dataflow (PR #150670)

2025-07-25 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Handle pruned-edges (null blocks) in dataflow (PR #150670)

2025-07-25 Thread Utkarsh Saxena via 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

[clang] fix-pruned-edges (PR #150670)

2025-07-25 Thread Utkarsh Saxena via 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

[clang] fix-pruned-edges (PR #150670)

2025-07-25 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement a basic use-after-free diagnostic (PR #149731)

2025-07-25 Thread Utkarsh Saxena via cfe-commits
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 ---

[clang] [LifetimeSafety] Implement a basic use-after-free diagnostic (PR #149731)

2025-07-25 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement a basic use-after-free diagnostic (PR #149731)

2025-07-25 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Implement a basic use-after-free diagnostic (PR #149731)

2025-07-25 Thread Utkarsh Saxena via 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 ---

[clang] [LifetimeSafety] Implement a basic use-after-free diagnostic (PR #149731)

2025-07-25 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add language option for experimental lifetime safety (PR #149592)

2025-07-24 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement a basic use-after-free diagnostic (PR #149731)

2025-07-23 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement LiveOrigins analysis (PR #148976)

2025-07-23 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement a basic use-after-free diagnostic (PR #149731)

2025-07-23 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement LiveOrigins analysis (PR #148976)

2025-07-23 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Add loan expiry analysis (PR #148712)

2025-07-23 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Add loan expiry analysis (PR #148712)

2025-07-23 Thread Utkarsh Saxena via 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 _

[clang] [LifetimeSafety] Add loan expiry analysis (PR #148712)

2025-07-23 Thread Utkarsh Saxena via cfe-commits
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

[clang] 58be622 - Reapply "[LifetimeSafety] Revamp test suite using unittests (#149158)"

2025-07-22 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-22 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-22 Thread Utkarsh Saxena via cfe-commits
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

[clang] 54b5068 - Revert "[LifetimeSafety] Revamp test suite using unittests (#149158)"

2025-07-22 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add loan expiry analysis (PR #148712)

2025-07-22 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add loan expiry analysis (PR #148712)

2025-07-22 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-22 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-22 Thread Utkarsh Saxena via 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 _

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-21 Thread Utkarsh Saxena via cfe-commits
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 __

[clang] [clang] Compiler builtin for deduping a list of types (PR #105817)

2025-07-19 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-18 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Add language option for experimental lifetime safety (PR #149592)

2025-07-18 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add language option for experimental lifetime safety (PR #149592)

2025-07-18 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Add language option for experimental lifetime safety (PR #149592)

2025-07-18 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Add language option for experimental lifetime safety (PR #149592)

2025-07-18 Thread Utkarsh Saxena via 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

[clang] add-frontend-option-for-lifetime-safety (PR #149592)

2025-07-18 Thread Utkarsh Saxena via 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

[clang] add-frontend-option-for-lifetime-safety (PR #149592)

2025-07-18 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-18 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-17 Thread Utkarsh Saxena via cfe-commits
@@ -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

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-17 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Revamp test suite using unittests (PR #149158)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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 --- ..

[clang] [LifetimeSafety] Add loan expiry analysis (PR #148712)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add loan expiry analysis (PR #148712)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Support bidirectional dataflow analysis (PR #148967)

2025-07-16 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Support bidirectional dataflow analysis (PR #148967)

2025-07-16 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Support bidirectional dataflow analysis (PR #148967)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Support bidirectional dataflow analysis (PR #148967)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-16 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-16 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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 __

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-16 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-15 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-15 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-15 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-15 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-15 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add expired loans analysis (PR #148222)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add expired loans analysis (PR #148222)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add expired loans analysis (PR #148222)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add expired loans analysis (PR #148222)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Add script for performance benchmarking (PR #147315)

2025-07-14 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Add script for performance benchmarking (PR #147315)

2025-07-14 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Add script for performance benchmarking (PR #147315)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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 __

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
@@ -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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
@@ -493,7 +496,247 @@ class FactGenerator : public ConstStmtVisitor { }; // = // -// TODO: Run dataflow analysis to propagate loans, analyse and error reporting. +// The Dat

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
@@ -493,7 +496,241 @@ class FactGenerator : public ConstStmtVisitor { }; // = // -// TODO: Run dataflow analysis to propagate loans, analyse and error reporting. +// The Dat

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
@@ -493,7 +496,241 @@ class FactGenerator : public ConstStmtVisitor { }; // = // -// TODO: Run dataflow analysis to propagate loans, analyse and error reporting. +// The Dat

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
@@ -493,7 +496,241 @@ class FactGenerator : public ConstStmtVisitor { }; // = // -// TODO: Run dataflow analysis to propagate loans, analyse and error reporting. +// The Dat

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
@@ -493,7 +496,247 @@ class FactGenerator : public ConstStmtVisitor { }; // = // -// TODO: Run dataflow analysis to propagate loans, analyse and error reporting. +// The Dat

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
@@ -493,7 +496,247 @@ class FactGenerator : public ConstStmtVisitor { }; // = // -// TODO: Run dataflow analysis to propagate loans, analyse and error reporting. +// The Dat

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-14 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-11 Thread Utkarsh Saxena via cfe-commits
@@ -493,7 +496,247 @@ class FactGenerator : public ConstStmtVisitor { }; // = // -// TODO: Run dataflow analysis to propagate loans, analyse and error reporting. +// The Dat

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-11 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-11 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-10 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-10 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-10 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Implement dataflow analysis for loan propagation (PR #148065)

2025-07-10 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-10 Thread Utkarsh Saxena via cfe-commits
@@ -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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-10 Thread Utkarsh Saxena via cfe-commits
@@ -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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-10 Thread Utkarsh Saxena via cfe-commits
@@ -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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-10 Thread Utkarsh Saxena via cfe-commits
@@ -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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-10 Thread Utkarsh Saxena via cfe-commits
@@ -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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-09 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Propagate loans using dataflow analysis (PR #147208)

2025-07-07 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-07 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-07 Thread Utkarsh Saxena via cfe-commits
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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-07 Thread Utkarsh Saxena via 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

[clang] [LifetimeSafety] Introduce intra-procedural analysis in Clang (PR #142313)

2025-07-07 Thread Utkarsh Saxena via cfe-commits
@@ -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   2   3   4   5   6   7   8   9   10   >