Searched refs:lexpr (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafetyLogical.cpp | 16 using namespace clang::threadSafety::lexpr;
104 namespace lexpr { namespace
|
| /external/clang/include/clang/Analysis/Analyses/ |
| D | ThreadSafetyLogical.h | 20 namespace lexpr {
100 return lexpr::implies(this, RHS); in implies()
|
| /external/selinux/libsepol/cil/src/ |
| D | cil_build_ast.c | 2731 struct cil_list *lexpr; in __cil_fill_constraint_expr() local
2765 rc = __cil_fill_constraint_expr(current->next->cl_head, flavor, &lexpr, depth); in __cil_fill_constraint_expr()
2771 cil_list_append(*expr, CIL_LIST, lexpr); in __cil_fill_constraint_expr()
2774 rc = __cil_fill_constraint_expr(current->next->cl_head, flavor, &lexpr, depth); in __cil_fill_constraint_expr()
2784 cil_list_append(*expr, CIL_LIST, lexpr); in __cil_fill_constraint_expr()
|