Searched refs:SApply (Results 1 - 3 of 3) sorted by relevance

/external/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyTraverse.h206 R_SExpr reduceSApply(SApply &Orig, R_SExpr E0, R_SExpr E1) {
679 void printSApply(const SApply *E, StreamType &SS) {
691 if (const SApply *SAP = dyn_cast<SApply>(E->record())) {
H A DThreadSafetyTIL.h869 class SApply : public SExpr { class in namespace:clang::threadSafety
873 SApply(SExpr *Sf, SExpr *A = nullptr) : SExpr(COP_SApply), Sfun(Sf), Arg(A) {} function in class:clang::threadSafety::SApply
874 SApply(SApply &A, SExpr *Sf, SExpr *Ar = nullptr) // rewrite constructor function in class:clang::threadSafety::SApply
894 typename C::CType compare(const SApply* E, C& Cmp) const {
/external/clang/lib/Analysis/
H A DThreadSafetyCommon.cpp345 til::SExpr *E = new (Arena) til::SApply(BE);

Completed in 170 milliseconds