Home
last modified time | relevance | path

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

12345

/freebsd-12.1/contrib/llvm/tools/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.cpp38 return BE->getRHS(); in getDenomExpr()
65 if (!B->getRHS()->getType()->isScalarType()) in checkPreStmt()
68 SVal Denom = C.getSVal(B->getRHS()); in checkPreStmt()
H A DDeadStoresChecker.cpp110 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
114 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
240 const Expr *RHS = B->getRHS()->IgnoreParenCasts(); in isIncrement()
252 if ((DR = dyn_cast<DeclRefExpr>(BRHS->getRHS()->IgnoreParenCasts()))) in isIncrement()
278 LookThroughTransitiveAssignmentsAndCommaOperators(B->getRHS()); in observeStmt()
300 CheckVarDecl(VD, DR, B->getRHS(), dsk, Live); in observeStmt()
H A DFixedAddressChecker.cpp47 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
60 R->addRange(B->getRHS()->getSourceRange()); in checkPreStmt()
H A DTestAfterDivZeroChecker.cpp109 E = BO->getRHS(); in REGISTER_SET_WITH_PROGRAMSTATE()
206 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
217 const IntegerLiteral *IntLiteral = dyn_cast<IntegerLiteral>(B->getRHS()); in checkBranchCondition()
227 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
H A DMallocOverflowSecurityChecker.cpp91 const Expr *rhs = binop->getRHS(); in CheckMallocArgument()
183 const Expr *rhs = AssignEx->getRHS(); in CheckAssignmentExpr()
193 const Expr *denom = BOp->getRHS()->IgnoreParenImpCasts(); in CheckAssignmentExpr()
231 const Expr * rhs = E->getRHS(); in VisitBinaryOperator()
H A DIdenticalExprChecker.cpp83 const Expr *RHS = B->getRHS(); in checkBitwiseOrLogicalOp()
92 if (isIdenticalStmt(AC->getASTContext(), RHS, B2->getRHS())) { in checkBitwiseOrLogicalOp()
94 Sr[1] = B2->getRHS()->getSourceRange(); in checkBitwiseOrLogicalOp()
224 const Expr *RHS = B->getRHS()->IgnoreParenImpCasts(); in checkComparisonOp()
254 if (isIdenticalStmt(AC->getASTContext(), B->getLHS(), B->getRHS())) { in checkComparisonOp()
H A DCStringSyntaxChecker.cpp135 const Expr *R = BE->getRHS(); in containsBadStrncatPattern()
187 if ((IL = dyn_cast<IntegerLiteral>(BE->getRHS()->IgnoreParenImpCasts()))) { in containsBadStrlcpyStrlcatPattern()
H A DExprInspectionChecker.cpp360 std::to_string(S->getRHS().getLimitedValue()) + in VisitSymIntExpr()
361 (S->getRHS().isUnsigned() ? "U" : "")) in VisitSymIntExpr()
370 if (Optional<std::string> Str2 = Visit(S->getRHS())) in VisitSymSymExpr()
H A DPointerSubChecker.cpp43 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp47 if (getRHS().isUnsigned()) in dumpToStream()
48 os << getRHS().getZExtValue(); in dumpToStream()
50 os << getRHS().getSExtValue(); in dumpToStream()
51 if (getRHS().isUnsigned()) in dumpToStream()
65 getRHS()->dumpToStream(os); in dumpToStream()
75 getRHS()->dumpToStream(os); in dumpToStream()
156 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()
161 itr.push_back(x->getRHS()); in expand()
490 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
494 isLive(cast<SymSymExpr>(sym)->getRHS()); in isLive()
H A DRangedConstraintManager.cpp40 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
56 Loc::isLocType(SSE->getRHS()->getType())) { in assumeSym()
59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
192 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
H A DSimpleSValBuilder.cpp362 (SymInt->getRHS()) : in decomposeSymbol()
363 (-SymInt->getRHS())); in decomposeSymbol()
702 symIntExpr->getRHS(), resultTy); in evalBinOpNN()
721 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS()); in evalBinOpNN()
1289 RHS = SVB.makeIntLocVal(S->getRHS()); in simplifySVal()
1291 RHS = SVB.makeIntVal(S->getRHS()); in simplifySVal()
1308 Loc::isLocType(S->getRHS()->getType())) in simplifySVal()
1312 SVal RHS = Visit(S->getRHS()); in simplifySVal()
1313 if (isUnchanged(S->getLHS(), LHS) && isUnchanged(S->getRHS(), RHS)) in simplifySVal()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h168 RHS = &SIE->getRHS(); in getSymVal()
171 RHS = getSymVal(State, ISE->getRHS()); in getSymVal()
175 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr; in getSymVal()
257 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in canReasonAbout()
261 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in canReasonAbout()
/freebsd-12.1/contrib/llvm/tools/clang/lib/ARCMigrate/
H A DTransZeroOutPropsInDealloc.cpp164 isZeroingPropIvar(BOE->getRHS()); in isZeroingPropIvar()
190 return isZero(BOE->getRHS()); in isZeroingPropIvar()
211 return isZero(cast<OpaqueValueExpr>(BO->getRHS())->getSourceExpr()); in isZeroingPropIvar()
/freebsd-12.1/contrib/llvm/lib/MC/
H A DMCExpr.cpp100 if (const MCConstantExpr *RHSC = dyn_cast<MCConstantExpr>(BE.getRHS())) { in print()
130 if (isa<MCConstantExpr>(BE.getRHS()) || isa<MCSymbolRefExpr>(BE.getRHS())) { in print()
131 BE.getRHS()->print(OS, MAI); in print()
134 BE.getRHS()->print(OS, MAI); in print()
766 !ABE->getRHS()->evaluateAsRelocatableImpl(RHSValue, Asm, Layout, Fixup, in evaluateAsRelocatableImpl()
770 if (const MCTargetExpr *R = cast<MCTargetExpr>(ABE->getRHS())) { in evaluateAsRelocatableImpl()
888 MCFragment *RHS_F = BE->getRHS()->findAssociatedFragment(); in findAssociatedFragment()
/freebsd-12.1/contrib/llvm/lib/Target/WebAssembly/MCTargetDesc/
H A DWebAssemblyWasmObjectWriter.cpp52 return IsFunctionExpr(BinOp->getLHS()) != IsFunctionExpr(BinOp->getRHS()); in IsFunctionExpr()
74 auto SectionRHS = GetFixupSection(BinOp->getRHS()); in GetFixupSection()
/freebsd-12.1/contrib/llvm/tools/clang/lib/CodeGen/
H A DCGExprComplex.cpp862 if (E->getRHS()->getType()->isRealFloatingType()) in EmitBinOps()
863 Ops.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); in EmitBinOps()
865 Ops.RHS = Visit(E->getRHS()); in EmitBinOps()
891 if (E->getRHS()->getType()->isRealFloatingType()) { in EmitCompoundAssignLValue()
894 .hasSameUnqualifiedType(ComplexElementTy, E->getRHS()->getType())); in EmitCompoundAssignLValue()
895 OpInfo.RHS = ComplexPairTy(CGF.EmitScalarExpr(E->getRHS()), nullptr); in EmitCompoundAssignLValue()
898 .hasSameUnqualifiedType(OpInfo.Ty, E->getRHS()->getType())); in EmitCompoundAssignLValue()
899 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
962 E->getRHS()->getType()) && in EmitBinAssignLValue()
968 Val = Visit(E->getRHS()); in EmitBinAssignLValue()
[all …]
H A DCGExprAgg.cpp882 Visit(E->getRHS()); in VisitBinComma()
951 E->getRHS()->getType())); in VisitBinCmp()
981 RHSValues = EmitOperand(E->getRHS()); in VisitBinCmp()
1070 return isBlockVarRef(op->getRHS()); in isBlockVarRef()
1117 E->getRHS()->getType()) in VisitBinAssign()
1125 E->getRHS()->HasSideEffects(CGF.getContext())) { in VisitBinAssign()
1127 EnsureDest(E->getRHS()->getType()); in VisitBinAssign()
1128 Visit(E->getRHS()); in VisitBinAssign()
1155 EnsureDest(E->getRHS()->getType()); in VisitBinAssign()
1156 Visit(E->getRHS()); in VisitBinAssign()
[all …]
H A DCGExprScalar.cpp2784 Result.RHS = Visit(E->getRHS()); in EmitBinOps()
2804 OpInfo.RHS = Visit(E->getRHS()); in EmitCompoundAssignLValue()
3134 Expr *indexOperand = expr->getRHS(); in emitPointerArithmetic()
3595 Value *RHS = Visit(E->getRHS()); in EmitCompare()
3723 RHS.first = Visit(E->getRHS()); in EmitCompare()
3773 RHS = Visit(E->getRHS()); in VisitBinAssign()
3781 RHS = Visit(E->getRHS()); in VisitBinAssign()
3818 Value *RHS = Visit(E->getRHS()); in VisitBinLAnd()
3846 if (!CGF.ContainsLabel(E->getRHS())) in VisitBinLAnd()
3902 Value *RHS = Visit(E->getRHS()); in VisitBinLOr()
[all …]
/freebsd-12.1/contrib/llvm/include/llvm/Analysis/
H A DScalarEvolutionExpressions.h265 const SCEV *getRHS() const { return RHS; } in getRHS() function
273 return getRHS()->getType(); in getType()
529 push(UDiv->getRHS()); in visitAll()
647 auto *RHS = ((SC *)this)->visit(Expr->getRHS()); in visitUDivExpr()
648 bool Changed = LHS != Expr->getLHS() || RHS != Expr->getRHS(); in visitUDivExpr()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h124 << S->getRHS(); in VisitSymIntExpr()
134 " (" + Visit(S->getRHS()) + ")"; in VisitSymSymExpr()
/freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/
H A DCFG.cpp107 MaybeDecl = B->getRHS(); in tryNormalizeBinaryOperator()
893 const Expr *RHSExpr = B->getRHS()->IgnoreParens(); in checkIncorrectRelationalOperator()
1379 findConstructionContexts(Layer, CO->getRHS()); in findConstructionContexts()
2258 Expr *RHS = B->getRHS()->IgnoreParens(); in VisitLogicalOperator()
2352 addStmt(B->getRHS()); in VisitBinaryOperator()
2362 return Visit(B->getRHS()); in VisitBinaryOperator()
2370 CFGBlock *RBlock = Visit(B->getRHS()); in VisitBinaryOperator()
3944 if (const Expr *RHS = CS->getRHS()) { in shouldAddCase()
5134 Helper.handledStmt(B->getRHS(),OS); in print_elem()
5272 if (C->getRHS()) { in print_block()
[all …]
/freebsd-12.1/contrib/llvm/lib/Target/XCore/InstPrinter/
H A DXCoreInstPrinter.cpp57 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(BE->getRHS()); in printExpr()
/freebsd-12.1/contrib/llvm/tools/clang/lib/AST/
H A DExpr.cpp45 E = BO->getRHS(); in getBestDynamicClassTypeExpr()
111 assert(BO->getRHS()->isRValue()); in skipRValueSubobjectAdjustments()
114 BO->getRHS()->getType()->getAs<MemberPointerType>(); in skipRValueSubobjectAdjustments()
119 E = BO->getRHS(); in skipRValueSubobjectAdjustments()
176 BO->getRHS()->isKnownToHaveBooleanValue(); in isKnownToHaveBooleanValue()
180 return BO->getRHS()->isKnownToHaveBooleanValue(); in isKnownToHaveBooleanValue()
1353 CEE = BO->getRHS()->IgnoreParenCasts(); in getReferencedDeclOfCallee()
2247 R2 = BO->getRHS()->getSourceRange(); in isUnusedResultAWarning()
3566 E = BO->getRHS(); in getObjCProperty()
3631 if (BinOp->getOpcode() == BO_Comma && BinOp->getRHS()) in getSourceBitField()
[all …]

12345