Skip to content

Commit 52464b3

Browse files
committed
Apply changes from code browser
Apply changes from code browser
1 parent a677b11 commit 52464b3

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

clang/include/clang/Analysis/Analyses/LifetimeSafety/FactsGenerator.h

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,15 @@
1-
//===- TODO ---*- C++ -*-===//
1+
//===- FactsGenerator.h - Lifetime Facts Generation -------------*- C++ -*-===//
22
//
33
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
44
// See https://llvm.org/LICENSE.txt for license information.
55
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
66
//
77
//===----------------------------------------------------------------------===//
88
//
9-
// TODO
9+
// This file defines the FactsGenerator, which traverses the AST to generate
10+
// lifetime-relevant facts (such as loan issuance, expiration, origin flow,
11+
// and use) from CFG statements. These facts are used by the dataflow analyses
12+
// to track pointer lifetimes and detect use-after-free errors.
1013
//
1114
//===----------------------------------------------------------------------===//
1215
#ifndef LLVM_CLANG_ANALYSIS_ANALYSES_LIFETIMESAFETY_FACTSGENERATOR_H

0 commit comments

Comments
 (0)