clang 23.0.0git
Classes | Typedefs | Functions
clang::dataflow::statusor_model Namespace Reference

Classes

class  MatchFinder
 A class to allow finding matches over the Clang AST. More...
class  UncheckedStatusOrAccessDiagnoser
class  UncheckedStatusOrAccessModel
struct  UncheckedStatusOrAccessModelOptions

Typedefs

using LatticeTransferState
using StatementMatcher

Functions

clang::ast_matchers::DeclarationMatcher statusOrClass ()
clang::ast_matchers::DeclarationMatcher statusClass ()
clang::ast_matchers::DeclarationMatcher statusOrOperatorBaseClass ()
clang::ast_matchers::TypeMatcher statusOrType ()
clang::ast_matchers::TypeMatcher statusType ()
RecordStorageLocation & locForStatus (RecordStorageLocation &StatusOrLoc)
StorageLocation & locForOk (RecordStorageLocation &StatusLoc)
BoolValue & valForOk (RecordStorageLocation &StatusLoc, Environment &Env)
llvm::StringMap< QualType > getSyntheticFields (QualType Ty, QualType StatusType, const CXXRecordDecl &RD)
BoolValue & initializeStatusOr (RecordStorageLocation &StatusOrLoc, Environment &Env)
BoolValue & initializeStatus (RecordStorageLocation &StatusLoc, Environment &Env)
bool isStatusOrType (QualType Type)
bool isStatusType (QualType Type)
QualType findStatusType (const ASTContext &Ctx)
CFGMatchSwitch< LatticeTransferState > buildTransferMatchSwitch (ASTContext &Ctx, CFGMatchSwitchBuilder< LatticeTransferState > Builder)
static bool namespaceEquals (const NamespaceDecl *NS, clang::ArrayRef< clang::StringRef > NamespaceNames)
static bool isTypeNamed (QualType Type, clang::ArrayRef< clang::StringRef > NS, StringRef Name)
static bool isStatusOrOperatorBaseType (QualType Type)
static bool isSafeUnwrap (RecordStorageLocation *StatusOrLoc, const Environment &Env)
static ClassTemplateSpecializationDecl * getStatusOrBaseClass (const QualType &Ty)
static QualType getStatusOrValueType (ClassTemplateSpecializationDecl *TRD)
static auto ofClassStatus ()
static auto isStatusMemberCallWithName (llvm::StringRef member_name)
static auto isStatusOrMemberCallWithName (llvm::StringRef member_name)
static auto isStatusOrOperatorCallWithName (llvm::StringRef operator_name)
static auto valueCall ()
static auto valueOperatorCall ()
static auto isComparisonOperatorCall (llvm::StringRef operator_name)
static auto isOkStatusCall ()
static auto isNotOkStatusCall ()
static auto isPointerComparisonOperatorCall (std::string operator_name)
static auto isStatusOrValueAssignmentCall ()
static auto isStatusOrValueConstructor ()
static auto isStatusOrConstructor ()
static auto isStatusConstructor ()
static auto isLoggingGetReferenceableValueCall ()
static auto isLoggingCheckEqImpl ()
static auto isAsStatusCallWithStatus ()
static auto isAsStatusCallWithStatusOr ()
static auto possiblyReferencedStatusOrType ()
static auto isConstAccessorMemberCall ()
static auto isConstAccessorMemberOperatorCall ()
static auto isConstPointerAccessorMemberCall ()
static auto isConstPointerAccessorMemberOperatorCall ()
static auto isNonConstMemberCall ()
static auto isNonConstMemberOperatorCall ()
static auto isMakePredicateFormatterFromIsOkMatcherCall ()
static auto isStatusIsOkMatcherCall ()
static auto isMakePredicateFormatterFromStatusIsMatcherCall ()
static auto isPredicateFormatterFromStatusMatcherCall ()
static auto isPredicateFormatterFromStatusOrMatcherCall ()
static auto isAssertionResultOperatorBoolCall ()
static auto isAssertionResultConstructFromBoolCall ()
static auto isStatusOrReturningCall ()
static auto isStatusOrPtrReturningCall ()
static auto isStatusPtrReturningCall ()
static auto ofClassReturnIfErrorAdaptor ()
static auto returnIfErrorAdaptorClass ()
static auto returnIfErrorAdaptorType ()
static auto isReturnIfErrorAdaptorOperatorBoolCall ()
static auto isMacroAdaptorCall ()
static auto buildDiagnoseMatchSwitch (const UncheckedStatusOrAccessModelOptions &Options)
static bool isPredicateFormatterFromMatcherType (QualType Type)
static bool isAssertionResultType (QualType Type)
static bool isStatusIsMatcherType (QualType Type)
static bool IsMacroAdaptorType (clang::QualType type)
static StorageLocation & locForOkPredicate (RecordStorageLocation &StatusLoc)
static StorageLocation & locForOkMatcher (RecordStorageLocation &StatusLoc)
static void transferStatusOrOkCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusOkCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusUpdateCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static BoolValue * evaluateStatusEquality (RecordStorageLocation &LhsStatusLoc, RecordStorageLocation &RhsStatusLoc, Environment &Env)
static BoolValue * evaluateStatusOrEquality (RecordStorageLocation &LhsStatusOrLoc, RecordStorageLocation &RhsStatusOrLoc, Environment &Env)
static BoolValue * evaluateEquality (const Expr *LhsExpr, const Expr *RhsExpr, Environment &Env)
static void transferComparisonOperator (const CXXOperatorCallExpr *Expr, LatticeTransferState &State, bool IsNegative)
static RecordStorageLocation * getPointeeLocation (const Expr &Expr, Environment &Env)
static BoolValue * evaluatePointerEquality (const Expr *LhsExpr, const Expr *RhsExpr, Environment &Env)
static void transferPointerComparisonOperator (const BinaryOperator *Expr, LatticeTransferState &State, bool IsNegative)
static void transferOkStatusCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferNotOkStatusCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferEmplaceCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferValueAssignmentCall (const CXXOperatorCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferValueConstructor (const CXXConstructExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusOrConstructor (const CXXConstructExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusConstructor (const CXXConstructExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferLoggingGetReferenceableValueCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferLoggingCheckEqImpl (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferAsStatusCallWithStatus (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferAsStatusCallWithStatusOr (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferPointerToBoolean (const ImplicitCastExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusOrReturningCall (const CallExpr *Expr, LatticeTransferState &State)
static bool doHandleConstAccessorMemberCall (const CallExpr *Expr, RecordStorageLocation *RecordLoc, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void handleConstAccessorMemberCall (const CallExpr *Expr, RecordStorageLocation *RecordLoc, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void handleConstPointerAccessorMemberCall (const CallExpr *Expr, RecordStorageLocation *RecordLoc, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferConstAccessorMemberCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferConstAccessorMemberOperatorCall (const CXXOperatorCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferConstPointerAccessorMemberCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferConstPointerAccessorMemberOperatorCall (const CXXOperatorCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void handleNonConstMemberCall (const CallExpr *Expr, RecordStorageLocation *RecordLoc, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferNonConstMemberCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferNonConstMemberOperatorCall (const CXXOperatorCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferMakePredicateFormatterFromIsOkMatcherCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusIsOkMatcherCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferMakePredicateFormatterFromStatusIsMatcherCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferPredicateFormatterMatcherCall (const CXXOperatorCallExpr *Expr, LatticeTransferState &State, bool IsStatusOr)
static void transferAssertionResultConstructFromBoolCall (const CXXConstructExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferAssertionResultOperatorBoolCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferDerefCall (const CXXOperatorCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferArrowCall (const CXXOperatorCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferValueCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusOrPtrReturningCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferStatusPtrReturningCall (const CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static RecordStorageLocation * getSmartPtrLikeStorageLocation (const Expr &E, const Environment &Env)
static void transferMacroAdaptorCall (const clang::CallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)
static void transferReturnIfErrorAdaptorOperatorBoolCall (const clang::CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &, LatticeTransferState &State)

Typedef Documentation

◆ LatticeTransferState

using clang::dataflow::statusor_model::LatticeTransferState
Initial value:
TransferState<UncheckedStatusOrAccessModel::Lattice>
clang::dataflow::TransferState
A common form of state shared between the cases of a transfer function.
Definition MatchSwitch.h:41

Definition at line 87 of file UncheckedStatusOrAccessModel.h.

◆ StatementMatcher

using clang::ast_matchers::StatementMatcher

Definition at line 147 of file ASTMatchers.h.

Function Documentation

◆ buildDiagnoseMatchSwitch()

auto clang::dataflow::statusor_model::buildDiagnoseMatchSwitch ( const UncheckedStatusOrAccessModelOptions & Options)
static

Definition at line 400 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::get(), clang::CallExpr::getArg(), clang::CXXMemberCallExpr::getExprLoc(), clang::dataflow::getImplicitObjectLocation(), isSafeUnwrap(), valueCall(), and valueOperatorCall().

Referenced by clang::dataflow::statusor_model::UncheckedStatusOrAccessDiagnoser::UncheckedStatusOrAccessDiagnoser().

◆ buildTransferMatchSwitch()

CFGMatchSwitch< LatticeTransferState > clang::dataflow::statusor_model::buildTransferMatchSwitch ( ASTContext & Ctx,
CFGMatchSwitchBuilder< LatticeTransferState > Builder )

Definition at line 1213 of file UncheckedStatusOrAccessModel.cpp.

References clang::CallExpr::getArg(), clang::dataflow::getImplicitObjectLocation(), getSmartPtrLikeStorageLocation(), clang::ast_matchers::implicitCastExpr, isAssertionResultConstructFromBoolCall(), isAssertionResultOperatorBoolCall(), isAsStatusCallWithStatus(), isAsStatusCallWithStatusOr(), isComparisonOperatorCall(), isConstAccessorMemberCall(), isConstAccessorMemberOperatorCall(), isConstPointerAccessorMemberCall(), isConstPointerAccessorMemberOperatorCall(), isLoggingCheckEqImpl(), isLoggingGetReferenceableValueCall(), isMacroAdaptorCall(), isMakePredicateFormatterFromIsOkMatcherCall(), isMakePredicateFormatterFromStatusIsMatcherCall(), isNonConstMemberCall(), isNonConstMemberOperatorCall(), isNotOkStatusCall(), isOkStatusCall(), isPointerComparisonOperatorCall(), clang::dataflow::isPointerLikeOperatorArrow(), clang::dataflow::isPointerLikeOperatorStar(), isPredicateFormatterFromStatusMatcherCall(), isPredicateFormatterFromStatusOrMatcherCall(), isReturnIfErrorAdaptorOperatorBoolCall(), clang::dataflow::isSmartPointerLikeGetMethodCall(), clang::dataflow::isSmartPointerLikeValueMethodCall(), isStatusConstructor(), isStatusIsOkMatcherCall(), isStatusMemberCallWithName(), isStatusOrConstructor(), isStatusOrMemberCallWithName(), isStatusOrOperatorCallWithName(), isStatusOrPtrReturningCall(), isStatusOrReturningCall(), isStatusOrValueAssignmentCall(), isStatusOrValueConstructor(), isStatusPtrReturningCall(), clang::Result, transferArrowCall(), transferAssertionResultConstructFromBoolCall(), transferAssertionResultOperatorBoolCall(), transferAsStatusCallWithStatus(), transferAsStatusCallWithStatusOr(), transferComparisonOperator(), transferConstAccessorMemberCall(), transferConstAccessorMemberOperatorCall(), transferConstPointerAccessorMemberCall(), transferConstPointerAccessorMemberOperatorCall(), transferDerefCall(), transferEmplaceCall(), transferLoggingCheckEqImpl(), transferLoggingGetReferenceableValueCall(), transferMacroAdaptorCall(), transferMakePredicateFormatterFromIsOkMatcherCall(), transferMakePredicateFormatterFromStatusIsMatcherCall(), transferNonConstMemberCall(), transferNonConstMemberOperatorCall(), transferNotOkStatusCall(), transferOkStatusCall(), transferPointerComparisonOperator(), transferPointerToBoolean(), transferPredicateFormatterMatcherCall(), transferReturnIfErrorAdaptorOperatorBoolCall(), clang::dataflow::transferSmartPointerLikeCachedDeref(), clang::dataflow::transferSmartPointerLikeCachedGet(), transferStatusCall(), transferStatusConstructor(), transferStatusIsOkMatcherCall(), transferStatusOkCall(), transferStatusOrConstructor(), transferStatusOrOkCall(), transferStatusOrPtrReturningCall(), transferStatusOrReturningCall(), transferStatusPtrReturningCall(), transferStatusUpdateCall(), transferValueAssignmentCall(), transferValueCall(), and transferValueConstructor().

Referenced by clang::dataflow::statusor_model::UncheckedStatusOrAccessModel::UncheckedStatusOrAccessModel().

◆ doHandleConstAccessorMemberCall()

bool clang::dataflow::statusor_model::doHandleConstAccessorMemberCall ( const CallExpr * Expr,
RecordStorageLocation * RecordLoc,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 915 of file UncheckedStatusOrAccessModel.cpp.

References clang::cast(), clang::dataflow::copyRecord(), clang::Expr::isPRValue(), and clang::Result.

Referenced by handleConstAccessorMemberCall().

◆ evaluateEquality()

BoolValue * clang::dataflow::statusor_model::evaluateEquality ( const Expr * LhsExpr,
const Expr * RhsExpr,
Environment & Env )
static

Definition at line 671 of file UncheckedStatusOrAccessModel.cpp.

References evaluateStatusEquality(), evaluateStatusOrEquality(), clang::dataflow::Environment::get(), clang::Expr::getType(), isStatusOrType(), and isStatusType().

Referenced by transferComparisonOperator(), and transferLoggingCheckEqImpl().

◆ evaluatePointerEquality()

BoolValue * clang::dataflow::statusor_model::evaluatePointerEquality ( const Expr * LhsExpr,
const Expr * RhsExpr,
Environment & Env )
static

Definition at line 721 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::arena(), clang::dataflow::Environment::assume(), getPointeeLocation(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::Type::isPointerType(), isStatusOrType(), isStatusType(), locForStatus(), clang::dataflow::Environment::makeAtomicBoolValue(), and valForOk().

Referenced by transferPointerComparisonOperator().

◆ evaluateStatusEquality()

BoolValue * clang::dataflow::statusor_model::evaluateStatusEquality ( RecordStorageLocation & LhsStatusLoc,
RecordStorageLocation & RhsStatusLoc,
Environment & Env )
static

Definition at line 619 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::arena(), clang::dataflow::Environment::assume(), clang::dataflow::Environment::makeAtomicBoolValue(), and valForOk().

Referenced by evaluateEquality().

◆ evaluateStatusOrEquality()

BoolValue * clang::dataflow::statusor_model::evaluateStatusOrEquality ( RecordStorageLocation & LhsStatusOrLoc,
RecordStorageLocation & RhsStatusOrLoc,
Environment & Env )
static

Definition at line 648 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::arena(), clang::dataflow::Environment::assume(), locForStatus(), clang::dataflow::Environment::makeAtomicBoolValue(), and valForOk().

Referenced by evaluateEquality().

◆ findStatusType()

QualType clang::dataflow::statusor_model::findStatusType ( const ASTContext & Ctx)

Definition at line 1388 of file UncheckedStatusOrAccessModel.cpp.

References clang::ASTContext::getTypes(), and isStatusType().

◆ getPointeeLocation()

RecordStorageLocation * clang::dataflow::statusor_model::getPointeeLocation ( const Expr & Expr,
Environment & Env )
static

Definition at line 714 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::get().

Referenced by evaluatePointerEquality().

◆ getSmartPtrLikeStorageLocation()

RecordStorageLocation * clang::dataflow::statusor_model::getSmartPtrLikeStorageLocation ( const Expr & E,
const Environment & Env )
static

Definition at line 1178 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::getStorageLocation(), clang::dataflow::Environment::getValue(), and clang::Expr::isPRValue().

Referenced by buildTransferMatchSwitch().

◆ getStatusOrBaseClass()

ClassTemplateSpecializationDecl * clang::dataflow::statusor_model::getStatusOrBaseClass ( const QualType & Ty)
static

Definition at line 79 of file UncheckedStatusOrAccessModel.cpp.

References clang::cast(), clang::Type::getAsCXXRecordDecl(), getStatusOrBaseClass(), isStatusOrOperatorBaseType(), and isStatusOrType().

Referenced by getStatusOrBaseClass(), and getSyntheticFields().

◆ getStatusOrValueType()

QualType clang::dataflow::statusor_model::getStatusOrValueType ( ClassTemplateSpecializationDecl * TRD)
static

Definition at line 96 of file UncheckedStatusOrAccessModel.cpp.

References clang::TemplateArgumentList::get(), clang::TemplateArgument::getAsType(), and clang::ClassTemplateSpecializationDecl::getTemplateArgs().

Referenced by getSyntheticFields().

◆ getSyntheticFields()

llvm::StringMap< QualType > clang::dataflow::statusor_model::getSyntheticFields ( QualType Ty,
QualType StatusType,
const CXXRecordDecl & RD )

Definition at line 513 of file UncheckedStatusOrAccessModel.cpp.

References clang::ASTContext::BoolTy, clang::Type::getAsCXXRecordDecl(), clang::Decl::getASTContext(), getStatusOrBaseClass(), getStatusOrValueType(), clang::CXXRecordDecl::hasDefinition(), isAssertionResultType(), clang::CXXRecordDecl::isDerivedFrom(), IsMacroAdaptorType(), isPredicateFormatterFromMatcherType(), isStatusIsMatcherType(), and isStatusType().

◆ handleConstAccessorMemberCall()

void clang::dataflow::statusor_model::handleConstAccessorMemberCall ( const CallExpr * Expr,
RecordStorageLocation * RecordLoc,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 938 of file UncheckedStatusOrAccessModel.cpp.

References doHandleConstAccessorMemberCall(), clang::Expr::getType(), isStatusOrType(), clang::Result, and transferStatusOrReturningCall().

Referenced by transferConstAccessorMemberCall(), and transferConstAccessorMemberOperatorCall().

◆ handleConstPointerAccessorMemberCall()

void clang::dataflow::statusor_model::handleConstPointerAccessorMemberCall ( const CallExpr * Expr,
RecordStorageLocation * RecordLoc,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 945 of file UncheckedStatusOrAccessModel.cpp.

References clang::Result.

Referenced by transferConstPointerAccessorMemberCall(), and transferConstPointerAccessorMemberOperatorCall().

◆ handleNonConstMemberCall()

void clang::dataflow::statusor_model::handleNonConstMemberCall ( const CallExpr * Expr,
RecordStorageLocation * RecordLoc,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 994 of file UncheckedStatusOrAccessModel.cpp.

References clang::Expr::getType(), isStatusOrType(), clang::Result, and transferStatusOrReturningCall().

Referenced by transferNonConstMemberCall(), and transferNonConstMemberOperatorCall().

◆ initializeStatus()

BoolValue & clang::dataflow::statusor_model::initializeStatus ( RecordStorageLocation & StatusLoc,
Environment & Env )

Definition at line 440 of file UncheckedStatusOrAccessModel.cpp.

References locForOk(), clang::dataflow::Environment::makeAtomicBoolValue(), and clang::dataflow::Environment::setValue().

Referenced by initializeStatusOr(), transferAsStatusCallWithStatus(), transferNotOkStatusCall(), transferOkStatusCall(), transferStatusConstructor(), transferStatusPtrReturningCall(), and valForOk().

◆ initializeStatusOr()

BoolValue & clang::dataflow::statusor_model::initializeStatusOr ( RecordStorageLocation & StatusOrLoc,
Environment & Env )

Definition at line 447 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus(), and locForStatus().

Referenced by transferAsStatusCallWithStatusOr(), transferStatusCall(), transferStatusOrConstructor(), transferStatusOrPtrReturningCall(), transferStatusOrReturningCall(), transferValueAssignmentCall(), and transferValueConstructor().

◆ isAssertionResultConstructFromBoolCall()

auto clang::dataflow::statusor_model::isAssertionResultConstructFromBoolCall ( )
static

Definition at line 340 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::cxxConstructExpr, clang::dataflow::hasName(), and clang::ast_matchers::recordDecl.

Referenced by buildTransferMatchSwitch().

◆ isAssertionResultOperatorBoolCall()

auto clang::dataflow::statusor_model::isAssertionResultOperatorBoolCall ( )
static

Definition at line 332 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, clang::ast_matchers::cxxThisExpr, clang::ast_matchers::expr, clang::dataflow::hasName(), and clang::ast_matchers::unless.

Referenced by buildTransferMatchSwitch().

◆ isAssertionResultType()

bool clang::dataflow::statusor_model::isAssertionResultType ( QualType Type)
static

Definition at line 493 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getSyntheticFields().

◆ isAsStatusCallWithStatus()

auto clang::dataflow::statusor_model::isAsStatusCallWithStatus ( )
static

Definition at line 222 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, clang::dataflow::hasName(), and statusClass().

Referenced by buildTransferMatchSwitch().

◆ isAsStatusCallWithStatusOr()

auto clang::dataflow::statusor_model::isAsStatusCallWithStatusOr ( )
static

Definition at line 229 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, clang::dataflow::hasName(), and statusOrType().

Referenced by buildTransferMatchSwitch().

◆ isComparisonOperatorCall()

auto clang::dataflow::statusor_model::isComparisonOperatorCall ( llvm::StringRef operator_name)
static

Definition at line 141 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxOperatorCallExpr, clang::dataflow::hasOverloadedOperatorName(), statusOrType(), and statusType().

Referenced by buildTransferMatchSwitch().

◆ isConstAccessorMemberCall()

auto clang::dataflow::statusor_model::isConstAccessorMemberCall ( )
static

Definition at line 241 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, clang::ast_matchers::recordType, and clang::dataflow::referenceType.

Referenced by buildTransferMatchSwitch().

◆ isConstAccessorMemberOperatorCall()

auto clang::dataflow::statusor_model::isConstAccessorMemberOperatorCall ( )
static

Definition at line 248 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, clang::ast_matchers::recordType, and clang::dataflow::referenceType.

Referenced by buildTransferMatchSwitch().

◆ isConstPointerAccessorMemberCall()

auto clang::dataflow::statusor_model::isConstPointerAccessorMemberCall ( )
static

Definition at line 255 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, and clang::dataflow::pointerType.

Referenced by buildTransferMatchSwitch().

◆ isConstPointerAccessorMemberOperatorCall()

auto clang::dataflow::statusor_model::isConstPointerAccessorMemberOperatorCall ( )
static

Definition at line 261 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, and clang::dataflow::pointerType.

Referenced by buildTransferMatchSwitch().

◆ isLoggingCheckEqImpl()

auto clang::dataflow::statusor_model::isLoggingCheckEqImpl ( )
static

Definition at line 216 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, and clang::dataflow::hasName().

Referenced by buildTransferMatchSwitch().

◆ isLoggingGetReferenceableValueCall()

auto clang::dataflow::statusor_model::isLoggingGetReferenceableValueCall ( )
static

Definition at line 210 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, and clang::dataflow::hasName().

Referenced by buildTransferMatchSwitch().

◆ isMacroAdaptorCall()

auto clang::dataflow::statusor_model::isMacroAdaptorCall ( )
static

Definition at line 392 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, clang::dataflow::hasName(), and returnIfErrorAdaptorType().

Referenced by buildTransferMatchSwitch().

◆ IsMacroAdaptorType()

bool clang::dataflow::statusor_model::IsMacroAdaptorType ( clang::QualType type)
static

Definition at line 508 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed(), and clang::ast_matchers::type.

Referenced by getSyntheticFields().

◆ isMakePredicateFormatterFromIsOkMatcherCall()

auto clang::dataflow::statusor_model::isMakePredicateFormatterFromIsOkMatcherCall ( )
static

Definition at line 277 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::cxxRecordDecl, clang::ast_matchers::functionDecl, clang::ast_matchers::hasAnyName, and clang::dataflow::hasName().

Referenced by buildTransferMatchSwitch().

◆ isMakePredicateFormatterFromStatusIsMatcherCall()

auto clang::dataflow::statusor_model::isMakePredicateFormatterFromStatusIsMatcherCall ( )
static

Definition at line 300 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::cxxRecordDecl, clang::ast_matchers::functionDecl, clang::ast_matchers::hasAnyName, and clang::dataflow::hasName().

Referenced by buildTransferMatchSwitch().

◆ isNonConstMemberCall()

auto clang::dataflow::statusor_model::isNonConstMemberCall ( )
static

Definition at line 267 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, and clang::ast_matchers::unless.

Referenced by buildTransferMatchSwitch().

◆ isNonConstMemberOperatorCall()

auto clang::dataflow::statusor_model::isNonConstMemberOperatorCall ( )
static

Definition at line 272 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, and clang::ast_matchers::unless.

Referenced by buildTransferMatchSwitch().

◆ isNotOkStatusCall()

auto clang::dataflow::statusor_model::isNotOkStatusCall ( )
static

Definition at line 154 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, and clang::ast_matchers::hasAnyName.

Referenced by buildTransferMatchSwitch().

◆ isOkStatusCall()

auto clang::dataflow::statusor_model::isOkStatusCall ( )
static

Definition at line 149 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, and clang::dataflow::hasName().

Referenced by buildTransferMatchSwitch().

◆ isPointerComparisonOperatorCall()

auto clang::dataflow::statusor_model::isPointerComparisonOperatorCall ( std::string operator_name)
static

Definition at line 167 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::ast_matchers::binaryOperator, clang::dataflow::pointerType, statusOrType(), and statusType().

Referenced by buildTransferMatchSwitch().

◆ isPredicateFormatterFromMatcherType()

bool clang::dataflow::statusor_model::isPredicateFormatterFromMatcherType ( QualType Type)
static

Definition at line 488 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getSyntheticFields().

◆ isPredicateFormatterFromStatusMatcherCall()

auto clang::dataflow::statusor_model::isPredicateFormatterFromStatusMatcherCall ( )
static

Definition at line 314 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, clang::dataflow::hasName(), clang::dataflow::hasOverloadedOperatorName(), and statusType().

Referenced by buildTransferMatchSwitch().

◆ isPredicateFormatterFromStatusOrMatcherCall()

auto clang::dataflow::statusor_model::isPredicateFormatterFromStatusOrMatcherCall ( )
static

Definition at line 323 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, clang::dataflow::hasName(), clang::dataflow::hasOverloadedOperatorName(), and statusOrType().

Referenced by buildTransferMatchSwitch().

◆ isReturnIfErrorAdaptorOperatorBoolCall()

auto clang::dataflow::statusor_model::isReturnIfErrorAdaptorOperatorBoolCall ( )
static

Definition at line 384 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, clang::ast_matchers::cxxThisExpr, clang::ast_matchers::expr, clang::dataflow::hasName(), ofClassReturnIfErrorAdaptor(), and clang::ast_matchers::unless.

Referenced by buildTransferMatchSwitch().

◆ isSafeUnwrap()

bool clang::dataflow::statusor_model::isSafeUnwrap ( RecordStorageLocation * StatusOrLoc,
const Environment & Env )
static

Definition at line 69 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::get(), locForOk(), locForStatus(), and clang::dataflow::Environment::proves().

Referenced by buildDiagnoseMatchSwitch().

◆ isStatusConstructor()

auto clang::dataflow::statusor_model::isStatusConstructor ( )
static

Definition at line 206 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::cxxConstructExpr, and statusType().

Referenced by buildTransferMatchSwitch().

◆ isStatusIsMatcherType()

bool clang::dataflow::statusor_model::isStatusIsMatcherType ( QualType Type)
static

Definition at line 497 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getSyntheticFields().

◆ isStatusIsOkMatcherCall()

auto clang::dataflow::statusor_model::isStatusIsOkMatcherCall ( )
static

Definition at line 290 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::declRefExpr, clang::ast_matchers::enumConstantDecl, clang::ast_matchers::functionDecl, and clang::ast_matchers::hasAnyName.

Referenced by buildTransferMatchSwitch().

◆ isStatusMemberCallWithName()

auto clang::dataflow::statusor_model::isStatusMemberCallWithName ( llvm::StringRef member_name)
static

Definition at line 105 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, clang::ast_matchers::cxxThisExpr, clang::ast_matchers::expr, clang::dataflow::hasName(), ofClassStatus(), and clang::ast_matchers::unless.

Referenced by buildTransferMatchSwitch().

◆ isStatusOrConstructor()

auto clang::dataflow::statusor_model::isStatusOrConstructor ( )
static

Definition at line 201 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::cxxConstructExpr, and statusOrType().

Referenced by buildTransferMatchSwitch().

◆ isStatusOrMemberCallWithName()

auto clang::dataflow::statusor_model::isStatusOrMemberCallWithName ( llvm::StringRef member_name)
static

Definition at line 112 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, clang::ast_matchers::cxxThisExpr, clang::ast_matchers::expr, clang::dataflow::hasName(), statusOrClass(), statusOrOperatorBaseClass(), and clang::ast_matchers::unless.

Referenced by buildTransferMatchSwitch(), and valueCall().

◆ isStatusOrOperatorBaseType()

bool clang::dataflow::statusor_model::isStatusOrOperatorBaseType ( QualType Type)
static

Definition at line 65 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getStatusOrBaseClass().

◆ isStatusOrOperatorCallWithName()

auto clang::dataflow::statusor_model::isStatusOrOperatorCallWithName ( llvm::StringRef operator_name)
static

Definition at line 121 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, clang::dataflow::hasOverloadedOperatorName(), statusOrClass(), and statusOrOperatorBaseClass().

Referenced by buildTransferMatchSwitch(), and valueOperatorCall().

◆ isStatusOrPtrReturningCall()

auto clang::dataflow::statusor_model::isStatusOrPtrReturningCall ( )
static

Definition at line 353 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, clang::dataflow::pointerType, and possiblyReferencedStatusOrType().

Referenced by buildTransferMatchSwitch().

◆ isStatusOrReturningCall()

auto clang::dataflow::statusor_model::isStatusOrReturningCall ( )
static

Definition at line 347 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, and possiblyReferencedStatusOrType().

Referenced by buildTransferMatchSwitch().

◆ isStatusOrType()

bool clang::dataflow::statusor_model::isStatusOrType ( QualType Type)

Definition at line 480 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by evaluateEquality(), evaluatePointerEquality(), getStatusOrBaseClass(), handleConstAccessorMemberCall(), and handleNonConstMemberCall().

◆ isStatusOrValueAssignmentCall()

auto clang::dataflow::statusor_model::isStatusOrValueAssignmentCall ( )
static

Definition at line 180 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, clang::dataflow::hasOverloadedOperatorName(), statusOrClass(), and clang::ast_matchers::type.

Referenced by buildTransferMatchSwitch().

◆ isStatusOrValueConstructor()

auto clang::dataflow::statusor_model::isStatusOrValueConstructor ( )
static

Definition at line 190 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::ast_matchers::cxxConstructExpr, clang::ast_matchers::hasAnyName, clang::ast_matchers::namedDecl, statusOrType(), and clang::ast_matchers::type.

Referenced by buildTransferMatchSwitch().

◆ isStatusPtrReturningCall()

auto clang::dataflow::statusor_model::isStatusPtrReturningCall ( )
static

Definition at line 359 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::callExpr, clang::ast_matchers::functionDecl, clang::ast_matchers::hasDeclaration(), clang::dataflow::pointerType, clang::ast_matchers::recordType, and statusClass().

Referenced by buildTransferMatchSwitch().

◆ isStatusType()

bool clang::dataflow::statusor_model::isStatusType ( QualType Type)

Definition at line 484 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by evaluateEquality(), evaluatePointerEquality(), findStatusType(), and getSyntheticFields().

◆ isTypeNamed()

bool clang::dataflow::statusor_model::isTypeNamed ( QualType Type,
clang::ArrayRef< clang::StringRef > NS,
StringRef Name )
static

Definition at line 54 of file UncheckedStatusOrAccessModel.cpp.

References clang::Type::getAsRecordDecl(), and namespaceEquals().

Referenced by isAssertionResultType(), IsMacroAdaptorType(), isPredicateFormatterFromMatcherType(), isStatusIsMatcherType(), isStatusOrOperatorBaseType(), isStatusOrType(), and isStatusType().

◆ locForOk()

StorageLocation & clang::dataflow::statusor_model::locForOk ( RecordStorageLocation & StatusLoc)

Definition at line 535 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::RecordStorageLocation::getSyntheticField().

Referenced by initializeStatus(), isSafeUnwrap(), transferAssertionResultConstructFromBoolCall(), transferAssertionResultOperatorBoolCall(), transferAsStatusCallWithStatus(), transferAsStatusCallWithStatusOr(), transferPredicateFormatterMatcherCall(), transferStatusCall(), transferStatusConstructor(), transferStatusOkCall(), transferStatusOrConstructor(), transferStatusOrPtrReturningCall(), transferStatusOrReturningCall(), transferStatusPtrReturningCall(), transferStatusUpdateCall(), and valForOk().

◆ locForOkMatcher()

StorageLocation & clang::dataflow::statusor_model::locForOkMatcher ( RecordStorageLocation & StatusLoc)
static

Definition at line 548 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::RecordStorageLocation::getSyntheticField().

Referenced by transferMakePredicateFormatterFromStatusIsMatcherCall(), and transferStatusIsOkMatcherCall().

◆ locForOkPredicate()

StorageLocation & clang::dataflow::statusor_model::locForOkPredicate ( RecordStorageLocation & StatusLoc)
static

Definition at line 544 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::RecordStorageLocation::getSyntheticField().

Referenced by transferMakePredicateFormatterFromIsOkMatcherCall(), transferMakePredicateFormatterFromStatusIsMatcherCall(), and transferPredicateFormatterMatcherCall().

◆ locForStatus()

RecordStorageLocation & clang::dataflow::statusor_model::locForStatus ( RecordStorageLocation & StatusOrLoc)

Definition at line 531 of file UncheckedStatusOrAccessModel.cpp.

References clang::cast(), and clang::dataflow::RecordStorageLocation::getSyntheticField().

Referenced by evaluatePointerEquality(), evaluateStatusOrEquality(), initializeStatusOr(), isSafeUnwrap(), transferAsStatusCallWithStatusOr(), transferEmplaceCall(), transferMacroAdaptorCall(), transferPredicateFormatterMatcherCall(), transferReturnIfErrorAdaptorOperatorBoolCall(), transferStatusCall(), transferStatusOrConstructor(), transferStatusOrOkCall(), transferStatusOrPtrReturningCall(), and transferStatusOrReturningCall().

◆ namespaceEquals()

bool clang::dataflow::statusor_model::namespaceEquals ( const NamespaceDecl * NS,
clang::ArrayRef< clang::StringRef > NamespaceNames )
static

Definition at line 43 of file UncheckedStatusOrAccessModel.cpp.

References clang::NamedDecl::getName(), and clang::DeclContext::getParent().

Referenced by isTypeNamed().

◆ ofClassReturnIfErrorAdaptor()

auto clang::dataflow::statusor_model::ofClassReturnIfErrorAdaptor ( )
static

Definition at line 366 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::hasName().

Referenced by isReturnIfErrorAdaptorOperatorBoolCall().

◆ ofClassStatus()

auto clang::dataflow::statusor_model::ofClassStatus ( )
static

Definition at line 100 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::hasName().

Referenced by isStatusMemberCallWithName().

◆ possiblyReferencedStatusOrType()

auto clang::dataflow::statusor_model::possiblyReferencedStatusOrType ( )
static

Definition at line 236 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::dataflow::referenceType, and statusOrType().

Referenced by isStatusOrPtrReturningCall(), and isStatusOrReturningCall().

◆ returnIfErrorAdaptorClass()

auto clang::dataflow::statusor_model::returnIfErrorAdaptorClass ( )
static

Definition at line 372 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::cxxRecordDecl, and clang::dataflow::hasName().

Referenced by returnIfErrorAdaptorType().

◆ returnIfErrorAdaptorType()

auto clang::dataflow::statusor_model::returnIfErrorAdaptorType ( )
static

Definition at line 378 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::hasDeclaration(), clang::ast_matchers::recordType, and returnIfErrorAdaptorClass().

Referenced by isMacroAdaptorCall().

◆ statusClass()

clang::ast_matchers::DeclarationMatcher clang::dataflow::statusor_model::statusClass ( )

Definition at line 459 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::cxxRecordDecl, and clang::dataflow::hasName().

Referenced by isAsStatusCallWithStatus(), isStatusPtrReturningCall(), and statusType().

◆ statusOrClass()

clang::ast_matchers::DeclarationMatcher clang::dataflow::statusor_model::statusOrClass ( )

Definition at line 452 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::classTemplateSpecializationDecl, clang::dataflow::hasName(), and clang::ast_matchers::type.

Referenced by isStatusOrMemberCallWithName(), isStatusOrOperatorCallWithName(), isStatusOrValueAssignmentCall(), and statusOrType().

◆ statusOrOperatorBaseClass()

clang::ast_matchers::DeclarationMatcher clang::dataflow::statusor_model::statusOrOperatorBaseClass ( )

Definition at line 464 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::classTemplateSpecializationDecl, and clang::dataflow::hasName().

Referenced by isStatusOrMemberCallWithName(), and isStatusOrOperatorCallWithName().

◆ statusOrType()

clang::ast_matchers::TypeMatcher clang::dataflow::statusor_model::statusOrType ( )

Definition at line 470 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::hasDeclaration(), clang::ast_matchers::qualType, and statusOrClass().

Referenced by isAsStatusCallWithStatusOr(), isComparisonOperatorCall(), isPointerComparisonOperatorCall(), isPredicateFormatterFromStatusOrMatcherCall(), isStatusOrConstructor(), isStatusOrValueConstructor(), and possiblyReferencedStatusOrType().

◆ statusType()

clang::ast_matchers::TypeMatcher clang::dataflow::statusor_model::statusType ( )

Definition at line 475 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::hasDeclaration(), clang::ast_matchers::qualType, and statusClass().

Referenced by isComparisonOperatorCall(), isPointerComparisonOperatorCall(), isPredicateFormatterFromStatusMatcherCall(), and isStatusConstructor().

◆ transferArrowCall()

void clang::dataflow::statusor_model::transferArrowCall ( const CXXOperatorCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1123 of file UncheckedStatusOrAccessModel.cpp.

Referenced by buildTransferMatchSwitch().

◆ transferAssertionResultConstructFromBoolCall()

void clang::dataflow::statusor_model::transferAssertionResultConstructFromBoolCall ( const CXXConstructExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1082 of file UncheckedStatusOrAccessModel.cpp.

References locForOk().

Referenced by buildTransferMatchSwitch().

◆ transferAssertionResultOperatorBoolCall()

void clang::dataflow::statusor_model::transferAssertionResultOperatorBoolCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1098 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::BoolValue::formula(), clang::dataflow::getImplicitObjectLocation(), and locForOk().

Referenced by buildTransferMatchSwitch().

◆ transferAsStatusCallWithStatus()

void clang::dataflow::statusor_model::transferAsStatusCallWithStatus ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 863 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus(), and locForOk().

Referenced by buildTransferMatchSwitch().

◆ transferAsStatusCallWithStatusOr()

void clang::dataflow::statusor_model::transferAsStatusCallWithStatusOr ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 879 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr(), locForOk(), and locForStatus().

Referenced by buildTransferMatchSwitch().

◆ transferComparisonOperator()

void clang::dataflow::statusor_model::transferComparisonOperator ( const CXXOperatorCallExpr * Expr,
LatticeTransferState & State,
bool IsNegative )
static

Definition at line 700 of file UncheckedStatusOrAccessModel.cpp.

References evaluateEquality().

Referenced by buildTransferMatchSwitch().

◆ transferConstAccessorMemberCall()

void clang::dataflow::statusor_model::transferConstAccessorMemberCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 956 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), clang::Expr::getType(), handleConstAccessorMemberCall(), clang::Type::isRecordType(), clang::Type::isReferenceType(), and clang::Result.

Referenced by buildTransferMatchSwitch().

◆ transferConstAccessorMemberOperatorCall()

void clang::dataflow::statusor_model::transferConstAccessorMemberOperatorCall ( const CXXOperatorCallExpr * Expr,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 967 of file UncheckedStatusOrAccessModel.cpp.

References clang::Expr::getType(), handleConstAccessorMemberCall(), clang::Type::isRecordType(), clang::Type::isReferenceType(), and clang::Result.

Referenced by buildTransferMatchSwitch().

◆ transferConstPointerAccessorMemberCall()

void clang::dataflow::statusor_model::transferConstPointerAccessorMemberCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 979 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), handleConstPointerAccessorMemberCall(), and clang::Result.

Referenced by buildTransferMatchSwitch().

◆ transferConstPointerAccessorMemberOperatorCall()

void clang::dataflow::statusor_model::transferConstPointerAccessorMemberOperatorCall ( const CXXOperatorCallExpr * Expr,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 986 of file UncheckedStatusOrAccessModel.cpp.

References handleConstPointerAccessorMemberCall(), and clang::Result.

Referenced by buildTransferMatchSwitch().

◆ transferDerefCall()

void clang::dataflow::statusor_model::transferDerefCall ( const CXXOperatorCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1113 of file UncheckedStatusOrAccessModel.cpp.

Referenced by buildTransferMatchSwitch().

◆ transferEmplaceCall()

void clang::dataflow::statusor_model::transferEmplaceCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 783 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), locForStatus(), and valForOk().

Referenced by buildTransferMatchSwitch().

◆ transferLoggingCheckEqImpl()

void clang::dataflow::statusor_model::transferLoggingCheckEqImpl ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 848 of file UncheckedStatusOrAccessModel.cpp.

References evaluateEquality().

Referenced by buildTransferMatchSwitch().

◆ transferLoggingGetReferenceableValueCall()

void clang::dataflow::statusor_model::transferLoggingGetReferenceableValueCall ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 835 of file UncheckedStatusOrAccessModel.cpp.

References clang::Expr::isPRValue().

Referenced by buildTransferMatchSwitch().

◆ transferMacroAdaptorCall()

void clang::dataflow::statusor_model::transferMacroAdaptorCall ( const clang::CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1186 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::copyRecord(), and locForStatus().

Referenced by buildTransferMatchSwitch().

◆ transferMakePredicateFormatterFromIsOkMatcherCall()

void clang::dataflow::statusor_model::transferMakePredicateFormatterFromIsOkMatcherCall ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1022 of file UncheckedStatusOrAccessModel.cpp.

References locForOkPredicate().

Referenced by buildTransferMatchSwitch().

◆ transferMakePredicateFormatterFromStatusIsMatcherCall()

void clang::dataflow::statusor_model::transferMakePredicateFormatterFromStatusIsMatcherCall ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1038 of file UncheckedStatusOrAccessModel.cpp.

References clang::Expr::isPRValue(), locForOkMatcher(), and locForOkPredicate().

Referenced by buildTransferMatchSwitch().

◆ transferNonConstMemberCall()

void clang::dataflow::statusor_model::transferNonConstMemberCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 1006 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), handleNonConstMemberCall(), and clang::Result.

Referenced by buildTransferMatchSwitch().

◆ transferNonConstMemberOperatorCall()

void clang::dataflow::statusor_model::transferNonConstMemberOperatorCall ( const CXXOperatorCallExpr * Expr,
const MatchFinder::MatchResult & Result,
LatticeTransferState & State )
static

Definition at line 1014 of file UncheckedStatusOrAccessModel.cpp.

References handleNonConstMemberCall(), and clang::Result.

Referenced by buildTransferMatchSwitch().

◆ transferNotOkStatusCall()

void clang::dataflow::statusor_model::transferNotOkStatusCall ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 774 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus().

Referenced by buildTransferMatchSwitch().

◆ transferOkStatusCall()

void clang::dataflow::statusor_model::transferOkStatusCall ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 766 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus().

Referenced by buildTransferMatchSwitch().

◆ transferPointerComparisonOperator()

void clang::dataflow::statusor_model::transferPointerComparisonOperator ( const BinaryOperator * Expr,
LatticeTransferState & State,
bool IsNegative )
static

Definition at line 752 of file UncheckedStatusOrAccessModel.cpp.

References evaluatePointerEquality().

Referenced by buildTransferMatchSwitch().

◆ transferPointerToBoolean()

void clang::dataflow::statusor_model::transferPointerToBoolean ( const ImplicitCastExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 897 of file UncheckedStatusOrAccessModel.cpp.

Referenced by buildTransferMatchSwitch().

◆ transferPredicateFormatterMatcherCall()

void clang::dataflow::statusor_model::transferPredicateFormatterMatcherCall ( const CXXOperatorCallExpr * Expr,
LatticeTransferState & State,
bool IsStatusOr )
static

Definition at line 1053 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::BoolValue::formula(), locForOk(), locForOkPredicate(), locForStatus(), and valForOk().

Referenced by buildTransferMatchSwitch().

◆ transferReturnIfErrorAdaptorOperatorBoolCall()

void clang::dataflow::statusor_model::transferReturnIfErrorAdaptorOperatorBoolCall ( const clang::CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1200 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), locForStatus(), and valForOk().

Referenced by buildTransferMatchSwitch().

◆ transferStatusCall()

void clang::dataflow::statusor_model::transferStatusCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 564 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::copyRecord(), clang::dataflow::getImplicitObjectLocation(), initializeStatusOr(), clang::Expr::isPRValue(), locForOk(), and locForStatus().

Referenced by buildTransferMatchSwitch().

◆ transferStatusConstructor()

void clang::dataflow::statusor_model::transferStatusConstructor ( const CXXConstructExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 826 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatus(), and locForOk().

Referenced by buildTransferMatchSwitch().

◆ transferStatusIsOkMatcherCall()

void clang::dataflow::statusor_model::transferStatusIsOkMatcherCall ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1030 of file UncheckedStatusOrAccessModel.cpp.

References locForOkMatcher().

Referenced by buildTransferMatchSwitch().

◆ transferStatusOkCall()

void clang::dataflow::statusor_model::transferStatusOkCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 583 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), and locForOk().

Referenced by buildTransferMatchSwitch().

◆ transferStatusOrConstructor()

void clang::dataflow::statusor_model::transferStatusOrConstructor ( const CXXConstructExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 816 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr(), locForOk(), and locForStatus().

Referenced by buildTransferMatchSwitch().

◆ transferStatusOrOkCall()

void clang::dataflow::statusor_model::transferStatusOrOkCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 552 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), locForStatus(), and valForOk().

Referenced by buildTransferMatchSwitch().

◆ transferStatusOrPtrReturningCall()

void clang::dataflow::statusor_model::transferStatusOrPtrReturningCall ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1143 of file UncheckedStatusOrAccessModel.cpp.

References clang::cast(), clang::dataflow::PointerValue::getPointeeLoc(), clang::Expr::getType(), initializeStatusOr(), locForOk(), and locForStatus().

Referenced by buildTransferMatchSwitch().

◆ transferStatusOrReturningCall()

void clang::dataflow::statusor_model::transferStatusOrReturningCall ( const CallExpr * Expr,
LatticeTransferState & State )
static

Definition at line 905 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr(), clang::Expr::isPRValue(), locForOk(), and locForStatus().

Referenced by buildTransferMatchSwitch(), handleConstAccessorMemberCall(), and handleNonConstMemberCall().

◆ transferStatusPtrReturningCall()

void clang::dataflow::statusor_model::transferStatusPtrReturningCall ( const CallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1160 of file UncheckedStatusOrAccessModel.cpp.

References clang::cast(), clang::dataflow::PointerValue::getPointeeLoc(), clang::Expr::getType(), initializeStatus(), and locForOk().

Referenced by buildTransferMatchSwitch().

◆ transferStatusUpdateCall()

void clang::dataflow::statusor_model::transferStatusUpdateCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 595 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation(), locForOk(), and valForOk().

Referenced by buildTransferMatchSwitch().

◆ transferValueAssignmentCall()

void clang::dataflow::statusor_model::transferValueAssignmentCall ( const CXXOperatorCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 795 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr().

Referenced by buildTransferMatchSwitch().

◆ transferValueCall()

void clang::dataflow::statusor_model::transferValueCall ( const CXXMemberCallExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 1133 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::getImplicitObjectLocation().

Referenced by buildTransferMatchSwitch().

◆ transferValueConstructor()

void clang::dataflow::statusor_model::transferValueConstructor ( const CXXConstructExpr * Expr,
const MatchFinder::MatchResult & ,
LatticeTransferState & State )
static

Definition at line 808 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr().

Referenced by buildTransferMatchSwitch().

◆ valForOk()

BoolValue & clang::dataflow::statusor_model::valForOk ( RecordStorageLocation & StatusLoc,
Environment & Env )

Definition at line 539 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::Environment::get(), initializeStatus(), and locForOk().

Referenced by evaluatePointerEquality(), evaluateStatusEquality(), evaluateStatusOrEquality(), transferEmplaceCall(), transferPredicateFormatterMatcherCall(), transferReturnIfErrorAdaptorOperatorBoolCall(), transferStatusOrOkCall(), and transferStatusUpdateCall().

◆ valueCall()

auto clang::dataflow::statusor_model::valueCall ( )
static

Definition at line 129 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, and isStatusOrMemberCallWithName().

Referenced by buildDiagnoseMatchSwitch().

◆ valueOperatorCall()

auto clang::dataflow::statusor_model::valueOperatorCall ( )
static

Definition at line 135 of file UncheckedStatusOrAccessModel.cpp.

References clang::ast_matchers::anyOf, clang::ast_matchers::expr, and isStatusOrOperatorCallWithName().

Referenced by buildDiagnoseMatchSwitch().

Generated on for clang by doxygen 1.14.0