HomeSort by: relevance | last modified time | path
    Searched refs:Equality (Results 1 - 7 of 7) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/Basic/
OperatorPrecedence.h 36 Equality = 9, // ==, !=
  /src/external/apache2/llvm/dist/clang/lib/Basic/
OperatorPrecedence.cpp 61 case tok::equalequal: return prec::Equality;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
RangeConstraintManager.cpp 10 // equality and inequality constraints on symbolic values of ProgramState.
667 // Equality/diseqiality abstraction
670 /// A small helper structure representing symbolic equality.
672 /// Equality check can have different forms (like a == b or a - b) and this
674 /// whether it's equality/diseqiality or not and have an easy access to the
679 // true for equality and false for disequality.
683 /// Extract equality information from the given symbol and the constants.
686 /// It is a default because the most widespread case of the equality check
690 // As of now, the only equality form supported is Sym + 0 != 0.
696 /// Extract equality information from the given symbol
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/Sema/
SemaStmt.cpp 132 enum { Equality, Inequality, Relational, ThreeWay } Kind;
139 Kind = Equality;
153 Kind = Equality;
192 else if (Kind == Equality)
  /src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
ScalarEvolution.h 282 /// Returns the left hand side of the equality.
285 /// Returns the right hand side of the equality.
1987 /// stride and presence of the equality in the comparison.
1989 bool Equality);
  /src/external/apache2/llvm/dist/clang/lib/Format/
ContinuationIndenter.cpp 460 Previous.getPrecedence() == prec::Equality ||
  /src/external/apache2/llvm/dist/llvm/lib/Analysis/
ScalarEvolution.cpp 17 // pointer-comparisons for equality are legal.
696 // Fast-path: SCEVs are uniqued so we can do a quick equality check.
9413 // We were able to convert an inequality to an equality.
9473 // Check for obvious equality.
10131 // non-strict comparison is known from ranges and non-equality is known from
10133 // to prove non-equality and non-strict comparison separately.
10300 // For unsigned and equality predicates, try to prove that both found
11237 bool Equality) {
11239 Delta = Equality ? getAddExpr(Delta, Step)
11282 false /* Equality */);
    [all...]

Completed in 39 milliseconds