Lines Matching refs:Cast
42 void checkPreStmt(const ImplicitCastExpr *Cast, CheckerContext &C) const;
47 bool isLossOfPrecision(const ImplicitCastExpr *Cast, QualType DestType,
50 bool isLossOfSign(const ImplicitCastExpr *Cast, CheckerContext &C) const;
56 void ConversionChecker::checkPreStmt(const ImplicitCastExpr *Cast,
60 if (!isa<DeclRefExpr>(Cast->IgnoreParenImpCasts()))
64 if (Cast->getExprLoc().isMacroID())
69 const Stmt *Parent = PM.getParent(Cast);
80 LossOfSign = isLossOfSign(Cast, C);
81 LossOfPrecision = isLossOfPrecision(Cast, Cast->getType(), C);
84 LossOfPrecision = isLossOfPrecision(Cast, B->getLHS()->getType(), C);
86 LossOfSign = isLossOfSign(Cast, C);
87 LossOfPrecision = isLossOfPrecision(Cast, B->getLHS()->getType(), C);
89 LossOfSign = isLossOfSign(Cast, C);
92 LossOfSign = isLossOfSign(Cast, C);
95 LossOfSign = isLossOfSign(Cast, C);
96 LossOfPrecision = isLossOfPrecision(Cast, B->getLHS()->getType(), C);
98 LossOfSign = isLossOfSign(Cast, C);
101 LossOfSign = isLossOfSign(Cast, C);
102 LossOfPrecision = isLossOfPrecision(Cast, Cast->getType(), C);
128 bool ConversionChecker::isLossOfPrecision(const ImplicitCastExpr *Cast,
132 if (Cast->isEvaluatable(C.getASTContext()))
135 QualType SubType = Cast->IgnoreParenImpCasts()->getType();
180 return C.isGreaterOrEqual(Cast->getSubExpr(), MaxVal);
184 bool ConversionChecker::isLossOfSign(const ImplicitCastExpr *Cast,
186 QualType CastType = Cast->getType();
187 QualType SubType = Cast->IgnoreParenImpCasts()->getType();
192 return C.isNegative(Cast->getSubExpr());