clang 20.0.0git
Namespaces | Functions
ThreadSafetyLogical.cpp File Reference
#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"

Go to the source code of this file.

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
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.
 

Function Documentation

◆ implies()

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