Home
last modified time | relevance | path

Searched refs:getLHS (Results 1 – 25 of 178) sorted by relevance

12345678

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp41 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
54 if (Loc::isLocType(SSE->getLHS()->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()
223 Sym = SE->getLHS(); in computeAdjustment()
H A DSimpleSValBuilder.cpp280 return std::make_pair(SymInt->getLHS(), in decomposeSymbol()
655 return makeNonLoc(symIntExpr->getLHS(), opc, in evalBinOpNN()
697 lhs = nonloc::SymbolVal(symIntExpr->getLHS()); in evalBinOpNN()
1326 SVal LHS = getConstOrVisit(S->getLHS()); in simplifySValOnce()
1327 if (isUnchanged(S->getLHS(), LHS)) in simplifySValOnce()
1335 if (Loc::isLocType(S->getLHS()->getType()) && in simplifySValOnce()
1362 SVal LHS = SVB.makeIntVal(S->getLHS()); in simplifySValOnce()
1376 if (Loc::isLocType(S->getLHS()->getType()) != in simplifySValOnce()
1380 SVal LHS = getConstOrVisit(S->getLHS()); in simplifySValOnce()
1383 if (isUnchanged(S->getLHS(), LHS) && isUnchanged(S->getRHS(), RHS)) in simplifySValOnce()
H A DSymbolManager.cpp151 itr.push_back(cast<SymIntExpr>(SE)->getLHS()); in expand()
158 itr.push_back(x->getLHS()); in expand()
487 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
493 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) && in isLive()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DConversionChecker.cpp89 LossOfPrecision = isLossOfPrecision(Cast, B->getLHS()->getType(), C); in checkPreStmt()
92 LossOfPrecision = isLossOfPrecision(Cast, B->getLHS()->getType(), C); in checkPreStmt()
101 LossOfPrecision = isLossOfPrecision(Cast, B->getLHS()->getType(), C); in checkPreStmt()
H A DMallocOverflowSecurityChecker.cpp91 const Expr *lhs = binop->getLHS(); in CheckMallocArgument()
200 const Expr *numerator = BOp->getLHS()->IgnoreParenImpCasts(); in CheckAssignmentExpr()
213 const Expr *lhs = AssignEx->getLHS(); in CheckAssignmentExpr()
231 const Expr * lhs = E->getLHS(); in VisitBinaryOperator()
H A DUndefinedAssignmentChecker.cpp69 if (C.getSVal(B->getLHS()).isUndef()) { in checkBind()
72 ex = B->getLHS(); in checkBind()
H A DUndefResultChecker.cpp82 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
83 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
H A DInvalidatedIteratorChecker.cpp88 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
98 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
H A DPointerSubChecker.cpp112 SVal LV = C.getSVal(B->getLHS()); in checkPreStmt()
131 if (!checkArrayBounds(C, B->getLHS(), ElemLR, RR)) in checkPreStmt()
H A DIdenticalExprChecker.cpp81 const Expr *LHS = B->getLHS(); in checkBitwiseOrLogicalOp()
96 LHS = B2->getLHS(); in checkBitwiseOrLogicalOp()
222 const Expr *LHS = B->getLHS()->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()
167 const QualType LHSTy = Op->getLHS()->getType(); in checkOvershift()
338 bugreporter::trackExpressionValue(ErrNode, Op->getLHS(), *BR); in createBugReport()
H A DCStringSyntaxChecker.cpp133 const Expr *L = BE->getLHS(); in containsBadStrncatPattern()
190 DstArgDRE = dyn_cast<DeclRefExpr>(BE->getLHS()->IgnoreParenImpCasts()); in containsBadStrlcpyStrlcatPattern()
H A DTestAfterDivZeroChecker.cpp215 IntLiteral = dyn_cast<IntegerLiteral>(B->getLHS()); in checkBranchCondition()
222 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
/src/contrib/llvm-project/llvm/lib/Target/Lanai/AsmParser/
H A DLanaiAsmParser.cpp242 dyn_cast<LanaiMCExpr>(BinaryExpr->getLHS())) in isHiImm16()
279 dyn_cast<LanaiMCExpr>(BinaryExpr->getLHS())) in isLoImm16()
303 dyn_cast<LanaiMCExpr>(BinaryExpr->getLHS())) in isLoImm16Signed()
354 dyn_cast<LanaiMCExpr>(BinaryExpr->getLHS())) in isLoImm21()
357 dyn_cast<MCSymbolRefExpr>(BinaryExpr->getLHS())) in isLoImm21()
479 assert(BinaryExpr && isa<LanaiMCExpr>(BinaryExpr->getLHS()) && in addLoImm16Operands()
480 cast<LanaiMCExpr>(BinaryExpr->getLHS())->getKind() == in addLoImm16Operands()
510 assert(BinaryExpr && isa<LanaiMCExpr>(BinaryExpr->getLHS()) && in addHiImm16Operands()
511 cast<LanaiMCExpr>(BinaryExpr->getLHS())->getKind() == in addHiImm16Operands()
549 assert(BinaryExpr && isa<LanaiMCExpr>(BinaryExpr->getLHS()) && in addLoImm21Operands()
[all …]
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h176 LHS = getSymVal(State, SIE->getLHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
179 LHS = &ISE->getLHS(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
183 LHS = getSymVal(State, SSM->getLHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
283 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
289 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/src/contrib/llvm-project/clang/lib/ARCMigrate/
H A DTransZeroOutPropsInDealloc.cpp160 return isZeroingPropIvar(BOE->getLHS()) && in isZeroingPropIvar()
166 Expr *LHS = BOE->getLHS(); in isZeroingPropIvar()
196 dyn_cast<ObjCPropertyRefExpr>(BO->getLHS()->IgnoreParens()); in isZeroingPropIvar()
H A DTransARCAssign.cpp45 Expr *E = Exp->getLHS(); in VisitBinaryOperator()
/src/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp48 LHS = BO->getLHS(); in LogicalBinOp()
66 const Expr *getLHS() const { return LHS; } in getLHS() function in __anon8010bdb60111::LogicalBinOp
101 return CheckConstraintExpression(BO.getLHS(), NextToken, in CheckConstraintExpression()
333 S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator); in calculateConstraintSatisfaction()
1261 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getLHS(), First); in diagnoseWellFormedUnsatisfiedConstraintExpr()
1267 BO->getLHS()->EvaluateKnownConstInt(S.Context).getBoolValue(); in diagnoseWellFormedUnsatisfiedConstraintExpr()
1274 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getLHS(), First); in diagnoseWellFormedUnsatisfiedConstraintExpr()
1290 if (BO->getLHS()->getType()->isIntegerType() && in diagnoseWellFormedUnsatisfiedConstraintExpr()
1294 BO->getLHS()->EvaluateAsInt(SimplifiedLHS, S.Context, in diagnoseWellFormedUnsatisfiedConstraintExpr()
1434 if (substituteParameterMappings(S, N.getLHS(), Concept, MLTAL, in substituteParameterMappings()
[all …]
/src/contrib/llvm-project/llvm/lib/MC/
H A DMCExpr.cpp117 if (isa<MCConstantExpr>(BE.getLHS()) || isa<MCSymbolRefExpr>(BE.getLHS())) { in print()
118 BE.getLHS()->print(OS, MAI); in print()
121 BE.getLHS()->print(OS, MAI); in print()
919 if (!ABE->getLHS()->evaluateAsRelocatableImpl(LHSValue, Asm, Fixup, Addrs, in evaluateAsRelocatableImpl()
924 if (const MCTargetExpr *L = dyn_cast<MCTargetExpr>(ABE->getLHS())) { in evaluateAsRelocatableImpl()
1050 MCFragment *LHS_F = BE->getLHS()->findAssociatedFragment(); in findAssociatedFragment()
/src/contrib/llvm-project/clang/lib/CodeGen/
H A DCGExprAgg.cpp977 CGF.EmitIgnoredExpr(E->getLHS()); in VisitBinComma()
996 QualType ArgTy = E->getLHS()->getType(); in EmitCompare()
1046 assert(CGF.getContext().hasSameType(E->getLHS()->getType(), in VisitBinCmp()
1053 QualType ArgTy = E->getLHS()->getType(); in VisitBinCmp()
1072 auto LHSValues = EmitOperand(E->getLHS()), in VisitBinCmp()
1154 return isBlockVarRef(op->getLHS()); in isBlockVarRef()
1204 assert(CGF.getContext().hasSameUnqualifiedType(E->getLHS()->getType(), in VisitBinAssign()
1212 if (isBlockVarRef(E->getLHS()) && in VisitBinAssign()
1219 LValue LHS = CGF.EmitCheckedLValue(E->getLHS(), CodeGenFunction::TCK_Store); in VisitBinAssign()
1228 EmitCopy(E->getLHS()->getType(), in VisitBinAssign()
[all …]
/src/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()
169 return E->getCond()->getDependence() | E->getLHS()->getDependence() | in computeDependence()
205 E->getCond()->getDependence() | E->getLHS()->getDependence() | in computeDependence()
209 auto Active = E->getLHS()->getDependence(); in computeDependence()
888 for (const auto *C : {E->getLHS(), E->getRHS()}) { in computeDependence()
/src/contrib/llvm-project/llvm/lib/Target/XCore/MCTargetDesc/
H A DXCoreInstPrinter.cpp57 SRE = dyn_cast<MCSymbolRefExpr>(BE->getLHS()); in printExpr()
/src/contrib/llvm-project/clang/lib/Analysis/
H A DCFG.cpp121 const Expr *MaybeDecl = B->getLHS(); in tryNormalizeBinaryOperator()
136 Constant = tryTransformToIntOrEnumConstant(B->getLHS()); in tryNormalizeBinaryOperator()
926 const Expr *LHSExpr = B->getLHS()->IgnoreParens(); in checkIncorrectRelationalOperator()
965 const Expr *LHSExpr = B->getLHS()->IgnoreParens(); in checkIncorrectEqualityOperator()
983 const Expr *LHSExpr2 = BitOp->getLHS()->IgnoreParens(); in checkIncorrectEqualityOperator()
1086 const Expr *LHSExpr = B->getLHS()->IgnoreParens(); in checkIncorrectLogicOperator()
1216 tryTransformToIntOrEnumConstant(B->getLHS()->IgnoreParenImpCasts()); in checkIncorrectBitwiseOrOperator()
1276 if (Bop->getLHS()->EvaluateAsInt(LHSResult, *Context)) { in tryEvaluateBool()
1302 TryResult LHS = tryEvaluateBool(Bop->getLHS()); in evaluateAsBooleanConditionNoCache()
1531 findConstructionContexts(Layer, CO->getLHS()); in findConstructionContexts()
[all …]
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h135 OS << "(" << Visit(S->getLHS()) << ") " in VisitSymIntExpr()
145 return "(" + Visit(S->getLHS()) + ") " + in VisitSymSymExpr()
/src/contrib/llvm-project/llvm/lib/Target/CSKY/MCTargetDesc/
H A DCSKYMCExpr.cpp80 fixELFSymbolsInTLSFixupsImpl(BE->getLHS(), Asm); in fixELFSymbolsInTLSFixupsImpl()

12345678