Cross Reference: /external/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

Lines Matching refs:op
36   virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
38   virtual SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
40   virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
47   SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
177 static BinaryOperator::Opcode NegateComparison(BinaryOperator::Opcode op) {
178   switch (op) {
190 static BinaryOperator::Opcode ReverseComparison(BinaryOperator::Opcode op) {
191   switch (op) {
200     return op;
205                                     BinaryOperator::Opcode op,
211   switch (op) {
274   if (BinaryOperator::isComparisonOp(op)) {
296   return makeNonLoc(LHS, op, *ConvertedRHS, resultTy);
300                                   BinaryOperator::Opcode op,
308     switch (op) {
332       return makeSymExprValNN(state, op, lhs, rhs, resultTy);
337           return evalBinOpLL(state, op, lhsL,
344           return evalBinOpLL(state, op, lhsL, makeLoc(i), resultTy);
347           switch (op) {
354               return makeSymExprValNN(state, op, InputLHS, InputRHS, resultTy);
364         if (BinaryOperator::isComparisonOp(op)) {
372         } else if (!BinaryOperator::isShiftOp(op)) {
379           BasicVals.evalAPSInt(op, LHSValue, RHSValue);
390       switch (op) {
395         op = ReverseComparison(op);
415         return makeSymExprValNN(state, op, InputLHS, InputRHS, resultTy);
417         return makeSymExprValNN(state, op, InputLHS, InputRHS, resultTy);
428         if (op == BO_EQ && rhs.isZeroConstant()) {
474           if (BinaryOperator::isAdditiveOp(op)) {
489               if (lop == op)
497               op = lop;
503           return MakeSymIntVal(symIntExpr, op, *RHSValue, resultTy);
518           return MakeSymIntVal(Sym, op, *RHSValue, resultTy);
522       return makeSymExprValNN(state, op, InputLHS, InputRHS, resultTy);
530                                   BinaryOperator::Opcode op,
539   if (!(BinaryOperator::isComparisonOp(op) || op == BO_Sub))
544     switch (op) {
567       switch (op) {
595       if (!BinaryOperator::isComparisonOp(op))
599       return makeNonLoc(rSym, ReverseComparison(op), lVal, resultTy);
604       SVal ResultVal = cast<loc::ConcreteInt>(lhs).evalBinOp(BasicVals, op,
618       switch (op) {
641         return MakeSymIntVal(lSym, op, rInt->getValue(), resultTy);
648         switch (op) {
691       switch (op) {
708       switch (op) {
755         return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy);
767         switch (op) {
793       if (!BinaryOperator::isComparisonOp(op))
818       if (op == BO_EQ)
820       if (op == BO_NE)
827       bool leftFirst = (op == BO_LT || op == BO_LE);
846                                   BinaryOperator::Opcode op,
858   if (BinaryOperator::isComparisonOp(op)) {
867         return evalBinOpLL(state, op, lhs, loc::ConcreteInt(*x), resultTy);
891       switch (op) {
913       assert(op == BO_Add || op == BO_Sub);
914       index = evalBinOpNN(state, op, elemReg->getIndex(), rhs,