Searched refs:CapabilityExpr (Results 1 – 3 of 3) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/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 …]
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ThreadSafety.cpp | 87 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup()
104 class FactEntry : public CapabilityExpr {
899 CapabilityExpr Cap;
909 void addLock(const CapabilityExpr &M) { in addLock()
913 void addExclusiveUnlock(const CapabilityExpr &M) { in addExclusiveUnlock()
917 void addSharedUnlock(const CapabilityExpr &M) { in addSharedUnlock()
1024 bool inCurrentScope(const CapabilityExpr &CapE);
1098 CapabilityExpr Cp = in insertAttrExprs()
1114 CapabilityExpr Cp = in insertAttrExprs()
1267 CapabilityExpr NegC = !*Entry; in addLock()
[all …]
|
| H A D | ThreadSafetyCommon.cpp | 115 CapabilityExpr SExprBuilder::translateAttrExpr(const Expr *AttrExp, in translateAttrExpr()
156 return CapabilityExpr( 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()
|