ThreadSafetyLogical.cpp File Reference

#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"

Include dependency graph for ThreadSafetyLogical.cpp:

Go to the source code of this file.

Namespaces
namespace	clang
namespace	clang::threadSafety
namespace	clang::threadSafety::lexpr
Functions
static bool	implies (const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg)
bool	clang::threadSafety::lexpr::implies (const LExpr *LHS, const LExpr *RHS)
	Logical implication. Returns true if LHS implies RHS, i.e. if LHS holds, then RHS must hold. For example, (A & B) implies A.

---

Function Documentation

static bool implies	(	const LExpr *	LHS,
		bool	LNeg,
		const LExpr *	RHS,
		bool	RNeg
	)		[static]

Definition at line 20 of file ThreadSafetyLogical.cpp.

References clang::prec::And, exp, clang::ast_matchers::expr, and clang::threadSafety::lexpr::LExpr::kind().

Referenced by clang::threadSafety::lexpr::implies().