| /src/external/apache2/llvm/dist/clang/lib/Analysis/ |
| ThreadSafetyLogical.cpp | 19 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { function
24 return implies(A->left(), LNeg, RHS, RNeg) &&
25 implies(A->right(), LNeg, RHS, RNeg);
28 return implies(LHS, LNeg, A->left(), RNeg) &&
29 implies(LHS, LNeg, A->right(), RNeg);
34 return implies(A->left(), LNeg, RHS, RNeg) ||
35 implies(A->right(), LNeg, RHS, RNeg);
38 return implies(LHS, LNeg, A->left(), RNeg) ||
39 implies(LHS, LNeg, A->right(), RNeg);
60 // to return !implies(LHS, RHS)
105 bool implies(const LExpr *LHS, const LExpr *RHS) { function in namespace:clang::threadSafety::lexpr
[all...] |
| ThreadSafetyLogical.cpp | 19 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { function
24 return implies(A->left(), LNeg, RHS, RNeg) &&
25 implies(A->right(), LNeg, RHS, RNeg);
28 return implies(LHS, LNeg, A->left(), RNeg) &&
29 implies(LHS, LNeg, A->right(), RNeg);
34 return implies(A->left(), LNeg, RHS, RNeg) ||
35 implies(A->right(), LNeg, RHS, RNeg);
38 return implies(LHS, LNeg, A->left(), RNeg) ||
39 implies(LHS, LNeg, A->right(), RNeg);
60 // to return !implies(LHS, RHS)
105 bool implies(const LExpr *LHS, const LExpr *RHS) { function in namespace:clang::threadSafety::lexpr
[all...] |
| /src/external/apache2/llvm/dist/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 31 /// Logical implication. Returns true if the LExpr implies RHS, i.e. if
32 /// the LExpr holds, then RHS must hold. For example, (A & B) implies A.
33 inline bool implies(const LExpr *RHS) const;
94 /// Logical implication. Returns true if LHS implies RHS, i.e. if LHS
95 /// holds, then RHS must hold. For example, (A & B) implies A.
96 bool implies(const LExpr *LHS, const LExpr *RHS);
98 bool LExpr::implies(const LExpr *RHS) const { function in class:clang::threadSafety::lexpr::LExpr
99 return lexpr::implies(this, RHS);
|
| ThreadSafetyLogical.h | 31 /// Logical implication. Returns true if the LExpr implies RHS, i.e. if
32 /// the LExpr holds, then RHS must hold. For example, (A & B) implies A.
33 inline bool implies(const LExpr *RHS) const;
94 /// Logical implication. Returns true if LHS implies RHS, i.e. if LHS
95 /// holds, then RHS must hold. For example, (A & B) implies A.
96 bool implies(const LExpr *LHS, const LExpr *RHS);
98 bool LExpr::implies(const LExpr *RHS) const { function in class:clang::threadSafety::lexpr::LExpr
99 return lexpr::implies(this, RHS);
|
| /src/external/gpl3/binutils/dist/gas/config/ |
| tc-ia64.c | 8830 else if (note == 11) /* note 11 implies note 1 as well */
8952 else if (note == 11) /* note 11 implies note 1 as well */
9659 /* Clear implies relations which contain PRs in the given masks.
9660 P1_MASK indicates the source of the implies relation, while P2_MASK
9716 fprintf (stderr, " Registering PR%d implies PR%d\n", p1, p2);
9722 /* Add in the implied transitive relations; for everything that p2 implies,
9723 make p1 imply that, too; for everything that implies p1, make it imply p2
9732 /* Add in mutex relations implied by this implies relation; for each mutex
9876 /* Look for mutex and implies relations. */
9893 /* In general, clear mutexes and implies which include P1 or P2
10355 int implies; local
[all...] |
| tc-ia64.c | 8830 else if (note == 11) /* note 11 implies note 1 as well */
8952 else if (note == 11) /* note 11 implies note 1 as well */
9659 /* Clear implies relations which contain PRs in the given masks.
9660 P1_MASK indicates the source of the implies relation, while P2_MASK
9716 fprintf (stderr, " Registering PR%d implies PR%d\n", p1, p2);
9722 /* Add in the implied transitive relations; for everything that p2 implies,
9723 make p1 imply that, too; for everything that implies p1, make it imply p2
9732 /* Add in mutex relations implied by this implies relation; for each mutex
9876 /* Look for mutex and implies relations. */
9893 /* In general, clear mutexes and implies which include P1 or P2
10355 int implies; local
[all...] |
| /src/external/gpl3/binutils.old/dist/gas/config/ |
| tc-ia64.c | 8830 else if (note == 11) /* note 11 implies note 1 as well */
8952 else if (note == 11) /* note 11 implies note 1 as well */
9659 /* Clear implies relations which contain PRs in the given masks.
9660 P1_MASK indicates the source of the implies relation, while P2_MASK
9716 fprintf (stderr, " Registering PR%d implies PR%d\n", p1, p2);
9722 /* Add in the implied transitive relations; for everything that p2 implies,
9723 make p1 imply that, too; for everything that implies p1, make it imply p2
9732 /* Add in mutex relations implied by this implies relation; for each mutex
9876 /* Look for mutex and implies relations. */
9893 /* In general, clear mutexes and implies which include P1 or P2
10355 int implies; local
[all...] |
| tc-ia64.c | 8830 else if (note == 11) /* note 11 implies note 1 as well */
8952 else if (note == 11) /* note 11 implies note 1 as well */
9659 /* Clear implies relations which contain PRs in the given masks.
9660 P1_MASK indicates the source of the implies relation, while P2_MASK
9716 fprintf (stderr, " Registering PR%d implies PR%d\n", p1, p2);
9722 /* Add in the implied transitive relations; for everything that p2 implies,
9723 make p1 imply that, too; for everything that implies p1, make it imply p2
9732 /* Add in mutex relations implied by this implies relation; for each mutex
9876 /* Look for mutex and implies relations. */
9893 /* In general, clear mutexes and implies which include P1 or P2
10355 int implies; local
[all...] |
