HomeSort by relevance Sort by last modified time
    Searched full:lexpr (Results 1 - 5 of 5) sorted by null

  /external/clang/include/clang/Analysis/Analyses/
ThreadSafetyLogical.h 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
32 /// \brief Logical implication. Returns true if the LExpr implies RHS, i.e. if
33 /// the LExpr holds, then RHS must hold. For example, (A & B) implies A.
34 inline bool implies(const LExpr *RHS) const;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
    [all...]
  /external/clang/lib/Analysis/
ThreadSafetyLogical.cpp 16 using namespace clang::threadSafety::lexpr;
20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) {
45 case LExpr::And:
52 case LExpr::Or:
59 case LExpr::Not:
63 case LExpr::Terminal:
70 case LExpr::And:
77 case LExpr::Or:
84 case LExpr::Not
104 namespace lexpr { namespace in namespace:clang::threadSafety
    [all...]
  /external/libunwind/
Android.mk 112 src/dwarf/Lexpr.c \
  /external/libunwind/src/
Makefile.am 157 dwarf/Lexpr.c dwarf/Lfde.c dwarf/Lparser.c dwarf/Lpe.c dwarf/Lstep.c \
  /prebuilts/clang/linux-x86/host/3.5/lib/
libc++.so 

Completed in 114 milliseconds