Home | History | Annotate | Download | only in Checkers

Lines Matching defs:RHS

86   static bool isSelfAssign(const Expr *LHS, const Expr *RHS);
89 const Expr *RHS);
132 const Expr *RHS = B->getRHS();
143 RHSContainsFalsePositive = !CanVary(RHS, AC)
144 || containsNonLocalVarDecl(RHS);
150 SVal RHSVal = state->getSVal(RHS, LCtx);
197 if (isSelfAssign(LHS, RHS)) {
198 if (!isUnused(LHS, AC) && !isTruncationExtensionAssignment(LHS, RHS)) {
429 const Expr *RHS = i->first->getRHS();
431 FindLastStoreBRVisitor::registerStatementVarDecls(*report, RHS);
470 bool IdempotentOperationChecker::isSelfAssign(const Expr *LHS, const Expr *RHS) {
472 RHS = RHS->IgnoreParenCasts();
482 const DeclRefExpr *RHS_DR = dyn_cast<DeclRefExpr>(RHS);
516 const Expr *RHS) {
526 const DeclRefExpr *RHS_DR = dyn_cast<DeclRefExpr>(RHS->IgnoreParenCasts());
533 return dyn_cast<DeclRefExpr>(RHS->IgnoreParenLValueCasts()) == NULL;