Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h271 class CapabilityExpr {
280 CapabilityExpr() : CapExpr(nullptr, false) {} in CapabilityExpr() function
281 CapabilityExpr(const til::SExpr *E, StringRef Kind, bool Neg) in CapabilityExpr() function
285 template <typename T> CapabilityExpr(const til::SExpr *, T, bool) = delete;
291 CapabilityExpr operator!() const {
292 return CapabilityExpr(CapExpr.getPointer(), CapKind, !CapExpr.getInt());
295 bool equals(const CapabilityExpr &other) const { in equals()
300 bool matches(const CapabilityExpr &other) const { in matches()
305 bool matchesUniv(const CapabilityExpr &CapE) const { in matchesUniv()
309 bool partiallyMatches(const CapabilityExpr &other) const { in partiallyMatches()
[all …]
/llvm-project-15.0.7/clang/lib/Analysis/
H A DThreadSafety.cpp84 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
87 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()
104 class FactEntry : public CapabilityExpr {
900 CapabilityExpr Cap;
910 void addLock(const CapabilityExpr &M) { in addLock()
914 void addExclusiveUnlock(const CapabilityExpr &M) { in addExclusiveUnlock()
918 void addSharedUnlock(const CapabilityExpr &M) { in addSharedUnlock()
1023 bool inCurrentScope(const CapabilityExpr &CapE);
1084 CapabilityExpr Cp = in insertAttrExprs()
1100 CapabilityExpr Cp = in insertAttrExprs()
[all …]
H A DThreadSafetyCommon.cpp118 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
174 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
177 return CapabilityExpr(); in translateAttrExpr()
183 return CapabilityExpr(new (Arena) til::Wildcard(), StringRef("wildcard"), in translateAttrExpr()
187 return CapabilityExpr(); in translateAttrExpr()
209 return CapabilityExpr(); in translateAttrExpr()
216 return CapabilityExpr(CE->expr(), Kind, Neg); in translateAttrExpr()
218 return CapabilityExpr(E, Kind, Neg); in translateAttrExpr()