Home
last modified time | relevance | path

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

123456

/freebsd-13.1/contrib/llvm-project/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()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp41 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
50 Loc::isLocType(SSE->getRHS()->getType())) { in assumeSym()
61 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
75 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
218 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()
/freebsd-13.1/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp44 RHS = BO->getRHS(); in LogicalBinOp()
60 const Expr *getRHS() const { return RHS; } in getRHS() function in __anon29d1acb50111::LogicalBinOp
75 CheckConstraintExpression(BO.getRHS(), NextToken, in CheckConstraintExpression()
539 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
555 BO->getRHS()->EvaluateKnownConstInt(S.Context).getBoolValue(); in diagnoseWellFormedUnsatisfiedConstraintExpr()
557 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
568 BO->getRHS()->getType()->isIntegerType()) { in diagnoseWellFormedUnsatisfiedConstraintExpr()
574 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context, in diagnoseWellFormedUnsatisfiedConstraintExpr()
771 auto RHS = fromConstraintExpr(S, D, BO.getRHS()); in fromConstraintExpr()
821 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()
[all …]
/freebsd-13.1/contrib/llvm-project/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()
/freebsd-13.1/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-13.1/contrib/llvm-project/clang/include/clang/Sema/
H A DSemaConcept.h107 NormalizedConstraint(C, Other.getRHS())}, in NormalizedConstraint()
136 NormalizedConstraint &getRHS() const { in getRHS() function
/freebsd-13.1/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()
881 !ABE->getRHS()->evaluateAsRelocatableImpl(RHSValue, Asm, Layout, Fixup, in evaluateAsRelocatableImpl()
885 if (const MCTargetExpr *R = cast<MCTargetExpr>(ABE->getRHS())) { in evaluateAsRelocatableImpl()
1004 MCFragment *RHS_F = BE->getRHS()->findAssociatedFragment(); in findAssociatedFragment()
/freebsd-13.1/contrib/llvm-project/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.cpp2994 Result.RHS = Visit(E->getRHS()); in EmitBinOps()
3014 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
3386 Expr *indexOperand = expr->getRHS(); in emitPointerArithmetic()
3638 RHSTy = BinOp->getRHS()->getType(); in EmitFixedPointBinOp()
4161 RHS.first = Visit(E->getRHS()); in EmitCompare()
4213 RHS = Visit(E->getRHS()); in VisitBinAssign()
4221 RHS = Visit(E->getRHS()); in VisitBinAssign()
4258 Value *RHS = Visit(E->getRHS()); in VisitBinLAnd()
4305 if (!CGF.ContainsLabel(E->getRHS())) in VisitBinLAnd()
4374 Value *RHS = Visit(E->getRHS()); in VisitBinLOr()
[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()
/freebsd-13.1/contrib/llvm-project/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()
667 push(UDiv->getRHS()); in visitAll()
791 auto *RHS = ((SC *)this)->visit(Expr->getRHS()); in visitUDivExpr()
792 bool Changed = LHS != Expr->getLHS() || RHS != Expr->getRHS(); in visitUDivExpr()
/freebsd-13.1/contrib/llvm-project/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()
790 for (const auto *C : {E->getLHS(), E->getRHS()}) { in computeDependence()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/CSKY/MCTargetDesc/
H A DCSKYMCExpr.cpp68 fixELFSymbolsInTLSFixupsImpl(BE->getRHS(), Asm); in fixELFSymbolsInTLSFixupsImpl()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/XCore/MCTargetDesc/
H A DXCoreInstPrinter.cpp57 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(BE->getRHS()); in printExpr()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h125 << S->getRHS(); in VisitSymIntExpr()
135 " (" + Visit(S->getRHS()) + ")"; in VisitSymSymExpr()

123456