Searched refs:CapabilityExpr (Results 1 – 3 of 3) sorted by relevance
| /openbsd-src/gnu/llvm/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyCommon.h | 272 class CapabilityExpr {
281 CapabilityExpr() : CapExpr(nullptr, false) {} in CapabilityExpr() function
282 CapabilityExpr(const til::SExpr *E, StringRef Kind, bool Neg) in CapabilityExpr() function
286 template <typename T> CapabilityExpr(const til::SExpr *, T, bool) = delete;
292 CapabilityExpr operator!() const {
293 return CapabilityExpr(CapExpr.getPointer(), CapKind, !CapExpr.getInt());
296 bool equals(const CapabilityExpr &other) const { in equals()
301 bool matches(const CapabilityExpr &other) const { in matches()
306 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
310 bool partiallyMatches(const CapabilityExpr &other) const { in partiallyMatches()
[all …]
|
| /openbsd-src/gnu/llvm/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 84 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
87 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()
88 if (llvm::none_of(*this, [=](const CapabilityExpr &CapE2) { in push_back_nodup()
104 class FactEntry : public CapabilityExpr {
125 FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc, in FactEntry()
127 : CapabilityExpr(CE), LKind(LK), Source(Src), AcquireLoc(Loc) {} in FactEntry()
145 const CapabilityExpr &Cp, SourceLocation UnlockLoc,
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()
233 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()
239 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
[all …]
|
| H A D | ThreadSafetyCommon.cpp | 119 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
156 return CapabilityExpr( in translateAttrExpr()
172 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
175 return CapabilityExpr(); in translateAttrExpr()
181 return CapabilityExpr(new (Arena) til::Wildcard(), StringRef("wildcard"), in translateAttrExpr()
185 return CapabilityExpr(); in translateAttrExpr()
207 return CapabilityExpr(); in translateAttrExpr()
214 return CapabilityExpr(CE->expr(), Kind, Neg); in translateAttrExpr()
216 return CapabilityExpr(E, Kind, Neg); in translateAttrExpr()
|