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

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 367 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 1148 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(), 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(), transferConstAccessorMemberCall(), transferConstAccessorMemberOperatorCall(), transferConstPointerAccessorMemberCall(), transferConstPointerAccessorMemberOperatorCall(), 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().

◆ doHandleConstAccessorMemberCall()

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

Definition at line 875 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 631 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 681 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 579 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 608 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 1318 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 674 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 1138 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 475 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().

◆ handleConstAccessorMemberCall()

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

Definition at line 898 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 905 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 954 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 407 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 414 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 460 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().

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

◆ 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 464 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 447 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 451 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 495 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 508 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 504 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 491 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 isStatusOrPtrReturningCall(), and isStatusOrReturningCall().

◆ statusClass()

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

Definition at line 426 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 419 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 431 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 437 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 442 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 1083 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 1042 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 1058 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 823 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 839 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 660 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 916 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 927 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 939 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 946 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 1073 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 743 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 808 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 795 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 982 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 998 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 966 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 974 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 734 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 726 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 712 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 857 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 1013 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 524 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 786 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 990 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 543 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 776 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 512 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 1103 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 865 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 1120 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 555 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 755 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 1093 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 768 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr().

Referenced by buildTransferMatchSwitch().

◆ valForOk()

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

Definition at line 499 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