clang 22.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 isConstStatusOrAccessorMemberCall ()
static auto isConstStatusOrAccessorMemberOperatorCall ()
static auto isConstStatusOrPointerAccessorMemberCall ()
static auto isConstStatusOrPointerAccessorMemberOperatorCall ()
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 buildDiagnoseMatchSwitch (const UncheckedStatusOrAccessModelOptions &Options)
static bool isPredicateFormatterFromMatcherType (QualType Type)
static bool isAssertionResultType (QualType Type)
static bool isStatusIsMatcherType (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 doHandleConstStatusOrAccessorMemberCall (const CallExpr *Expr, RecordStorageLocation *RecordLoc, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void handleConstStatusOrAccessorMemberCall (const CallExpr *Expr, RecordStorageLocation *RecordLoc, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void handleConstStatusOrPointerAccessorMemberCall (const CallExpr *Expr, RecordStorageLocation *RecordLoc, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferConstStatusOrAccessorMemberCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferConstStatusOrAccessorMemberOperatorCall (const CXXOperatorCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferConstStatusOrPointerAccessorMemberCall (const CXXMemberCallExpr *Expr, const MatchFinder::MatchResult &Result, LatticeTransferState &State)
static void transferConstStatusOrPointerAccessorMemberOperatorCall (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)

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 146 of file ASTMatchers.h.

Function Documentation

◆ buildDiagnoseMatchSwitch()

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

Definition at line 369 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 1141 of file UncheckedStatusOrAccessModel.cpp.

References clang::CallExpr::getArg(), clang::dataflow::getImplicitObjectLocation(), getSmartPtrLikeStorageLocation(), clang::ast_matchers::implicitCastExpr, isAssertionResultConstructFromBoolCall(), isAssertionResultOperatorBoolCall(), isAsStatusCallWithStatus(), isAsStatusCallWithStatusOr(), isComparisonOperatorCall(), isConstStatusOrAccessorMemberCall(), isConstStatusOrAccessorMemberOperatorCall(), isConstStatusOrPointerAccessorMemberCall(), isConstStatusOrPointerAccessorMemberOperatorCall(), isLoggingCheckEqImpl(), isLoggingGetReferenceableValueCall(), isMakePredicateFormatterFromIsOkMatcherCall(), isMakePredicateFormatterFromStatusIsMatcherCall(), isNonConstMemberCall(), isNonConstMemberOperatorCall(), isNotOkStatusCall(), isOkStatusCall(), isPointerComparisonOperatorCall(), clang::dataflow::isPointerLikeOperatorArrow(), clang::dataflow::isPointerLikeOperatorStar(), isPredicateFormatterFromStatusMatcherCall(), isPredicateFormatterFromStatusOrMatcherCall(), 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(), transferConstStatusOrAccessorMemberCall(), transferConstStatusOrAccessorMemberOperatorCall(), transferConstStatusOrPointerAccessorMemberCall(), transferConstStatusOrPointerAccessorMemberOperatorCall(), transferDerefCall(), transferEmplaceCall(), transferLoggingCheckEqImpl(), transferLoggingGetReferenceableValueCall(), transferMakePredicateFormatterFromIsOkMatcherCall(), transferMakePredicateFormatterFromStatusIsMatcherCall(), transferNonConstMemberCall(), transferNonConstMemberOperatorCall(), transferNotOkStatusCall(), transferOkStatusCall(), transferPointerComparisonOperator(), transferPointerToBoolean(), transferPredicateFormatterMatcherCall(), 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().

◆ doHandleConstStatusOrAccessorMemberCall()

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

Definition at line 877 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by handleConstStatusOrAccessorMemberCall().

◆ evaluateEquality()

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

Definition at line 633 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 683 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 581 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 610 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 1312 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 676 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 1131 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 477 of file UncheckedStatusOrAccessModel.cpp.

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

◆ handleConstStatusOrAccessorMemberCall()

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

Definition at line 900 of file UncheckedStatusOrAccessModel.cpp.

References doHandleConstStatusOrAccessorMemberCall(), clang::Result, and transferStatusOrReturningCall().

Referenced by transferConstStatusOrAccessorMemberCall(), and transferConstStatusOrAccessorMemberOperatorCall().

◆ handleConstStatusOrPointerAccessorMemberCall()

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

Definition at line 906 of file UncheckedStatusOrAccessModel.cpp.

References clang::Result.

Referenced by transferConstStatusOrPointerAccessorMemberCall(), and transferConstStatusOrPointerAccessorMemberOperatorCall().

◆ handleNonConstMemberCall()

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

Definition at line 947 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 409 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 416 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 342 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 334 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 462 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().

◆ isConstStatusOrAccessorMemberCall()

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

Definition at line 241 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, possiblyReferencedStatusOrType(), and clang::ast_matchers::qualType.

Referenced by buildTransferMatchSwitch().

◆ isConstStatusOrAccessorMemberOperatorCall()

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

Definition at line 248 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, and possiblyReferencedStatusOrType().

Referenced by buildTransferMatchSwitch().

◆ isConstStatusOrPointerAccessorMemberCall()

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

Definition at line 255 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMemberCallExpr, clang::dataflow::cxxMethodDecl, clang::dataflow::pointerType, and possiblyReferencedStatusOrType().

Referenced by buildTransferMatchSwitch().

◆ isConstStatusOrPointerAccessorMemberOperatorCall()

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

Definition at line 262 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::cxxMethodDecl, clang::dataflow::cxxOperatorCallExpr, clang::dataflow::pointerType, and possiblyReferencedStatusOrType().

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().

◆ isMakePredicateFormatterFromIsOkMatcherCall()

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

Definition at line 279 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 302 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 269 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 274 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 457 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getSyntheticFields().

◆ isPredicateFormatterFromStatusMatcherCall()

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

Definition at line 316 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 325 of file UncheckedStatusOrAccessModel.cpp.

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

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 466 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getSyntheticFields().

◆ isStatusIsOkMatcherCall()

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

Definition at line 292 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 355 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 349 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 449 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by doHandleConstStatusOrAccessorMemberCall(), evaluateEquality(), evaluatePointerEquality(), getStatusOrBaseClass(), 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 361 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 453 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(), isPredicateFormatterFromMatcherType(), isStatusIsMatcherType(), isStatusOrOperatorBaseType(), isStatusOrType(), and isStatusType().

◆ locForOk()

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

Definition at line 497 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 510 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 506 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 493 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by evaluatePointerEquality(), evaluateStatusOrEquality(), initializeStatusOr(), isSafeUnwrap(), transferAsStatusCallWithStatusOr(), transferEmplaceCall(), transferPredicateFormatterMatcherCall(), 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().

◆ 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 isConstStatusOrAccessorMemberCall(), isConstStatusOrAccessorMemberOperatorCall(), isConstStatusOrPointerAccessorMemberCall(), isConstStatusOrPointerAccessorMemberOperatorCall(), isStatusOrPtrReturningCall(), and isStatusOrReturningCall().

◆ statusClass()

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

Definition at line 428 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 421 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 433 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 439 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 444 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 1076 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 1035 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 1051 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 825 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 841 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 662 of file UncheckedStatusOrAccessModel.cpp.

References evaluateEquality().

Referenced by buildTransferMatchSwitch().

◆ transferConstStatusOrAccessorMemberCall()

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

Definition at line 917 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ transferConstStatusOrAccessorMemberOperatorCall()

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

Definition at line 924 of file UncheckedStatusOrAccessModel.cpp.

References handleConstStatusOrAccessorMemberCall(), and clang::Result.

Referenced by buildTransferMatchSwitch().

◆ transferConstStatusOrPointerAccessorMemberCall()

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

Definition at line 932 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ transferConstStatusOrPointerAccessorMemberOperatorCall()

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

Definition at line 939 of file UncheckedStatusOrAccessModel.cpp.

References handleConstStatusOrPointerAccessorMemberCall(), 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 1066 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 745 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 810 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 797 of file UncheckedStatusOrAccessModel.cpp.

References clang::Expr::isPRValue().

Referenced by buildTransferMatchSwitch().

◆ transferMakePredicateFormatterFromIsOkMatcherCall()

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

Definition at line 975 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 991 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 959 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 967 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 736 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 728 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 714 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 859 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 1006 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::BoolValue::formula(), locForOk(), locForOkPredicate(), 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 526 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 788 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 983 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 545 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 778 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 514 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 1096 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 867 of file UncheckedStatusOrAccessModel.cpp.

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

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

◆ transferStatusPtrReturningCall()

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

Definition at line 1113 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 557 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 757 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 1086 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 770 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr().

Referenced by buildTransferMatchSwitch().

◆ valForOk()

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

Definition at line 501 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by evaluatePointerEquality(), evaluateStatusEquality(), evaluateStatusOrEquality(), transferEmplaceCall(), transferPredicateFormatterMatcherCall(), 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