StaticAnalyzer/Core/ExprEngineC.cpp

71             RHS->getType()->isIntegralOrEnumerationType() &&
73           RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
77             LHS->getType()->isIntegralOrEnumerationType() &&
79           LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
86       SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType());
136       QualType LTy = getContext().getCanonicalType(LHS->getType());
143                                          B->getType(), CTy);
183   CanQualType T = getContext().getCanonicalType(BE->getType());
238   QualType T = CastE->getType();
239   QualType ExTy = Ex->getType();
336         QualType resultType = CastE->getType();
388         QualType resultType = CastE->getType();
428     if (CL->isGLValue() || CL->getType()->isArrayType())
472         if (AMgr.getLangOpts().CPlusPlus && VD->getType()->isRecordType() &&
473             !VD->getType()->isReferenceType()) {
484           QualType Ty = InitEx->getType();
541     X = svalBuilder.makeIntVal(constant, B->getType());
562           X = getSValBuilder().evalCast(RHSVal, B->getType(), RHS->getType());
565           X = getSValBuilder().makeIntVal(1, B->getType());
570         X = getSValBuilder().makeIntVal(0, B->getType());
584   QualType T = getContext().getCanonicalType(IE->getType());
693     assert(IV.getBitWidth() == getContext().getTypeSize(OOE->getType()));
694     assert(OOE->getType()->isBuiltinType());
695     assert(OOE->getType()->getAs<BuiltinType>()->isInteger());
696     assert(IV.isSigned() == OOE->getType()->isSignedIntegerType());
736                                                      Ex->getType()));
764       if (Ex->getType()->isAnyComplexType()) {
770       assert (U->getType() == Ex->getType());
781       if (Ex->getType()->isAnyComplexType()) {
788       SVal X = svalBuilder.makeZeroVal(Ex->getType());
849             Result = evalBinOp(state, BO_EQ, *LV, X, U->getType());
851           else if (Ex->getType()->isFloatingType()) {
855             nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
857                                U->getType());
910     if (U->getType()->isAnyPointerType())
912     else if (U->getType()->isIntegralOrEnumerationType())
913       RHS = svalBuilder.makeIntVal(1, U->getType());
917     SVal Result = evalBinOp(state, Op, V2, RHS, U->getType());
928       if (Loc::isLocType(U->getType())) {
930         svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
936                                        svalBuilder.makeZeroVal(U->getType()));