Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h270 class CapabilityExpr {
279 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {} in CapabilityExpr() function
284 CapabilityExpr operator!() const {
285 return CapabilityExpr(CapExpr, !Negated);
288 bool equals(const CapabilityExpr &other) const { in equals()
292 bool matches(const CapabilityExpr &other) const { in matches()
296 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
300 bool partiallyMatches(const CapabilityExpr &other) const { in partiallyMatches()
371 CapabilityExpr translateAttrExpr(const Expr *AttrExp, const NamedDecl *D,
374 CapabilityExpr translateAttrExpr(const Expr *AttrExp, CallingContext *Ctx);
/freebsd-13.1/contrib/llvm-project/clang/lib/Analysis/
H A DThreadSafety.cpp85 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
88 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()
107 class FactEntry : public CapabilityExpr {
909 void addLock(const CapabilityExpr &M) { in addLock()
913 void addExclusiveUnlock(const CapabilityExpr &M) { in addExclusiveUnlock()
917 void addSharedUnlock(const CapabilityExpr &M) { in addSharedUnlock()
1028 bool inCurrentScope(const CapabilityExpr &CapE);
1032 void removeLock(FactSet &FSet, 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()