Home
last modified time | relevance | path

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

1234567

/freebsd-14.2/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 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
80 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
224 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
H A DSimpleSValBuilder.cpp282 (SymInt->getRHS()) : in decomposeSymbol()
283 (-SymInt->getRHS())); in decomposeSymbol()
656 symIntExpr->getRHS(), resultTy); in evalBinOpNN()
675 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS()); in evalBinOpNN()
1344 RHS = SVB.makeIntLocVal(S->getRHS()); in simplifySValOnce()
1346 RHS = SVB.makeIntVal(S->getRHS()); in simplifySValOnce()
1358 SVal RHS = getConstOrVisit(S->getRHS()); in simplifySValOnce()
1359 if (isUnchanged(S->getRHS(), RHS)) in simplifySValOnce()
1377 Loc::isLocType(S->getRHS()->getType())) in simplifySValOnce()
1381 SVal RHS = getConstOrVisit(S->getRHS()); in simplifySValOnce()
[all …]
H A DSymbolManager.cpp154 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()
159 itr.push_back(x->getRHS()); in expand()
490 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
494 isLive(cast<SymSymExpr>(sym)->getRHS()); in isLive()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp45 return BE->getRHS(); in getDenomExpr()
79 if (!B->getRHS()->getType()->isScalarType()) in checkPreStmt()
82 SVal Denom = C.getSVal(B->getRHS()); in checkPreStmt()
H A DFixedAddressChecker.cpp46 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
57 R->addRange(B->getRHS()->getSourceRange()); in checkPreStmt()
H A DTestAfterDivZeroChecker.cpp109 E = BO->getRHS(); in REGISTER_SET_WITH_PROGRAMSTATE()
201 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
212 const IntegerLiteral *IntLiteral = dyn_cast<IntegerLiteral>(B->getRHS()); in checkBranchCondition()
222 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
H A DMallocOverflowSecurityChecker.cpp92 const Expr *rhs = binop->getRHS(); in CheckMallocArgument()
184 const Expr *rhs = AssignEx->getRHS(); in CheckAssignmentExpr()
194 const Expr *denom = BOp->getRHS()->IgnoreParenImpCasts(); in CheckAssignmentExpr()
232 const Expr * rhs = E->getRHS(); in VisitBinaryOperator()
H A DUndefResultChecker.cpp86 else if (C.getSVal(B->getRHS()).isUndef()) { in checkPostStmt()
87 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
H A DDeadStoresChecker.cpp112 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
296 const Expr *RHS = B->getRHS()->IgnoreParenCasts(); in isIncrement()
308 if ((DR = dyn_cast<DeclRefExpr>(BRHS->getRHS()->IgnoreParenCasts()))) in isIncrement()
334 LookThroughTransitiveAssignmentsAndCommaOperators(B->getRHS()); in observeStmt()
355 CheckVarDecl(VD, DR, B->getRHS(), dsk, Live); in observeStmt()
H A DIdenticalExprChecker.cpp82 const Expr *RHS = B->getRHS(); in checkBitwiseOrLogicalOp()
91 if (isIdenticalStmt(AC->getASTContext(), RHS, B2->getRHS())) { in checkBitwiseOrLogicalOp()
93 Sr[1] = B2->getRHS()->getSourceRange(); in checkBitwiseOrLogicalOp()
223 const Expr *RHS = B->getRHS()->IgnoreParenImpCasts(); in checkComparisonOp()
253 if (isIdenticalStmt(AC->getASTContext(), B->getLHS(), B->getRHS())) { in checkComparisonOp()
H A DBitwiseShiftChecker.cpp74 return Side == OperandSide::Left ? Op->getLHS() : Op->getRHS(); in operandExpr()
271 const SVal Right = Ctx.getSVal(Op->getRHS()); in checkLeftShiftOverflow()
339 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 DPointerSubChecker.cpp43 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h174 RHS = &SIE->getRHS(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
177 RHS = getSymVal(State, ISE->getRHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
181 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
283 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
287 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd-14.2/contrib/llvm-project/clang/lib/ARCMigrate/
H A DTransZeroOutPropsInDealloc.cpp161 isZeroingPropIvar(BOE->getRHS()); in isZeroingPropIvar()
187 return isZero(BOE->getRHS()); in isZeroingPropIvar()
208 return isZero(cast<OpaqueValueExpr>(BO->getRHS())->getSourceExpr()); in isZeroingPropIvar()
/freebsd-14.2/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp49 RHS = BO->getRHS(); in LogicalBinOp()
67 const Expr *getRHS() const { return RHS; } in getRHS() function in __anon8f98cdf70111::LogicalBinOp
70 return recreateBinOp(SemaRef, LHS, const_cast<Expr *>(getRHS())); in recreateBinOp()
102 CheckConstraintExpression(BO.getRHS(), NextToken, in CheckConstraintExpression()
1052 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
1070 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
1081 BO->getRHS()->getType()->isIntegerType()) { in diagnoseWellFormedUnsatisfiedConstraintExpr()
1087 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context, in diagnoseWellFormedUnsatisfiedConstraintExpr()
1310 auto RHS = fromConstraintExpr(S, D, BO.getRHS()); in fromConstraintExpr()
1358 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Sema/
H A DSemaConcept.h106 NormalizedConstraint(C, Other.getRHS())}, in NormalizedConstraint()
135 NormalizedConstraint &getRHS() const { in getRHS() function
/freebsd-14.2/contrib/llvm-project/llvm/lib/MC/
H A DMCExpr.cpp129 if (const MCConstantExpr *RHSC = dyn_cast<MCConstantExpr>(BE.getRHS())) { in print()
160 if (isa<MCConstantExpr>(BE.getRHS()) || isa<MCSymbolRefExpr>(BE.getRHS())) { in print()
161 BE.getRHS()->print(OS, MAI); in print()
164 BE.getRHS()->print(OS, MAI); in print()
948 !ABE->getRHS()->evaluateAsRelocatableImpl(RHSValue, Asm, Layout, Fixup, in evaluateAsRelocatableImpl()
952 if (const MCTargetExpr *R = dyn_cast<MCTargetExpr>(ABE->getRHS())) { in evaluateAsRelocatableImpl()
1078 MCFragment *RHS_F = BE->getRHS()->findAssociatedFragment(); in findAssociatedFragment()
/freebsd-14.2/contrib/llvm-project/clang/lib/CodeGen/
H A DCGExprScalar.cpp3263 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
3625 Expr *indexOperand = expr->getRHS(); in emitPointerArithmetic()
3917 RHSTy = BinOp->getRHS()->getType(); in EmitFixedPointBinOp()
4445 RHS.first = Visit(E->getRHS()); in EmitCompare()
4497 RHS = Visit(E->getRHS()); in VisitBinAssign()
4505 RHS = Visit(E->getRHS()); in VisitBinAssign()
4542 Value *RHS = Visit(E->getRHS()); in VisitBinLAnd()
4601 if (!CGF.ContainsLabel(E->getRHS())) in VisitBinLAnd()
4682 Value *RHS = Visit(E->getRHS()); in VisitBinLOr()
4741 if (!CGF.ContainsLabel(E->getRHS())) in VisitBinLOr()
[all …]
H A DCGExprComplex.cpp1139 Ops.RHS = EmitPromotedComplexOperand(E->getRHS(), PromotionType); in EmitBinOps()
1173 QualType PromotionTypeRHS = getPromotionType(E->getRHS()->getType()); in EmitCompoundAssignLValue()
1176 if (E->getRHS()->getType()->isRealFloatingType()) { in EmitCompoundAssignLValue()
1179 CGF.EmitPromotedScalarExpr(E->getRHS(), PromotionTypeRHS), nullptr); in EmitCompoundAssignLValue()
1182 E->getRHS()->getType())); in EmitCompoundAssignLValue()
1184 OpInfo.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); in EmitCompoundAssignLValue()
1189 CGF.EmitPromotedComplexExpr(E->getRHS(), PromotionTypeRHS)); in EmitCompoundAssignLValue()
1193 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
1273 E->getRHS()->getType()) && in EmitBinAssignLValue()
1279 Val = Visit(E->getRHS()); in EmitBinAssignLValue()
[all …]
/freebsd-14.2/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()
849 for (const auto *C : {E->getLHS(), E->getRHS()}) { in computeDependence()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/XCore/MCTargetDesc/
H A DXCoreInstPrinter.cpp58 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(BE->getRHS()); in printExpr()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/CSKY/MCTargetDesc/
H A DCSKYMCExpr.cpp81 fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm); in fixELFSymbolsInTLSFixupsImpl()
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DScalarEvolutionExpressions.h317 const SCEV *getRHS() const { return Operands[1]; } in getRHS() function
321 return i == 0 ? getLHS() : getRHS(); in getOperand()
332 return getRHS()->getType(); in getType()
823 auto *RHS = ((SC *)this)->visit(Expr->getRHS()); in visitUDivExpr()
824 bool Changed = LHS != Expr->getLHS() || RHS != Expr->getRHS(); in visitUDivExpr()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h137 << S->getRHS(); in VisitSymIntExpr()
147 " (" + Visit(S->getRHS()) + ")"; in VisitSymSymExpr()

1234567