Searched refs:CapabilityExpr (Results 1 – 3 of 3) sorted by relevance
| /external/clang/include/clang/Analysis/Analyses/ |
| D | ThreadSafetyCommon.h | 253 class CapabilityExpr {
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {} in CapabilityExpr() function
268 CapabilityExpr operator!() const {
269 return CapabilityExpr(CapExpr, !Negated);
272 bool equals(const CapabilityExpr &other) const { in equals()
276 bool matches(const CapabilityExpr &other) const { in matches()
280 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
284 bool partiallyMatches(const CapabilityExpr &other) const { in partiallyMatches()
350 CapabilityExpr translateAttrExpr(const Expr *AttrExp, const NamedDecl *D,
353 CapabilityExpr translateAttrExpr(const Expr *AttrExp, CallingContext *Ctx);
|
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 73 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
76 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()
78 [=](const CapabilityExpr &CapE2) { in push_back_nodup()
97 class FactEntry : public CapabilityExpr {
105 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in FactEntry()
107 : CapabilityExpr(CE), LKind(LK), AcquireLoc(Loc), Asserted(Asrt), in FactEntry()
124 const CapabilityExpr &Cp, SourceLocation UnlockLoc,
196 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()
215 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()
221 FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
[all …]
|
| D | ThreadSafetyCommon.cpp | 94 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()
|