Searched refs:CapabilityExpr (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyCommon.h | 273 class CapabilityExpr {
285 CapabilityExpr() : CapExpr(nullptr, 0) {} in CapabilityExpr() function
286 CapabilityExpr(const til::SExpr *E, StringRef Kind, bool Neg, bool Reentrant) in CapabilityExpr() function
290 CapabilityExpr(const til::SExpr *E, QualType QT, bool Neg);
294 CapabilityExpr(const til::SExpr *, T, bool, bool) = delete;
301 CapabilityExpr operator!() const {
302 return CapabilityExpr(CapExpr.getPointer(), CapKind, !negative(),
306 bool equals(const CapabilityExpr &other) const { in equals()
311 bool matches(const CapabilityExpr &other) const { in matches()
316 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 79 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
82 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()
83 if (llvm::none_of(*this, [=](const CapabilityExpr &CapE2) { in push_back_nodup()
97 class FactEntry : public CapabilityExpr {
122 FactEntry(FactEntryKind FK, const CapabilityExpr &CE, LockKind LK, in FactEntry()
124 : CapabilityExpr(CE), Kind(FK), LKind(LK), Source(Src), AcquireLoc(Loc) {} in FactEntry()
143 const CapabilityExpr &Cp, SourceLocation UnlockLoc,
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock()
242 std::optional<FactID> replaceLock(FactManager &FM, const CapabilityExpr &CapE, in replaceLock()
247 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter()
[all …]
|
| H A D | ThreadSafetyCommon.cpp | 98 CapabilityExpr::CapabilityExpr(const til::SExpr *E, QualType QT, bool Neg) { in CapabilityExpr() function in CapabilityExpr
100 *this = CapabilityExpr(E, Kind, Neg, Reentrant); in CapabilityExpr()
126 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
183 return CapabilityExpr( in translateAttrExpr()
199 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
202 return CapabilityExpr(); in translateAttrExpr()
208 return CapabilityExpr(new (Arena) til::Wildcard(), StringRef("wildcard"), in translateAttrExpr()
212 return CapabilityExpr(); in translateAttrExpr()
234 return CapabilityExpr(); in translateAttrExpr()
241 return CapabilityExpr(E, AttrExp->getType(), Neg); in translateAttrExpr()
|