[clang] [LifetimeSafety] Detect use-after-return (PR #165370)
Kashika Akhouri via cfe-commits
cfe-commits at lists.llvm.org
Mon Nov 17 07:21:34 PST 2025
================
@@ -93,6 +93,9 @@ class FactsGenerator : public ConstStmtVisitor<FactsGenerator> {
FactManager &FactMgr;
AnalysisDeclContext &AC;
llvm::SmallVector<Fact *> CurrentBlockFacts;
+ // Collect origins that escape the function in this block (OriginEscapesFact),
+ // appended at the end to ensure they appear after ExpireFact entries.
----------------
kashika0112 wrote:
Hi as per suggestions here: https://github.com/llvm/llvm-project/pull/165370#discussion_r2525159574, I moving the comment back to the original place. However I can add that it is appended to the CurrentBlockFacts.
https://github.com/llvm/llvm-project/pull/165370
More information about the cfe-commits
mailing list