Home
last modified time | relevance | path

Searched refs:Ex (Results 1 – 25 of 90) sorted by relevance

1234

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp39 const Expr *FindExpr(const Expr *Ex) { in FindExpr()
40 if (!MatchesCriteria(Ex)) in FindExpr()
43 for (const Stmt *SubStmt : Ex->children()) in FindExpr()
48 return Ex; in FindExpr()
51 bool MatchesCriteria(const Expr *Ex) { in MatchesCriteria()
52 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
90 const Expr *Ex = cast<Expr>(Condition); in checkBranchCondition() local
96 if (PS->getStmt() == Ex) in checkBranchCondition()
100 Ex = FindIt.FindExpr(Ex); in checkBranchCondition()
104 bugreporter::trackExpressionValue(N, Ex, *R); in checkBranchCondition()
[all …]
H A DUndefResultChecker.cpp38 static bool isArrayIndexOutOfBounds(CheckerContext &C, const Expr *Ex) { in isArrayIndexOutOfBounds() argument
41 if (!isa<ArraySubscriptExpr>(Ex)) in isArrayIndexOutOfBounds()
44 SVal Loc = C.getSVal(Ex); in isArrayIndexOutOfBounds()
79 const Expr *Ex = nullptr; in checkPostStmt() local
83 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
87 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
91 if (Ex) { in checkPostStmt()
95 if (isArrayIndexOutOfBounds(C, Ex)) in checkPostStmt()
104 if (Ex) { in checkPostStmt()
105 report->addRange(Ex->getSourceRange()); in checkPostStmt()
[all …]
H A DObjCAtSyncChecker.cpp41 const Expr *Ex = S->getSynchExpr(); in checkPreStmt() local
43 SVal V = C.getSVal(Ex); in checkPreStmt()
50 bugreporter::trackExpressionValue(N, Ex, *report); in checkPreStmt()
70 bugreporter::trackExpressionValue(N, Ex, *report); in checkPreStmt()
H A DDeadStoresChecker.cpp104 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) { in LookThroughTransitiveAssignmentsAndCommaOperators() argument
105 while (Ex) { in LookThroughTransitiveAssignmentsAndCommaOperators()
106 Ex = Ex->IgnoreParenCasts(); in LookThroughTransitiveAssignmentsAndCommaOperators()
107 const BinaryOperator *BO = dyn_cast<BinaryOperator>(Ex); in LookThroughTransitiveAssignmentsAndCommaOperators()
112 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
117 return Ex; in LookThroughTransitiveAssignmentsAndCommaOperators()
265 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, in CheckVarDecl() argument
281 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC); in CheckVarDecl()
366 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); in observeStmt() local
368 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) in observeStmt()
H A DDereferenceChecker.cpp54 const Expr *Ex, const ProgramState *state,
65 const Expr *Ex, in AddDerefSource() argument
69 Ex = Ex->IgnoreParenLValueCasts(); in AddDerefSource()
70 switch (Ex->getStmtClass()) { in AddDerefSource()
74 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex); in AddDerefSource()
83 const MemberExpr *ME = cast<MemberExpr>(Ex); in AddDerefSource()
91 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex); in AddDerefSource()
H A DUndefCapturedBlockVarChecker.cpp81 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) in checkPostStmt() local
82 R->addRange(Ex->getSourceRange()); in checkPostStmt()
H A DObjCUnusedIVarsChecker.cpp37 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) { in Scan() local
38 const ObjCIvarDecl *D = Ex->getDecl(); in Scan()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp255 ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, in handleLValueBitCast() argument
266 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
282 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast() argument
293 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast()
300 QualType ExTy = Ex->getType(); in VisitCast()
338 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
345 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
356 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
366 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
374 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
[all …]
H A DExprEngineObjC.cpp21 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, in VisitLvalObjCIvarRefExpr() argument
26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
27 SVal location = state->getLValue(Ex->getDecl(), baseVal); in VisitLvalObjCIvarRefExpr()
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
35 getCheckerManager().runCheckersForPostStmt(Dst, dstIvar, Ex, *this); in VisitLvalObjCIvarRefExpr()
H A DExplodedGraph.cpp50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr() argument
51 if (!Ex->isLValue()) in isInterestingLValueExpr()
53 return isa<DeclRefExpr, MemberExpr, ObjCIvarRefExpr, ArraySubscriptExpr>(Ex); in isInterestingLValueExpr()
122 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect() local
123 if (!Ex) in shouldCollect()
129 if (isInterestingLValueExpr(Ex)) in shouldCollect()
137 if (!PM.isConsumedExpr(Ex)) in shouldCollect()
H A DExprEngine.cpp2024 const auto *Ex = cast<Expr>(S); in Visit() local
2025 QualType resultType = Ex->getType(); in Visit()
2029 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
2032 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
2036 if (!(isa<ObjCBoxedExpr>(Ex) && in Visit()
2037 !cast<ObjCBoxedExpr>(Ex)->getSubExpr() in Visit()
2039 for (auto Child : Ex->children()) { in Visit()
2587 const auto *Ex = dyn_cast<Expr>(Condition); in RecoverCastedSymbol() local
2588 if (!Ex) in RecoverCastedSymbol()
2594 while (const auto *CE = dyn_cast<CastExpr>(Ex)) { in RecoverCastedSymbol()
[all …]
H A DMemRegion.cpp255 const Expr *Ex, unsigned cnt, in ProfileRegion() argument
258 ID.AddPointer(Ex); in ProfileRegion()
264 ProfileRegion(ID, Ex, Cnt, superRegion); in Profile()
395 Expr const *Ex, in ProfileRegion() argument
397 ID.AddPointer(Ex); in ProfileRegion()
402 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
416 ProfileRegion(ID, Ex, ExD, getSuperRegion()); in Profile()
481 os << "alloca{S" << Ex->getID(getContext()) << ',' << Cnt << '}'; in dumpToStream()
508 << "S" << Ex->getID(getContext()) << '}'; in dumpToStream()
518 << "S" << Ex->getID(getContext()) << '}'; in dumpToStream()
[all …]
H A DBugReporterVisitors.cpp87 static const Expr *peelOffOuterExpr(const Expr *Ex, const ExplodedNode *N);
2142 static const Expr *peelOffOuterExpr(const Expr *Ex, const ExplodedNode *N) { in peelOffOuterExpr() argument
2144 Ex = Ex->IgnoreParenCasts(); in peelOffOuterExpr()
2145 if (const auto *FE = dyn_cast<FullExpr>(Ex)) in peelOffOuterExpr()
2147 if (const auto *OVE = dyn_cast<OpaqueValueExpr>(Ex)) in peelOffOuterExpr()
2149 if (const auto *POE = dyn_cast<PseudoObjectExpr>(Ex)) { in peelOffOuterExpr()
2160 if (const auto *CO = dyn_cast<ConditionalOperator>(Ex)) { in peelOffOuterExpr()
2182 if (auto *BO = dyn_cast<BinaryOperator>(Ex)) in peelOffOuterExpr()
2186 if (auto *UO = dyn_cast<UnaryOperator>(Ex)) { in peelOffOuterExpr()
2203 return Ex; in peelOffOuterExpr()
[all …]
H A DRegionStore.cpp409 const Expr *Ex,
978 const Expr *Ex; member in __anond97e23750611::InvalidateRegionsWorker
996 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), in InvalidateRegionsWorker()
1130 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); in VisitCluster()
1151 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1220 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1226 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1257 const Expr *Ex, in invalidateGlobalRegion() argument
1265 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx, in invalidateGlobalRegion()
1304 const Expr *Ex, unsigned Count, in invalidateRegions() argument
[all …]
/src/contrib/llvm-project/clang/lib/Analysis/
H A DReachableCode.cpp37 static bool isEnumConstant(const Expr *Ex) { in isEnumConstant() argument
38 const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex); in isEnumConstant()
44 static bool isTrivialExpression(const Expr *Ex) { in isTrivialExpression() argument
45 Ex = Ex->IgnoreParenCasts(); in isTrivialExpression()
46 return isa<IntegerLiteral>(Ex) || isa<StringLiteral>(Ex) || in isTrivialExpression()
47 isa<CXXBoolLiteralExpr>(Ex) || isa<ObjCBoolLiteralExpr>(Ex) || in isTrivialExpression()
48 isa<CharacterLiteral>(Ex) || in isTrivialExpression()
49 isEnumConstant(Ex); in isTrivialExpression()
197 if (const auto *Ex = dyn_cast<Expr>(S)) in isConfigurationValue() local
198 S = Ex->IgnoreImplicit(); in isConfigurationValue()
[all …]
H A DUninitializedValues.cpp250 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { in stripCasts() argument
251 while (Ex) { in stripCasts()
252 Ex = Ex->IgnoreParenNoopCasts(C); in stripCasts()
253 if (const auto *CE = dyn_cast<CastExpr>(Ex)) { in stripCasts()
255 Ex = CE->getSubExpr(); in stripCasts()
261 return Ex; in stripCasts()
452 const Expr *Ex = stripCasts(DC->getParentASTContext(), *I); in VisitCallExpr() local
453 const auto *UO = dyn_cast<UnaryOperator>(Ex); in VisitCallExpr()
455 Ex = UO->getSubExpr(); in VisitCallExpr()
456 classify(Ex, Ignore); in VisitCallExpr()
[all …]
/src/contrib/llvm-project/llvm/lib/Target/Hexagon/
H A DHexagonConstExtenders.cpp303 bool operator==(const ExtExpr &Ex) const { in operator ==()
304 return Rs == Ex.Rs && S == Ex.S && Neg == Ex.Neg; in operator ==()
306 bool operator!=(const ExtExpr &Ex) const { in operator !=()
307 return !operator==(Ex); in operator !=()
309 bool operator<(const ExtExpr &Ex) const { in operator <()
310 if (Rs != Ex.Rs) in operator <()
311 return Rs < Ex.Rs; in operator <()
312 if (S != Ex.S) in operator <()
313 return S < Ex.S; in operator <()
314 return !Neg && Ex.Neg; in operator <()
[all …]
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h485 const Expr *Ex; variable
488 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) { in AllocaRegion()
489 assert(Ex); in AllocaRegion()
492 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
497 const Expr *getExpr() const { return Ex; } in getExpr()
1241 Expr const *Ex; variable
1244 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) { in CXXTempObjectRegion()
1254 const Expr *getExpr() const { return Ex; } in getExpr()
1259 QualType getValueType() const override { return Ex->getType(); } in getValueType()
1275 Expr const *Ex; variable
[all …]
H A DExprEngine.h441 void VisitArrayInitLoopExpr(const ArrayInitLoopExpr *Ex, ExplodedNode *Pred,
445 void VisitArraySubscriptExpr(const ArraySubscriptExpr *Ex,
475 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
491 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
530 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
534 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
586 const Expr *Ex);
591 ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex,
H A DProgramState.h376 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
793 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() argument
795 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
802 if (const Expr *Ex = dyn_cast<Expr>(S)) { in getSValAsScalarOrLoc() local
803 QualType T = Ex->getType(); in getSValAsScalarOrLoc()
804 if (Ex->isGLValue() || Loc::isLocType(T) || in getSValAsScalarOrLoc()
/src/usr.bin/vi/catalog/
H A Dzh_CN.UTF-8.base85 092 "Ex 命令失败：等待中的命令已丢弃"
86 093 "Ex 命令失败：键映射已丢弃"
/src/contrib/llvm-project/llvm/lib/ExecutionEngine/RuntimeDyld/
H A DRuntimeDyldMachO.h39 EHFrameRelatedSections(SID EH, SID T, SID Ex) in EHFrameRelatedSections()
40 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {} in EHFrameRelatedSections()
/src/contrib/llvm-project/llvm/lib/Object/
H A DWasmObjectFile.cpp1436 wasm::WasmExport Ex; in parseExportSection() local
1437 Ex.Name = readString(Ctx); in parseExportSection()
1438 Ex.Kind = readUint8(Ctx); in parseExportSection()
1439 Ex.Index = readVaruint32(Ctx); in parseExportSection()
1444 Info.Name = Ex.Name; in parseExportSection()
1446 switch (Ex.Kind) { in parseExportSection()
1448 if (!isDefinedFunctionIndex(Ex.Index)) in parseExportSection()
1451 getDefinedFunction(Ex.Index).ExportName = Ex.Name; in parseExportSection()
1453 Info.ElementIndex = Ex.Index; in parseExportSection()
1460 if (!isValidGlobalIndex(Ex.Index)) in parseExportSection()
[all …]
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp229 const Expr *Ex) const { in processObjCLiterals()
232 for (const Stmt *Child : Ex->children()) { in processObjCLiterals()
249 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
250 QualType ResultTy = Ex->getType(); in processObjCLiterals()
270 void RetainCountChecker::checkPostStmt(const ObjCBoxedExpr *Ex, in checkPostStmt() argument
275 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
276 QualType ResultTy = Ex->getType(); in checkPostStmt()
690 const Expr *Ex = CallOrMsg.getOriginExpr(); in checkSummary() local
691 assert(Ex); in checkSummary()
692 ResultTy = GetReturnType(Ex, C.getASTContext()); in checkSummary()
/src/contrib/nvi/
H A DREADME12 ex ............ Ex source code.
14 man ........... Ex/vi documentation.

1234