Home
last modified time | relevance | path

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

123456

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
71 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS())); in isLeftShiftResultUnrepresentable()
106 else if (C.getSVal(B->getRHS()).isUndef()) { in checkPostStmt()
107 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
121 C.isNegative(B->getRHS())) { in checkPostStmt()
126 Ex = B->getRHS(); in checkPostStmt()
135 Ex = B->getRHS(); in checkPostStmt()
139 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); in checkPostStmt()
161 SB.getKnownValue(State, C.getSVal(B->getRHS())); in checkPostStmt()
H A DDivZeroChecker.cpp39 return BE->getRHS(); in getDenomExpr()
66 if (!B->getRHS()->getType()->isScalarType()) in checkPreStmt()
69 SVal Denom = C.getSVal(B->getRHS()); in checkPreStmt()
H A DFixedAddressChecker.cpp46 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
60 R->addRange(B->getRHS()->getSourceRange()); in checkPreStmt()
H A DDeadStoresChecker.cpp111 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
115 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
299 const Expr *RHS = B->getRHS()->IgnoreParenCasts(); in isIncrement()
311 if ((DR = dyn_cast<DeclRefExpr>(BRHS->getRHS()->IgnoreParenCasts()))) in isIncrement()
337 LookThroughTransitiveAssignmentsAndCommaOperators(B->getRHS()); in observeStmt()
359 CheckVarDecl(VD, DR, B->getRHS(), dsk, Live); in observeStmt()
H A DTestAfterDivZeroChecker.cpp108 E = BO->getRHS(); in REGISTER_SET_WITH_PROGRAMSTATE()
205 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
216 const IntegerLiteral *IntLiteral = dyn_cast<IntegerLiteral>(B->getRHS()); in checkBranchCondition()
226 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
H A DMallocOverflowSecurityChecker.cpp90 const Expr *rhs = binop->getRHS(); in CheckMallocArgument()
182 const Expr *rhs = AssignEx->getRHS(); in CheckAssignmentExpr()
192 const Expr *denom = BOp->getRHS()->IgnoreParenImpCasts(); in CheckAssignmentExpr()
230 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 DCStringSyntaxChecker.cpp134 const Expr *R = BE->getRHS(); in containsBadStrncatPattern()
192 if ((IL = dyn_cast<IntegerLiteral>(BE->getRHS()->IgnoreParenImpCasts()))) { in containsBadStrlcpyStrlcatPattern()
H A DPointerSubChecker.cpp42 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp39 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
48 Loc::isLocType(SSE->getRHS()->getType())) { in assumeSym()
59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
73 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
211 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
H A DSimpleSValBuilder.cpp229 (SymInt->getRHS()) : in decomposeSymbol()
230 (-SymInt->getRHS())); in decomposeSymbol()
585 symIntExpr->getRHS(), resultTy); in evalBinOpNN()
604 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS()); in evalBinOpNN()
1181 RHS = SVB.makeIntLocVal(S->getRHS()); in simplifySVal()
1183 RHS = SVB.makeIntVal(S->getRHS()); in simplifySVal()
1200 Loc::isLocType(S->getRHS()->getType())) in simplifySVal()
1204 SVal RHS = Visit(S->getRHS()); in simplifySVal()
1205 if (isUnchanged(S->getLHS(), LHS) && isUnchanged(S->getRHS(), RHS)) in simplifySVal()
H A DSymbolManager.cpp144 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()
149 itr.push_back(x->getRHS()); in expand()
474 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
478 isLive(cast<SymSymExpr>(sym)->getRHS()); in isLive()
/netbsd-src/external/apache2/llvm/dist/clang/lib/Sema/
H A DSemaConcept.cpp42 RHS = BO->getRHS(); in LogicalBinOp()
55 const Expr *getRHS() const { return RHS; } in getRHS() function in __anonefaa2e2c0111::LogicalBinOp
70 CheckConstraintExpression(BO.getRHS(), NextToken, in CheckConstraintExpression()
154 S, BO.getRHS(), Satisfaction, std::forward<AtomicEvaluator>(Evaluator)); in calculateConstraintSatisfaction()
534 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
542 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), First); in diagnoseWellFormedUnsatisfiedConstraintExpr()
550 BO->getRHS()->EvaluateKnownConstInt(S.Context).getBoolValue(); in diagnoseWellFormedUnsatisfiedConstraintExpr()
552 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
563 BO->getRHS()->getType()->isIntegerType()) { in diagnoseWellFormedUnsatisfiedConstraintExpr()
569 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context, in diagnoseWellFormedUnsatisfiedConstraintExpr()
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h173 RHS = &SIE->getRHS(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
176 RHS = getSymVal(State, ISE->getRHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
180 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
282 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/netbsd-src/external/apache2/llvm/dist/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()
/netbsd-src/external/apache2/llvm/dist/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()
902 !ABE->getRHS()->evaluateAsRelocatableImpl(RHSValue, Asm, Layout, Fixup, in evaluateAsRelocatableImpl()
906 if (const MCTargetExpr *R = cast<MCTargetExpr>(ABE->getRHS())) { in evaluateAsRelocatableImpl()
1025 MCFragment *RHS_F = BE->getRHS()->findAssociatedFragment(); in findAssociatedFragment()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/Sema/
H A DSemaConcept.h107 NormalizedConstraint(C, Other.getRHS())}, in NormalizedConstraint()
136 NormalizedConstraint &getRHS() const { in getRHS() function
/netbsd-src/external/apache2/llvm/dist/clang/lib/CodeGen/
H A DCGExprComplex.cpp888 if (E->getRHS()->getType()->isRealFloatingType()) in EmitBinOps()
889 Ops.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); in EmitBinOps()
891 Ops.RHS = Visit(E->getRHS()); in EmitBinOps()
918 if (E->getRHS()->getType()->isRealFloatingType()) { in EmitCompoundAssignLValue()
921 .hasSameUnqualifiedType(ComplexElementTy, E->getRHS()->getType())); in EmitCompoundAssignLValue()
922 OpInfo.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); in EmitCompoundAssignLValue()
925 .hasSameUnqualifiedType(OpInfo.Ty, E->getRHS()->getType())); in EmitCompoundAssignLValue()
926 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
989 E->getRHS()->getType()) && in EmitBinAssignLValue()
995 Val = Visit(E->getRHS()); in EmitBinAssignLValue()
[all …]
H A DCGExprScalar.cpp142 QualType RHSType = BinOp->getRHS()->getType(); in isFixedPointOp()
199 auto OptionalRHSTy = getUnwidenedIntegerType(Ctx, BO->getRHS()); in CanElideOverflowCheck()
734 BO->getRHS()->getType().getCanonicalType()); in EmitMul()
1551 CGF.EmitCheckTypeDescriptor(BO->getRHS()->getType())); in EmitBinOpCheck()
2984 Result.RHS = Visit(E->getRHS()); in EmitBinOps()
3004 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
3054 EmitScalarConversion(OpInfo.RHS, E->getRHS()->getType(), LHSTy, in EmitCompoundAssignLValue()
3204 assert(BO->getRHS()->getType().getCanonicalType()->isArithmeticType() && in EmitDiv()
3376 Expr *indexOperand = expr->getRHS(); in emitPointerArithmetic()
3410 expr->getRHS())) in emitPointerArithmetic()
[all …]
H A DCodeGenPGO.cpp216 CodeGenFunction::isInstrumentedCondition(S->getRHS())) in VisitBinaryOperator()
217 CounterMap[S->getRHS()] = NextCounter++; in VisitBinaryOperator()
721 CountMap[E->getRHS()] = RHSCount; in VisitBinLAnd()
722 Visit(E->getRHS()); in VisitBinLAnd()
733 CountMap[E->getRHS()] = RHSCount; in VisitBinLOr()
734 Visit(E->getRHS()); in VisitBinLOr()
H A DCGExprAgg.cpp936 Visit(E->getRHS()); in VisitBinComma()
1005 E->getRHS()->getType())); in VisitBinCmp()
1031 RHSValues = EmitOperand(E->getRHS()); in VisitBinCmp()
1116 return isBlockVarRef(op->getRHS()); in isBlockVarRef()
1163 E->getRHS()->getType()) in VisitBinAssign()
1171 E->getRHS()->HasSideEffects(CGF.getContext())) { in VisitBinAssign()
1173 EnsureDest(E->getRHS()->getType()); in VisitBinAssign()
1174 Visit(E->getRHS()); in VisitBinAssign()
1201 EnsureDest(E->getRHS()->getType()); in VisitBinAssign()
1202 Visit(E->getRHS()); in VisitBinAssign()
[all …]
H A DCoverageMappingGen.cpp1355 if (const Expr *RHS = CS->getRHS()) in VisitSwitchCase()
1465 extendRegion(E->getRHS()); in VisitBinLAnd()
1466 propagateCounts(getRegionCounter(E), E->getRHS()); in VisitBinLAnd()
1472 Counter RHSTrueCnt = getRegionCounter(E->getRHS()); in VisitBinLAnd()
1482 createBranchRegion(E->getRHS(), RHSTrueCnt, in VisitBinLAnd()
1492 extendRegion(E->getRHS()); in VisitBinLOr()
1493 propagateCounts(getRegionCounter(E), E->getRHS()); in VisitBinLOr()
1499 Counter RHSFalseCnt = getRegionCounter(E->getRHS()); in VisitBinLOr()
1509 createBranchRegion(E->getRHS(), subtractCounters(RHSExecCnt, RHSFalseCnt), in VisitBinLOr()
/netbsd-src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
H A DScalarEvolutionExpressions.h316 const SCEV *getRHS() const { return Operands[1]; } in getRHS() function
320 return i == 0 ? getLHS() : getRHS(); in getOperand()
335 return getRHS()->getType(); in getType()
659 push(UDiv->getRHS()); in visitAll()
783 auto *RHS = ((SC *)this)->visit(Expr->getRHS()); in visitUDivExpr()
784 bool Changed = LHS != Expr->getLHS() || RHS != Expr->getRHS(); in visitUDivExpr()
/netbsd-src/external/apache2/llvm/dist/clang/lib/AST/
H A DComputeDependence.cpp113 return E->getLHS()->getDependence() | E->getRHS()->getDependence(); in computeDependence()
144 return E->getLHS()->getDependence() | E->getRHS()->getDependence(); in computeDependence()
153 E->getRHS()->getDependence(); in computeDependence()
188 E->getRHS()->getDependence(); in computeDependence()
192 auto Inactive = E->getRHS()->getDependence(); in computeDependence()
782 for (const auto *C : {E->getLHS(), E->getRHS()}) { in computeDependence()
/netbsd-src/external/apache2/llvm/dist/clang/lib/Analysis/
H A DCFG.cpp118 const Expr *Constant = tryTransformToIntOrEnumConstant(B->getRHS()); in tryNormalizeBinaryOperator()
131 MaybeDecl = B->getRHS(); in tryNormalizeBinaryOperator()
922 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectRelationalOperator()
961 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectEqualityOperator()
978 const Expr *RHSExpr2 = BitOp->getRHS()->IgnoreParens(); in checkIncorrectEqualityOperator()
1039 dyn_cast<BinaryOperator>(B->getRHS()->IgnoreParens()); in checkIncorrectLogicOperator()
1146 tryTransformToIntOrEnumConstant(B->getRHS()->IgnoreParenImpCasts()); in checkIncorrectBitwiseOrOperator()
1211 if (Bop->getRHS()->EvaluateAsInt(RHSResult, *Context)) { in tryEvaluateBool()
1237 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
1245 TryResult RHS = tryEvaluateBool(Bop->getRHS()); in evaluateAsBooleanConditionNoCache()
[all …]

123456