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

Typedefs
using	LatticeTransferState
using	StatementMatcher

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

Typedef Documentation

◆ LatticeTransferState

using clang::dataflow::statusor_model::LatticeTransferState

Initial value:

TransferState<UncheckedStatusOrAccessModel::Lattice>

clang::dataflow::TransferState

A common form of state shared between the cases of a transfer function.

Definition MatchSwitch.h:41

Definition at line 87 of file UncheckedStatusOrAccessModel.h.

◆ StatementMatcher

using clang::ast_matchers::StatementMatcher

Definition at line 147 of file ASTMatchers.h.

Function Documentation

◆ buildDiagnoseMatchSwitch()

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

static

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

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

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

◆ doHandleConstAccessorMemberCall()

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

static

Definition at line 917 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 673 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 723 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 621 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 650 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 1397 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 716 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 1180 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 81 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 98 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 515 of file UncheckedStatusOrAccessModel.cpp.

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

◆ handleConstAccessorMemberCall()

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

static

Definition at line 940 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 947 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 996 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 442 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 449 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 495 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getSyntheticFields().

◆ isAsStatusCallWithStatus()

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

static

Definition at line 224 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 231 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 143 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 243 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 250 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 257 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 263 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 218 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 212 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ isMacroAdaptorCall()

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

static

Definition at line 394 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ IsMacroAdaptorType()

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

static

Definition at line 510 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by getSyntheticFields().

◆ isMakePredicateFormatterFromIsOkMatcherCall()

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

static

Definition at line 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 156 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 151 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 169 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 490 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().

◆ isReturnIfErrorAdaptorOperatorBoolCall()

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

static

Definition at line 386 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ isSafeUnwrap()

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

static

Definition at line 71 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 208 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 499 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 107 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 203 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 114 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 67 of file UncheckedStatusOrAccessModel.cpp.

References isTypeNamed().

Referenced by getStatusOrBaseClass().

◆ isStatusOrOperatorCallWithName()

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

static

Definition at line 123 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 482 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 182 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 192 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 486 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 56 of file UncheckedStatusOrAccessModel.cpp.

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

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

◆ locForOk()

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

◆ locForOkMatcher()

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

static

Definition at line 550 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 546 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 533 of file UncheckedStatusOrAccessModel.cpp.

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

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

◆ namespaceEquals()

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

static

Definition at line 45 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by isTypeNamed().

◆ ofClassReturnIfErrorAdaptor()

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

static

Definition at line 368 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::hasName().

Referenced by isReturnIfErrorAdaptorOperatorBoolCall().

◆ ofClassStatus()

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

static

Definition at line 102 of file UncheckedStatusOrAccessModel.cpp.

References clang::dataflow::hasName().

Referenced by isStatusMemberCallWithName().

◆ possiblyReferencedStatusOrType()

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

static

Definition at line 238 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by isStatusOrPtrReturningCall(), and isStatusOrReturningCall().

◆ returnIfErrorAdaptorClass()

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

static

Definition at line 374 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by returnIfErrorAdaptorType().

◆ returnIfErrorAdaptorType()

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

static

Definition at line 380 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by isMacroAdaptorCall().

◆ statusClass()

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

Definition at line 461 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 454 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 466 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 472 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 477 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 1125 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 1084 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 1100 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 865 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 881 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 702 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 958 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 969 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 981 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 988 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 1115 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 785 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 850 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 837 of file UncheckedStatusOrAccessModel.cpp.

References clang::Expr::isPRValue().

Referenced by buildTransferMatchSwitch().

◆ transferMacroAdaptorCall()

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

static

Definition at line 1188 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ transferMakePredicateFormatterFromIsOkMatcherCall()

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

static

Definition at line 1024 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 1040 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 1008 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 1016 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 776 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 768 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 754 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 899 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 1055 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ transferReturnIfErrorAdaptorOperatorBoolCall()

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

static

