Searched refs:CapabilityExpr (Results 1 – 2 of 2) sorted by relevance
| /freebsd/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/contrib/llvm-project/clang/lib/Analysis/ |
| 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()
|