Home
last modified time | relevance | path

Searched refs:sexpr (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h288 const til::SExpr *sexpr() const { return CapExpr.getPointer(); } in sexpr() function
298 sx::equals(sexpr(), other.sexpr()); in equals()
303 sx::matches(sexpr(), other.sexpr()); in matches()
312 sx::partiallyMatches(sexpr(), other.sexpr()); in partiallyMatches()
316 if (negative() || sexpr() == nullptr) in valueDecl()
318 if (const auto *P = dyn_cast<til::Project>(sexpr())) in valueDecl()
320 if (const auto *P = dyn_cast<til::LiteralPtr>(sexpr())) in valueDecl()
327 return "!" + sx::toString(sexpr()); in toString()
328 return sx::toString(sexpr()); in toString()
331 bool shouldIgnore() const { return sexpr() == nullptr; } in shouldIgnore()
[all …]
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DThreadSafetyCommon.cpp433 translateAttrExpr(At->getArg(), &LRCallCtx).sexpr()); in translateCallExpr()