| /external/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyCommon.h | 16 // * Translation of clang Exprs to TIL SExprs
40 // Various helper functions on til::SExpr
43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {
44 return til::EqualsComparator::compareExprs(E1, E2);
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {
51 if (isa<til::Wildcard>(E1))
52 return isa<til::Wildcard>(E2);
53 if (isa<til::Wildcard>(E2)
[all...] |
| ThreadSafetyLogical.h | 44 til::SExpr *Expr;
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
49 const til::SExpr *expr() const { return Expr; }
50 til::SExpr *expr() { return Expr; }
|
| ThreadSafetyUtil.h | 30 namespace til { namespace in namespace:clang::threadSafety
61 } // end namespace til
66 clang::threadSafety::til::MemRegionRef &R) {
78 namespace til { namespace in namespace:clang::threadSafety
219 } // end namespace til
|
| ThreadSafetyTraverse.h | 11 // operations over the Thread Safety TIL.
25 namespace til { namespace in namespace:clang::threadSafety
382 // Pretty printer for TIL expressions
898 } // end namespace til
|
| ThreadSafetyTIL.h | 10 // This file defines a simple Typed Intermediate Language, or TIL, that is used
11 // by the thread safety analysis (See ThreadSafety.cpp). The TIL is intended
38 // The TIL is currently very experimental, is intended only for use within
62 namespace til { namespace in namespace:clang::threadSafety
407 SExpr* Definition; // The TIL type or definition
471 /// Placeholder for expressions that cannot be represented in the TIL.
[all...] |
| /external/clang/lib/Analysis/ |
| ThreadSafetyCommon.cpp | 62 static bool isIncompletePhi(const til::SExpr *E) {
63 if (const auto *Ph = dyn_cast<til::Phi>(E))
64 return Ph->status() == til::Phi::PH_Incomplete;
70 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) {
77 til::SCFG *SExprBuilder::buildCFG(CFGWalker &Walker) {
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.
160 return CapabilityExpr(new (Arena) til::Wildcard(), false);
180 til::SExpr *E = translate(AttrExp, Ctx);
184 if (!E || isa<til::Literal>(E)
[all...] |
| ThreadSafetyTIL.cpp | 14 using namespace til;
16 StringRef til::getUnaryOpcodeString(TIL_UnaryOpcode Op) {
25 StringRef til::getBinaryOpcodeString(TIL_BinaryOpcode Op) {
82 const SExpr *til::getCanonicalVal(const SExpr *E) {
105 SExpr *til::simplifyToCanonicalVal(SExpr *E) {
112 if (til::ThreadSafetyTIL::isTrivial(V->definition())) {
135 void til::simplifyIncompleteArg(til::Phi *Ph) {
|
| ThreadSafety.cpp | 55 public til::PrettyPrinter<TILPrinter, llvm::raw_ostream> {};
846 SmallVector<const til::SExpr *, 4> UnderlyingMutexes;
862 for (const til::SExpr *UnderlyingMutex : UnderlyingMutexes) {
877 for (const til::SExpr *UnderlyingMutex : UnderlyingMutexes) {
911 threadSafety::til::MemRegionRef Arena;
[all...] |
| /external/webrtc/webrtc/base/ |
| win32.cc | 443 TOKEN_MANDATORY_LABEL* til = local
445 if (GetTokenInformation(token, TokenIntegrityLevel, til, size, &size)) {
447 DWORD count = *GetSidSubAuthorityCount(til->Label.Sid);
448 *level = *GetSidSubAuthority(til->Label.Sid, count - 1);
|
| /external/syzkaller/vendor/google.golang.org/appengine/mail/ |
| mail.go | 14 Body: "Don't forget our plans. Hark, 'til later.",
|
| /external/python/cpython2/Demo/tix/ |
| tixwidgets.py | 271 til = Tix.LabelFrame(w, label='Chooser Widgets', options=options)
280 MkTitle(til.frame)
295 til.form(left=cbx, top=0,right='%66')
296 ctl.form(left=cbx, right='&'+str(til), top=til)
297 fil.form(left=cbx, right='&'+str(til), top=ctl)
298 tbr.form(left=cbx, right='&'+str(til), top=fil, bottom=-1)
[all...] |
| /external/antlr/runtime/Delphi/Sources/Antlr3.Runtime.Tests/ |
| Antlr.Runtime.Tree.Tests.pas | 862 // consume til end
872 // consume til end
902 // consume til middle
[all...] |
