Home
last modified time | relevance | path

Searched refs:CapabilityExpr (Results 1 – 3 of 3) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h271 class CapabilityExpr {
280 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {} in CapabilityExpr() function
285 CapabilityExpr operator!() const {
286 return CapabilityExpr(CapExpr, !Negated);
289 bool equals(const CapabilityExpr &other) const { in equals()
293 bool matches(const CapabilityExpr &other) const { in matches()
297 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
301 bool partiallyMatches(const CapabilityExpr &other) const { in partiallyMatches()
372 CapabilityExpr translateAttrExpr(const Expr *AttrExp, const NamedDecl *D,
375 CapabilityExpr translateAttrExpr(const Expr *AttrExp, CallingContext *Ctx);
/freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/
H A DThreadSafety.cpp86 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
89 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()
108 class FactEntry : public CapabilityExpr {
909 void addExclusiveLock(const CapabilityExpr &M) { in addExclusiveLock()
913 void addSharedLock(const CapabilityExpr &M) { in addSharedLock()
917 void addExclusiveUnlock(const CapabilityExpr &M) { in addExclusiveUnlock()
921 void addSharedUnlock(const CapabilityExpr &M) { in addSharedUnlock()
1028 bool inCurrentScope(const CapabilityExpr &CapE);
1090 CapabilityExpr Cp = in insertAttrExprs()
1106 CapabilityExpr Cp = in insertAttrExprs()
[all …]
H A DThreadSafetyCommon.cpp96 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
152 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
155 return CapabilityExpr(nullptr, false); in translateAttrExpr()
161 return CapabilityExpr(new (Arena) til::Wildcard(), false); in translateAttrExpr()
164 return CapabilityExpr(nullptr, false); in translateAttrExpr()
186 return CapabilityExpr(nullptr, false); in translateAttrExpr()
191 return CapabilityExpr(CE->expr(), Neg); in translateAttrExpr()
193 return CapabilityExpr(E, Neg); in translateAttrExpr()