Searched refs:SExpr (Results 1 - 9 of 9) sorted by relevance

/external/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyTIL.h251 class SExpr { class in namespace:clang::threadSafety
255 // Subclasses of SExpr must define the following:
274 // SExpr objects cannot be deleted.
280 SExpr(TIL_Opcode Op) : Opcode(Op), Reserved(0), Flags(0) {} function in class:clang::threadSafety::SExpr
281 SExpr(const SExpr &E) : Opcode(E.Opcode), Reserved(0), Flags(E.Flags) {} function in class:clang::threadSafety::SExpr
288 SExpr() LLVM_DELETED_FUNCTION;
290 // SExpr objects must be created in an arena.
305 inline SExprRef(SExpr *P);
308 SExpr *ge
[all...]
H A DThreadSafetyCommon.h209 // Translate clang::Expr to til::SExpr.
248 til::SExpr *translate(const Stmt *S, CallingContext *Ctx);
251 til::SExpr *lookupStmt(const Stmt *S);
261 til::SExpr *translateDeclRefExpr(const DeclRefExpr *DRE,
263 til::SExpr *translateCXXThisExpr(const CXXThisExpr *TE, CallingContext *Ctx);
264 til::SExpr *translateMemberExpr(const MemberExpr *ME, CallingContext *Ctx);
265 til::SExpr *translateCallExpr(const CallExpr *CE, CallingContext *Ctx);
266 til::SExpr *translateCXXMemberCallExpr(const CXXMemberCallExpr *ME,
268 til::SExpr *translateCXXOperatorCallExpr(const CXXOperatorCallExpr *OCE,
270 til::SExpr *translateUnaryOperato
[all...]
H A DThreadSafetyLogical.h9 // This file defines a representation for logical expressions with SExpr leaves
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
49 const til::SExpr *expr() const { return Expr.get(); }
50 til::SExpr *expr() { return Expr.get(); }
H A DThreadSafetyTraverse.h32 // Each SExpr class provides a traverse method, which does the following:
63 typename R::R_SExpr traverse(SExpr *E, typename R::R_Ctx Ctx) {
68 typename R::R_SExpr traverseByCase(SExpr *E, typename R::R_Ctx Ctx) {
120 // Base class for traversals that rewrite an SExpr to another SExpr.
125 typedef SExpr *R_SExpr;
148 // Implements a traversal that makes a deep copy of an SExpr.
282 typedef SExpr *R_SExpr;
287 static SExpr *copy(SExpr *
[all...]
/external/clang/lib/Analysis/
H A DThreadSafetyCommon.cpp66 static bool isIncompleteVar(const SExpr *E) {
80 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) {
97 til::SExpr *SExprBuilder::translate(const Stmt *S, CallingContext *Ctx) {
103 if (til::SExpr *E = lookupStmt(S))
165 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE,
190 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE,
200 til::SExpr *SExprBuilder::translateMemberExpr(const MemberExpr *ME,
202 til::SExpr *E = translate(ME->getBase(), Ctx);
208 til::SExpr *SExprBuilder::translateCallExpr(const CallExpr *CE,
211 til::SExpr *
[all...]
H A DThreadSafetyTIL.cpp94 SExpr *getCanonicalVal(SExpr *E) {
96 SExpr *D;
135 SExpr *E0 = getCanonicalVal(Ph->values()[0]);
137 SExpr *Ei = getCanonicalVal(Ph->values()[i]);
H A DThreadSafety.cpp54 /// SExpr implements a simple expression language that is used to store,
55 /// compare, and pretty-print C++ expressions. Unlike a clang Expr, a SExpr
75 class SExpr { class in namespace:__anon16982
187 // A SExpr is a list of SExprNodes in prefix order. The Size field allows
267 /// Build an SExpr from the given C++ expression.
269 /// Note: this function merely creates a SExpr; it does not check to
460 /// \brief Construct a SExpr from an expression.
540 explicit SExpr(clang::Decl::EmptyShell e) { NodeVec.clear(); } function in class:__anon16982::SExpr
547 SExpr(const Expr *MutexExp, const Expr *DeclExp, const NamedDecl *D, function in class:__anon16982::SExpr
582 bool operator==(const SExpr
[all...]
/external/llvm/lib/Target/Sparc/MCTargetDesc/
H A DSparcMCCodeEmitter.cpp126 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Expr)) {
127 MCFixupKind Kind = (MCFixupKind)SExpr->getFixupKind();
153 const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr()); local
154 assert(SExpr && SExpr->getSubExpr()->getKind() == MCExpr::SymbolRef &&
156 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr());
165 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(MO.getExpr())) {
166 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_WPLT30)
H A DSparcELFObjectWriter.cpp40 if (const SparcMCExpr *SExpr = dyn_cast<SparcMCExpr>(Fixup.getValue())) {
41 if (SExpr->getKind() == SparcMCExpr::VK_Sparc_R_DISP32)

Completed in 659 milliseconds