HomeSort by relevance Sort by last modified time
    Searched refs:sexpr (Results 1 - 6 of 6) sorted by null

  /external/swiftshader/third_party/subzero/
c2wasm-exe.sh 9 ./wasm-install/bin/sexpr-wasm a.out.wast -o a.out.wasm && \
fetch-torture-tests.sh 9 wget -O - $BUILD_PATH/wasm-torture-s2wasm-sexpr-wasm-$BUILDID.tbz2 \
  /external/clang/include/clang/Analysis/Analyses/
ThreadSafetyCommon.h 40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {
69 inline std::string toString(const til::SExpr *E) {
259 const til::SExpr* CapExpr; ///< The capability expression.
263 CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {
265 const til::SExpr* sexpr() const { return CapExpr; } function in class:clang::threadSafety::CapabilityExpr
    [all...]
  /build/kati/
eval.go 308 sexpr, _, err := parseExpr(ast.semi, nil, parseOp{})
312 rhs = append(rhs, toExpr(sexpr)...)
  /external/clang/lib/Analysis/
ThreadSafety.cpp 846 SmallVector<const til::SExpr *, 4> UnderlyingMutexes;
853 UnderlyingMutexes.push_back(M.sexpr());
855 UnderlyingMutexes.push_back(M.sexpr());
862 for (const til::SExpr *UnderlyingMutex : UnderlyingMutexes) {
877 for (const til::SExpr *UnderlyingMutex : UnderlyingMutexes) {
    [all...]
ThreadSafetyCommon.cpp 62 static bool isIncompletePhi(const til::SExpr *E) {
70 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) {
87 /// \brief Translate a clang expression in an attribute to a til::SExpr.
149 /// \brief Translate a clang expression in an attribute to a til::SExpr.
180 til::SExpr *E = translate(AttrExp, Ctx);
198 til::SExpr *SExprBuilder::translate(const Stmt *S, CallingContext *Ctx) {
204 if (til::SExpr *E = lookupStmt(S))
266 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE,
290 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE,
299 static const ValueDecl *getValueDeclFromSExpr(const til::SExpr *E)
    [all...]

Completed in 350 milliseconds