OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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