Home
last modified time | relevance | path

Searched refs:getRHS (Results 1 – 25 of 169) sorted by relevance

1234567

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DFixedAddressChecker.cpp49 if (B->getRHS()->IgnoreParenCasts()->getType()->isPointerType()) in checkPreStmt()
52 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
57 if (C.getSourceManager().isInSystemMacro(B->getRHS()->getBeginLoc())) in checkPreStmt()
66 R->addRange(B->getRHS()->getSourceRange()); in checkPreStmt()
H A DDivZeroChecker.cpp51 return BE->getRHS(); in getDenomExpr()
91 if (!B->getRHS()->getType()->isScalarType()) in checkPreStmt()
94 SVal Denom = C.getSVal(B->getRHS()); in checkPreStmt()
H A DTestAfterDivZeroChecker.cpp106 E = BO->getRHS(); in REGISTER_SET_WITH_PROGRAMSTATE()
198 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
209 const IntegerLiteral *IntLiteral = dyn_cast<IntegerLiteral>(B->getRHS()); in checkBranchCondition()
219 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
H A DPointerSubChecker.cpp47 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
64 !B->getRHS()->getType()->isPointerType()) in checkPreStmt()
H A DDeadStoresChecker.cpp111 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
295 const Expr *RHS = B->getRHS()->IgnoreParenCasts(); in isIncrement()
307 if ((DR = dyn_cast<DeclRefExpr>(BRHS->getRHS()->IgnoreParenCasts()))) in isIncrement()
333 LookThroughTransitiveAssignmentsAndCommaOperators(B->getRHS()); in observeStmt()
354 CheckVarDecl(VD, DR, B->getRHS(), dsk, Live); in observeStmt()
H A DUndefResultChecker.cpp85 else if (C.getSVal(B->getRHS()).isUndef()) { in checkPostStmt()
86 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
H A DBitwiseShiftChecker.cpp72 return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS(); in operandExpr()
270 const SVal Right = Ctx.getSVal(Op->getRHS()); in checkLeftShiftOverflow()
338 bugreporter::trackExpressionValue(ErrNode, Op->getRHS(), *BR); in createBugReport()
H A DCStringSyntaxChecker.cpp134 const Expr *R = BE->getRHS(); in containsBadStrncatPattern()
192 if ((IL = dyn_cast<IntegerLiteral>(BE->getRHS()->IgnoreParenImpCasts()))) { in containsBadStrlcpyStrlcatPattern()
H A DUndefinedAssignmentChecker.cpp76 ex = B->getRHS(); in checkBind()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp41 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
55 Loc::isLocType(SSE->getRHS()->getType())) { in assumeSym()
66 SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
80 SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
224 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
H A DSymbolManager.cpp193 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()
198 itr.push_back(x->getRHS()); in expand()
367 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
371 isLive(cast<SymSymExpr>(sym)->getRHS()); in isLive()
H A DSimpleSValBuilder.cpp283 ? BV.getValue(SymInt->getRHS()) in decomposeSymbol()
284 : BV.getValue(-SymInt->getRHS())); in decomposeSymbol()
658 symIntExpr->getRHS(), resultTy); in evalBinOpNN()
677 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS()); in evalBinOpNN()
1347 RHS = SVB.makeIntLocVal(S->getRHS()); in simplifySValOnce()
1349 RHS = SVB.makeIntVal(S->getRHS()); in simplifySValOnce()
1361 SVal RHS = getConstOrVisit(S->getRHS()); in simplifySValOnce()
1362 if (isUnchanged(S->getRHS(), RHS)) in simplifySValOnce()
1380 Loc::isLocType(S->getRHS()->getType())) in simplifySValOnce()
1384 SVal RHS = getConstOrVisit(S->getRHS()); in simplifySValOnce()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h178 RHS = SIE->getRHS().get(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
181 RHS = getSymVal(State, ISE->getRHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
185 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
294 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
298 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/llvm/lib/Target/SystemZ/MCTargetDesc/
H A DSystemZHLASMAsmStreamer.cpp223 emitHLASMValueImpl(BE.getRHS(), Size, true); in emitHLASMValueImpl()
233 Const = cast<MCConstantExpr>(BE.getRHS())->getValue(); in emitHLASMValueImpl()
255 emitHLASMValueImpl(BE.getRHS(), Size); in emitHLASMValueImpl()
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp47 RHS = BO->getRHS(); in LogicalBinOp()
65 const Expr *getRHS() const { return RHS; } in getRHS() function in __anon0c0fec810111::LogicalBinOp
69 return recreateBinOp(SemaRef, LHS, const_cast<Expr *>(getRHS())); in recreateBinOp()
101 CheckConstraintExpression(BO.getRHS(), NextToken, in CheckConstraintExpression()
473 S, BO.getLHS(), BO.getOp(), BO.getRHS(), Template, TemplateNameLoc, in calculateConstraintSatisfaction()
1275 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
1283 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), First); in diagnoseWellFormedUnsatisfiedConstraintExpr()
1291 BO->getRHS()->EvaluateKnownConstInt(S.Context).getBoolValue(); in diagnoseWellFormedUnsatisfiedConstraintExpr()
1293 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
1304 BO->getRHS()->getType()->isIntegerType()) { in diagnoseWellFormedUnsatisfiedConstraintExpr()
[all …]
/freebsd/contrib/llvm-project/clang/lib/CodeGen/
H A DCGExprScalar.cpp147 QualType RHSType = BinOp->getRHS()->getType(); in isFixedPointOp()
158 QualType RHSType = BinOp->getRHS()->getType(); in rhsHasSignedIntegerRepresentation()
236 auto OptionalRHSTy = getUnwidenedIntegerType(Ctx, BO->getRHS()); in CanElideOverflowCheck()
802 BO->getRHS()->getType().getCanonicalType()); in EmitMul()
1835 CGF.EmitCheckTypeDescriptor(BO->getRHS()->getType())); in EmitBinOpCheck()
3775 Result.RHS = CGF.EmitPromotedScalarExpr(E->getRHS(), PromotionType); in EmitBinOps()
3804 QualType PromotionTypeRHS = getPromotionType(E->getRHS()->getType()); in EmitCompoundAssignLValue()
3806 OpInfo.RHS = CGF.EmitPromotedScalarExpr(E->getRHS(), PromotionTypeRHS); in EmitCompoundAssignLValue()
3808 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
3858 EmitScalarConversion(OpInfo.RHS, E->getRHS()->getType(), LHSTy, in EmitCompoundAssignLValue()
[all …]
H A DCGExprComplex.cpp348 E->getRHS()->getType()->isAnyComplexType())); \
1206 Ops.RHS = EmitPromotedComplexOperand(E->getRHS(), PromotionType); in EmitBinOps()
1231 E->getRHS()->getType()->isAnyComplexType(); in EmitCompoundAssignLValue()
1247 E->getRHS()->getType(), IsComplexDivisor); in EmitCompoundAssignLValue()
1250 if (E->getRHS()->getType()->isRealFloatingType()) { in EmitCompoundAssignLValue()
1253 CGF.EmitPromotedScalarExpr(E->getRHS(), PromotionTypeRHS), nullptr); in EmitCompoundAssignLValue()
1256 E->getRHS()->getType())); in EmitCompoundAssignLValue()
1258 OpInfo.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); in EmitCompoundAssignLValue()
1263 CGF.EmitPromotedComplexExpr(E->getRHS(), PromotionTypeRHS)); in EmitCompoundAssignLValue()
1266 E->getRHS()->getType())); in EmitCompoundAssignLValue()
[all …]
/freebsd/contrib/llvm-project/llvm/lib/MC/
H A DMCExpr.cpp138 if (const MCConstantExpr *RHSC = dyn_cast<MCConstantExpr>(BE.getRHS())) { in print()
170 BE.getRHS()->print(OS, MAI, SubPrec + 1); in print()
583 !ABE->getRHS()->evaluateAsRelocatableImpl(RHSValue, Asm, InSet)) { in evaluateAsRelocatableImpl()
586 if (const MCTargetExpr *R = dyn_cast<MCTargetExpr>(ABE->getRHS())) { in evaluateAsRelocatableImpl()
729 MCFragment *RHS_F = BE->getRHS()->findAssociatedFragment(); in findAssociatedFragment()
/freebsd/contrib/llvm-project/clang/lib/CIR/CodeGen/
H A DCIRGenExprComplex.cpp124 e->getRHS()->getType()) && in emitBinAssignLValue()
128 value = Visit(e->getRHS()); in emitBinAssignLValue()
227 return Visit(e->getRHS()); in VisitBinComma()
384 binOpInfo.rhs = emitPromotedComplexOperand(e->getRHS(), promotionTy); in emitBinOps()
H A DCIRGenExprScalar.cpp69 QualType rhstype = binOp->getRHS()->getType(); in isFixedPointOp()
763 result.rhs = cgf.emitPromotedScalarExpr(e->getRHS(), promotionType); in emitBinOps()
847 QualType rhsTy = e->getRHS()->getType(); in HANDLEBINOP()
874 mlir::Value rhs = cgf.emitScalarExpr(e->getRHS()); in HANDLEBINOP()
947 rhs = Visit(e->getRHS()); in VISITCOMP()
987 return Visit(e->getRHS()); in VisitBinComma()
1009 b.create<cir::YieldOp>(loc, cgf.evaluateExprAsBool(e->getRHS())); in VisitBinLAnd()
1049 b.create<cir::YieldOp>(loc, cgf.evaluateExprAsBool(e->getRHS())); in VisitBinLOr()
1076 QualType promotionTypeRHS = getPromotionType(e->getRHS()->getType()); in emitCompoundAssignLValue()
1079 opInfo.rhs = cgf.emitPromotedScalarExpr(e->getRHS(), promotionTypeRHS); in emitCompoundAssignLValue()
[all …]
/freebsd/contrib/llvm-project/clang/lib/AST/
H A DComputeDependence.cpp115 return E->getLHS()->getDependence() | E->getRHS()->getDependence(); in computeDependence()
161 return E->getLHS()->getDependence() | E->getRHS()->getDependence(); in computeDependence()
170 E->getRHS()->getDependence(); in computeDependence()
206 E->getRHS()->getDependence(); in computeDependence()
210 auto Inactive = E->getRHS()->getDependence(); in computeDependence()
889 for (const auto *C : {E->getLHS(), E->getRHS()}) { in computeDependence()
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DScalarEvolutionExpressions.h318 const SCEV *getRHS() const { return Operands[1]; } in getRHS() function
322 return i == 0 ? getLHS() : getRHS(); in getOperand()
333 return getRHS()->getType(); in getType()
827 auto *RHS = ((SC *)this)->visit(Expr->getRHS()); in visitUDivExpr()
828 bool Changed = LHS != Expr->getLHS() || RHS != Expr->getRHS(); in visitUDivExpr()
/freebsd/contrib/llvm-project/llvm/lib/Target/XCore/MCTargetDesc/
H A DXCoreInstPrinter.cpp58 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(BE->getRHS()); in printExpr()
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DExprMutationAnalyzer.cpp45 Result = BOComma->getRHS(); in canExprResolveTo()
89 InnerMatcher.matches(*Node.getRHS(), Finder, Builder); in AST_MATCHER_P()
129 return (resolveExpr(BO->getLHS()) || resolveExpr(BO->getRHS())); in resolveExpr()
131 return resolveExpr(BO->getRHS()); in resolveExpr()
H A DCFG.cpp121 const Expr *Constant = tryTransformToLiteralConstant(B->getRHS()); in tryNormalizeBinaryOperator()
134 MaybeDecl = B->getRHS(); in tryNormalizeBinaryOperator()
955 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectRelationalOperator()
994 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectEqualityOperator()
1012 const Expr *RHSExpr2 = BitOp->getRHS()->IgnoreParens(); in checkIncorrectEqualityOperator()
1115 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectLogicOperator()
1306 tryTransformToLiteralConstant(B->getRHS()->IgnoreParenImpCasts()); in checkIncorrectBitwiseOrOperator()
1371 if (Bop->getRHS()->EvaluateAsInt(RHSResult, *Context)) { in tryEvaluateBool()
1397 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1405 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
[all …]

1234567