reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
77 if (C.getSVal(B).isUndef()) { 101 if (C.getSVal(B->getLHS()).isUndef()) { 102 Ex = B->getLHS()->IgnoreParenCasts(); 105 else if (C.getSVal(B->getRHS()).isUndef()) { 106 Ex = B->getRHS()->IgnoreParenCasts(); 112 << BinaryOperator::getOpcodeStr(B->getOpcode()) 118 if ((B->getOpcode() == BinaryOperatorKind::BO_Shl || 119 B->getOpcode() == BinaryOperatorKind::BO_Shr) && 120 C.isNegative(B->getRHS())) { 122 << ((B->getOpcode() == BinaryOperatorKind::BO_Shl) ? "left" 125 Ex = B->getRHS(); 126 } else if ((B->getOpcode() == BinaryOperatorKind::BO_Shl || 127 B->getOpcode() == BinaryOperatorKind::BO_Shr) && 128 isShiftOverflow(B, C)) { 131 << ((B->getOpcode() == BinaryOperatorKind::BO_Shl) ? "left" 134 Ex = B->getRHS(); 138 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); 147 << B->getLHS()->getType().getAsString() << "'."; 148 } else if (B->getOpcode() == BinaryOperatorKind::BO_Shl && 149 C.isNegative(B->getLHS())) { 152 Ex = B->getLHS(); 153 } else if (B->getOpcode() == BinaryOperatorKind::BO_Shl && 154 isLeftShiftResultUnrepresentable(B, C)) { 158 SB.getKnownValue(State, C.getSVal(B->getLHS())); 160 SB.getKnownValue(State, C.getSVal(B->getRHS())); 164 << "the return type \'" << B->getLHS()->getType().getAsString() 166 Ex = B->getLHS(); 169 << BinaryOperator::getOpcodeStr(B->getOpcode()) 179 bugreporter::trackExpressionValue(N, B, *report);