================ @@ -0,0 +1,71 @@ +//===- AssignmentQuery.cpp - C++ Lifetime Safety Checker --------*- 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: Apache-2.0 WITH LLVM-exception +// +//===----------------------------------------------------------------------===// +// +// This file implements the LifetimeChecker, which detects use-after-free +// errors by checking if live origins hold loans that have expired. +// +//===----------------------------------------------------------------------===// + +#ifndef LLVM_CLANG_ANALYSIS_ANALYSES_ASSIGNMENTQUERY_H +#define LLVM_CLANG_ANALYSIS_ANALYSES_ASSIGNMENTQUERY_H + +#include "clang/AST/Decl.h" +#include "clang/Analysis/Analyses/LifetimeSafety/Facts.h" +#include "clang/Analysis/Analyses/LifetimeSafety/LiveOrigins.h" +#include "clang/Analysis/Analyses/LifetimeSafety/LoanPropagation.h" +#include "clang/Analysis/Analyses/LifetimeSafety/MovedLoans.h" +#include "clang/Analysis/Analyses/LifetimeSafety/Origins.h" +#include "clang/Analysis/AnalysisDeclContext.h" + +namespace clang::lifetimes { + +using OriginDestExpr = + llvm::PointerUnion<const DeclRefExpr *, const ValueDecl *, + const MemberExpr *>; +using LoanEntity = llvm::PointerUnion<const Expr *, const ParmVarDecl *, + const CXXMethodDecl *>; + +using AssignmentPair = std::pair<OriginDestExpr, const Expr *>; + +struct ExprPrintingResult { + llvm::SmallString<32> Value; + const Expr *CurrExpr; +}; + +llvm::SmallString<32> FormatLoanEntityForSema(LoanEntity IssueEntity); +llvm::SmallVector<ExprPrintingResult> FormatSrcExprForSema(const Expr *SrcExpr); ---------------- suoyuan666 wrote:
Ok, I choose to using `SmallVectorImpl<>` as function parameter. https://github.com/llvm/llvm-project/pull/188467 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
