clang::dataflow::gtest Namespace Reference

Functions
void	transferAssertionResultExpectationOperatorBoolCall (const CXXMemberCallExpr *Expr, Environment &Env, llvm::function_ref< StorageLocation &(RecordStorageLocation &)> GetOk)
clang::ast_matchers::StatementMatcher	isAssertionResultExpectationOperatorBoolCall ()

Function Documentation

isAssertionResultExpectationOperatorBoolCall()

clang::ast_matchers::StatementMatcher clang::dataflow::gtest::isAssertionResultExpectationOperatorBoolCall

(

)

Definition at line 50 of file GtestModelHelpers.cpp.

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

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

transferAssertionResultExpectationOperatorBoolCall()

void clang::dataflow::gtest::transferAssertionResultExpectationOperatorBoolCall	(	const CXXMemberCallExpr *	Expr,
		Environment &	Env,
		llvm::function_ref< StorageLocation &(RecordStorageLocation &)>	GetOk )

Definition at line 22 of file GtestModelHelpers.cpp.

References clang::dataflow::Environment::arena(), clang::dataflow::Environment::assume(), clang::dataflow::BoolValue::formula(), clang::dataflow::Environment::get(), clang::dataflow::getImplicitObjectLocation(), clang::dataflow::Environment::makeAtomicBoolValue(), and clang::dataflow::Environment::setValue().

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