Home
last modified time | relevance | path

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

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
HDThreadSafetyCommon.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-11-stable/contrib/llvm-project/clang/lib/Analysis/
HDThreadSafety.cpp85 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
88 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()
90 [=](const CapabilityExpr &CapE2) { in push_back_nodup()
107 class FactEntry : public CapabilityExpr {
122 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in FactEntry()
124 : CapabilityExpr(CE), LKind(LK), AcquireLoc(Loc), Asserted(Asrt), in FactEntry()
143 const CapabilityExpr &Cp, SourceLocation UnlockLoc,
212 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()
231 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()
237 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
[all …]
HDThreadSafetyCommon.cpp95 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
151 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
154 return CapabilityExpr(nullptr, false); in translateAttrExpr()
160 return CapabilityExpr(new (Arena) til::Wildcard(), false); in translateAttrExpr()
163 return CapabilityExpr(nullptr, false); in translateAttrExpr()
185 return CapabilityExpr(nullptr, false); in translateAttrExpr()
190 return CapabilityExpr(CE->expr(), Neg); in translateAttrExpr()
192 return CapabilityExpr(E, Neg); in translateAttrExpr()