Home
last modified time | relevance | path

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

/external/clang/include/clang/Analysis/Analyses/
DThreadSafetyCommon.h265 const til::SExpr* sexpr() const { return CapExpr; } in sexpr() function
307 bool isInvalid() const { return sexpr() && isa<til::Undefined>(sexpr()); } in isInvalid()
309 bool isUniversal() const { return sexpr() && isa<til::Wildcard>(sexpr()); } in isUniversal()
/external/swiftshader/third_party/subzero/
DREADME-wasm.md9 -target=arm32 ./torture-s2wasm-sexpr-wasm/20000112-1.c.s.wast.wasm
40 ./wasm-install/bin/sexpr-wasm a.out.wast -o a.out.wasm
D.gitignore17 /torture-s2wasm-sexpr-wasm/
Dc2wasm-exe.sh9 ./wasm-install/bin/sexpr-wasm a.out.wast -o a.out.wasm && \
Dfetch-torture-tests.sh9 wget -O - $BUILD_PATH/wasm-torture-s2wasm-sexpr-wasm-$BUILDID.tbz2 \
/external/clang/lib/Analysis/
DThreadSafety.cpp853 UnderlyingMutexes.push_back(M.sexpr()); in ScopedLockableFactEntry()
855 UnderlyingMutexes.push_back(M.sexpr()); in ScopedLockableFactEntry()
1172 if (auto *P = dyn_cast_or_null<til::Project>(CapE.sexpr())) { in inCurrentScope()
DThreadSafetyCommon.cpp363 translateAttrExpr(At->getArg(), &LRCallCtx).sexpr()); in translateCallExpr()