Definition at line 1202 of file UncheckedStatusOrAccessModel.cpp.

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

Referenced by buildTransferMatchSwitch().

◆ transferStatusCall()

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

static

Definition at line 566 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 828 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 1032 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 585 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 818 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 554 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 1145 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 907 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 1162 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 597 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 797 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 1135 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 810 of file UncheckedStatusOrAccessModel.cpp.

References initializeStatusOr().

Referenced by buildTransferMatchSwitch().

◆ valForOk()

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

Definition at line 541 of file UncheckedStatusOrAccessModel.cpp.

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

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

◆ valueCall()

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

static

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

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

Referenced by buildDiagnoseMatchSwitch().

Classes

Typedefs

Functions

Typedef Documentation

◆ LatticeTransferState

◆ StatementMatcher

Function Documentation

◆ buildDiagnoseMatchSwitch()

◆ buildTransferMatchSwitch()

◆ doHandleConstAccessorMemberCall()

◆ evaluateEquality()

◆ evaluatePointerEquality()

◆ evaluateStatusEquality()

◆ evaluateStatusOrEquality()

◆ findStatusType()

◆ getPointeeLocation()

◆ getSmartPtrLikeStorageLocation()

◆ getStatusOrBaseClass()

◆ getStatusOrValueType()

◆ getSyntheticFields()

◆ handleConstAccessorMemberCall()

◆ handleConstPointerAccessorMemberCall()

◆ handleNonConstMemberCall()

◆ initializeStatus()

◆ initializeStatusOr()

◆ isAssertionResultConstructFromBoolCall()

◆ isAssertionResultOperatorBoolCall()

◆ isAssertionResultType()

◆ isAsStatusCallWithStatus()

◆ isAsStatusCallWithStatusOr()

◆ isComparisonOperatorCall()

◆ isConstAccessorMemberCall()

◆ isConstAccessorMemberOperatorCall()

◆ isConstPointerAccessorMemberCall()

◆ isConstPointerAccessorMemberOperatorCall()

◆ isLoggingCheckEqImpl()

◆ isLoggingGetReferenceableValueCall()

◆ isMacroAdaptorCall()

◆ IsMacroAdaptorType()

◆ isMakePredicateFormatterFromIsOkMatcherCall()

◆ isMakePredicateFormatterFromStatusIsMatcherCall()

◆ isNonConstMemberCall()

◆ isNonConstMemberOperatorCall()

◆ isNotOkStatusCall()

◆ isOkStatusCall()

◆ isPointerComparisonOperatorCall()

◆ isPredicateFormatterFromMatcherType()

◆ isPredicateFormatterFromStatusMatcherCall()

◆ isPredicateFormatterFromStatusOrMatcherCall()

◆ isReturnIfErrorAdaptorOperatorBoolCall()

◆ isSafeUnwrap()

◆ isStatusConstructor()

◆ isStatusIsMatcherType()

◆ isStatusIsOkMatcherCall()

◆ isStatusMemberCallWithName()

◆ isStatusOrConstructor()

◆ isStatusOrMemberCallWithName()

◆ isStatusOrOperatorBaseType()

◆ isStatusOrOperatorCallWithName()

◆ isStatusOrPtrReturningCall()

◆ isStatusOrReturningCall()

◆ isStatusOrType()

◆ isStatusOrValueAssignmentCall()

◆ isStatusOrValueConstructor()

◆ isStatusPtrReturningCall()

◆ isStatusType()

◆ isTypeNamed()

◆ locForOk()

◆ locForOkMatcher()

◆ locForOkPredicate()

◆ locForStatus()

◆ namespaceEquals()

◆ ofClassReturnIfErrorAdaptor()

◆ ofClassStatus()

◆ possiblyReferencedStatusOrType()

◆ returnIfErrorAdaptorClass()

◆ returnIfErrorAdaptorType()

◆ statusClass()

◆ statusOrClass()

◆ statusOrOperatorBaseClass()