Home
last modified time | relevance | path

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

1234567

/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 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 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/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h177 RHS = &SIE->getRHS(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
180 RHS = getSymVal(State, ISE->getRHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
184 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
290 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
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 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 DPointerSubChecker.cpp113 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
133 if (!checkArrayBounds(C, B->getRHS(), ElemRR, LR)) in checkPreStmt()
H A DCStringSyntaxChecker.cpp134 const Expr *R = BE->getRHS(); in containsBadStrncatPattern()
192 if ((IL = dyn_cast<IntegerLiteral>(BE->getRHS()->IgnoreParenImpCasts()))) { in containsBadStrlcpyStrlcatPattern()
H A DIteratorRangeChecker.cpp170 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
171 if (!BO->getRHS()->getType()->isIntegralOrEnumerationType()) in checkPreStmt()
/freebsd/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/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 __anon0c0fec810111::LogicalBinOp
71 return recreateBinOp(SemaRef, LHS, const_cast<Expr *>(getRHS())); in recreateBinOp()
103 CheckConstraintExpression(BO.getRHS(), NextToken, in CheckConstraintExpression()
333 S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator); in calculateConstraintSatisfaction()
1262 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
1270 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), First); in diagnoseWellFormedUnsatisfiedConstraintExpr()
1278 BO->getRHS()->EvaluateKnownConstInt(S.Context).getBoolValue(); in diagnoseWellFormedUnsatisfiedConstraintExpr()
1280 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
1291 BO->getRHS()->getType()->isIntegerType()) { in diagnoseWellFormedUnsatisfiedConstraintExpr()
[all …]
/freebsd/contrib/llvm-project/llvm/lib/MC/
H A DMCExpr.cpp128 if (const MCConstantExpr *RHSC = dyn_cast<MCConstantExpr>(BE.getRHS())) { in print()
159 if (isa<MCConstantExpr>(BE.getRHS()) || isa<MCSymbolRefExpr>(BE.getRHS())) { in print()
160 BE.getRHS()->print(OS, MAI); in print()
163 BE.getRHS()->print(OS, MAI); in print()
921 !ABE->getRHS()->evaluateAsRelocatableImpl(RHSValue, Asm, Fixup, Addrs, in evaluateAsRelocatableImpl()
925 if (const MCTargetExpr *R = dyn_cast<MCTargetExpr>(ABE->getRHS())) { in evaluateAsRelocatableImpl()
1051 MCFragment *RHS_F = BE->getRHS()->findAssociatedFragment(); in findAssociatedFragment()
/freebsd/contrib/llvm-project/clang/lib/CodeGen/
H A DCGExprScalar.cpp143 QualType RHSType = BinOp->getRHS()->getType(); in isFixedPointOp()
154 QualType RHSType = BinOp->getRHS()->getType(); in rhsHasSignedIntegerRepresentation()
209 auto OptionalRHSTy = getUnwidenedIntegerType(Ctx, BO->getRHS()); in CanElideOverflowCheck()
765 BO->getRHS()->getType().getCanonicalType()); in EmitMul()
1755 CGF.EmitCheckTypeDescriptor(BO->getRHS()->getType())); in EmitBinOpCheck()
3504 Result.RHS = CGF.EmitPromotedScalarExpr(E->getRHS(), PromotionType); in EmitBinOps()
3533 QualType PromotionTypeRHS = getPromotionType(E->getRHS()->getType()); in EmitCompoundAssignLValue()
3535 OpInfo.RHS = CGF.EmitPromotedScalarExpr(E->getRHS(), PromotionTypeRHS); in EmitCompoundAssignLValue()
3537 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
3587 EmitScalarConversion(OpInfo.RHS, E->getRHS()->getType(), LHSTy, in EmitCompoundAssignLValue()
[all …]
H A DCGExprComplex.cpp1206 Ops.RHS = EmitPromotedComplexOperand(E->getRHS(), PromotionType); in EmitBinOps()
1242 E->getStoredFPFeaturesOrDefault(), E->getRHS()->getType()); in EmitCompoundAssignLValue()
1245 if (E->getRHS()->getType()->isRealFloatingType()) { in EmitCompoundAssignLValue()
1248 CGF.EmitPromotedScalarExpr(E->getRHS(), PromotionTypeRHS), nullptr); in EmitCompoundAssignLValue()
1251 E->getRHS()->getType())); in EmitCompoundAssignLValue()
1253 OpInfo.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); in EmitCompoundAssignLValue()
1258 CGF.EmitPromotedComplexExpr(E->getRHS(), PromotionTypeRHS)); in EmitCompoundAssignLValue()
1261 E->getRHS()->getType())); in EmitCompoundAssignLValue()
1262 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
1343 E->getRHS()->getType()) && in EmitBinAssignLValue()
[all …]
H A DCGExprAgg.cpp978 Visit(E->getRHS()); in VisitBinComma()
1047 E->getRHS()->getType())); in VisitBinCmp()
1073 RHSValues = EmitOperand(E->getRHS()); in VisitBinCmp()
1158 return isBlockVarRef(op->getRHS()); in isBlockVarRef()
1205 E->getRHS()->getType()) in VisitBinAssign()
1213 E->getRHS()->HasSideEffects(CGF.getContext())) { in VisitBinAssign()
1215 EnsureDest(E->getRHS()->getType()); in VisitBinAssign()
1216 Visit(E->getRHS()); in VisitBinAssign()
1243 EnsureDest(E->getRHS()->getType()); in VisitBinAssign()
1244 Visit(E->getRHS()); in VisitBinAssign()
[all …]
H A DCodeGenPGO.cpp336 if (CodeGenFunction::isInstrumentedCondition(S->getRHS())) { in VisitBinaryOperator()
338 CounterMap[S->getRHS()] = NextCounter++; in VisitBinaryOperator()
946 CountMap[E->getRHS()] = RHSCount; in VisitBinLAnd()
947 Visit(E->getRHS()); in VisitBinLAnd()
958 CountMap[E->getRHS()] = RHSCount; in VisitBinLOr()
959 Visit(E->getRHS()); in VisitBinLOr()
H A DCoverageMappingGen.cpp838 setCondID(E->getRHS(), RHSid); in pushAndAssignIDs()
1913 if (const Expr *RHS = CS->getRHS()) in VisitSwitchCase()
2233 extendRegion(E->getRHS()); in VisitBinLAnd()
2234 propagateCounts(getRegionCounter(E), E->getRHS()); in VisitBinLAnd()
2243 Counter RHSTrueCnt = getRegionCounter(E->getRHS()); in VisitBinLAnd()
2255 createBranchRegion(E->getRHS(), RHSTrueCnt, in VisitBinLAnd()
2294 extendRegion(E->getRHS()); in VisitBinLOr()
2295 propagateCounts(getRegionCounter(E), E->getRHS()); in VisitBinLOr()
2304 Counter RHSFalseCnt = getRegionCounter(E->getRHS()); in VisitBinLOr()
2320 createBranchRegion(E->getRHS(), subtractCounters(RHSExecCnt, RHSFalseCnt), in VisitBinLOr()
/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()
888 for (const auto *C : {E->getLHS(), E->getRHS()}) { in computeDependence()
H A DExpr.cpp51 E = BO->getRHS(); in getBestDynamicClassTypeExpr()
117 assert(BO->getRHS()->isPRValue()); in skipRValueSubobjectAdjustments()
119 const auto *MPT = BO->getRHS()->getType()->getAs<MemberPointerType>(); in skipRValueSubobjectAdjustments()
120 Adjustments.push_back(SubobjectAdjustment(MPT, BO->getRHS())); in skipRValueSubobjectAdjustments()
125 E = BO->getRHS(); in skipRValueSubobjectAdjustments()
179 BO->getRHS()->isKnownToHaveBooleanValue(Semantic); in isKnownToHaveBooleanValue()
183 return BO->getRHS()->isKnownToHaveBooleanValue(Semantic); in isKnownToHaveBooleanValue()
1555 CEE = BO->getRHS()->IgnoreParenImpCasts(); in getReferencedDeclOfCallee()
2569 return BO->getRHS()->isReadIfDiscardedInCPlusPlus11(); in isReadIfDiscardedInCPlusPlus11()
2674 dyn_cast<IntegerLiteral>(BO->getRHS()->IgnoreParens())) in isUnusedResultAWarning()
[all …]
/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/llvm/include/llvm/Analysis/
H A DScalarEvolutionExpressions.h317 const SCEV *getRHS() const { return Operands[1]; } in getLHS()
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()
318 const SCEV *getRHS() const { return Operands[1]; } getRHS() function
/freebsd/contrib/llvm-project/llvm/lib/Target/CSKY/MCTargetDesc/
H A DCSKYMCExpr.cpp81 fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm); in fixELFSymbolsInTLSFixupsImpl()
/freebsd/contrib/llvm-project/llvm/lib/Target/Hexagon/MCTargetDesc/
H A DHexagonMCExpr.cpp52 fixELFSymbolsInTLSFixupsImpl(be->getRHS(), Asm); in fixELFSymbolsInTLSFixupsImpl()
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DCFG.cpp122 const Expr *Constant = tryTransformToIntOrEnumConstant(B->getRHS()); in tryNormalizeBinaryOperator()
135 MaybeDecl = B->getRHS(); in tryNormalizeBinaryOperator()
927 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectRelationalOperator()
966 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectEqualityOperator()
984 const Expr *RHSExpr2 = BitOp->getRHS()->IgnoreParens(); in checkIncorrectEqualityOperator()
1087 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectLogicOperator()
1218 tryTransformToIntOrEnumConstant(B->getRHS()->IgnoreParenImpCasts()); in checkIncorrectBitwiseOrOperator()
1283 if (Bop->getRHS()->EvaluateAsInt(RHSResult, *Context)) { in tryEvaluateBool()
1309 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1317 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
[all …]
H A DReachableCode.cpp248 isConfigurationValue(B->getRHS(), PP, SilenceableCondVal, in isConfigurationValue()
616 R2 = CAO->getRHS()->getSourceRange(); in GetUnreachableLoc()
633 R2 = ASE->getRHS()->getSourceRange(); in GetUnreachableLoc()
/freebsd/contrib/llvm-project/llvm/lib/Target/AArch64/MCTargetDesc/
H A DAArch64MCExpr.cpp126 fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm); in fixELFSymbolsInTLSFixupsImpl()

1234567