Home
last modified time | relevance | path

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

1234

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp38 const Expr *FindExpr(const Expr *Ex) { in FindExpr()
39 if (!MatchesCriteria(Ex)) in FindExpr()
42 for (const Stmt *SubStmt : Ex->children()) in FindExpr()
47 return Ex; in FindExpr()
50 bool MatchesCriteria(const Expr *Ex) { in MatchesCriteria()
51 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
91 const Expr *Ex = cast<Expr>(Condition); in checkBranchCondition() local
97 if (PS->getStmt() == Ex) in checkBranchCondition()
101 Ex = FindIt.FindExpr(Ex); in checkBranchCondition()
106 bugreporter::trackExpressionValue(N, Ex, *R); in checkBranchCondition()
[all …]
H A DUndefResultChecker.cpp41 if (!isa<ArraySubscriptExpr>(Ex)) in isArrayIndexOutOfBounds()
44 SVal Loc = C.getSVal(Ex); in isArrayIndexOutOfBounds()
99 const Expr *Ex = nullptr; in checkPostStmt() local
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
111 if (Ex) { in checkPostStmt()
115 if (isArrayIndexOutOfBounds(C, Ex)) in checkPostStmt()
126 Ex = B->getRHS(); in checkPostStmt()
135 Ex = B->getRHS(); in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
[all …]
H A DObjCAtSyncChecker.cpp39 const Expr *Ex = S->getSynchExpr(); in checkPreStmt() local
41 SVal V = C.getSVal(Ex); in checkPreStmt()
51 bugreporter::trackExpressionValue(N, Ex, *report); in checkPreStmt()
75 bugreporter::trackExpressionValue(N, Ex, *report); in checkPreStmt()
H A DDereferenceChecker.cpp49 const Expr *Ex, const ProgramState *state,
58 const Expr *Ex, in AddDerefSource() argument
62 Ex = Ex->IgnoreParenLValueCasts(); in AddDerefSource()
63 switch (Ex->getStmtClass()) { in AddDerefSource()
67 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex); in AddDerefSource()
76 const MemberExpr *ME = cast<MemberExpr>(Ex); in AddDerefSource()
84 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex); in AddDerefSource()
H A DDeadStoresChecker.cpp104 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) { in LookThroughTransitiveAssignmentsAndCommaOperators() argument
105 while (Ex) { in LookThroughTransitiveAssignmentsAndCommaOperators()
107 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts()); in LookThroughTransitiveAssignmentsAndCommaOperators()
111 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
115 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
120 return Ex; in LookThroughTransitiveAssignmentsAndCommaOperators()
268 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, in CheckVarDecl() argument
284 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC); in CheckVarDecl()
370 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); in observeStmt() local
372 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) in observeStmt()
H A DUndefCapturedBlockVarChecker.cpp87 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) in checkPostStmt() local
88 R->addRange(Ex->getSourceRange()); in checkPostStmt()
H A DObjCUnusedIVarsChecker.cpp36 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) { in Scan() local
37 const ObjCIvarDecl *D = Ex->getDecl(); in Scan()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp271 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
305 QualType ExTy = Ex->getType(); in VisitCast()
345 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
352 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
373 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
847 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true)); in VisitGuardedExpr()
880 QualType T = Ex->getTypeOfArgument(); in VisitUnaryExprOrTypeTraitExpr()
884 if (Ex->getKind() == UETT_SizeOf) { in VisitUnaryExprOrTypeTraitExpr()
906 Bldr.generateNode(Ex, *I, state); in VisitUnaryExprOrTypeTraitExpr()
1018 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
[all …]
H A DExplodedGraph.cpp50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { in isInterestingLValueExpr() argument
51 if (!Ex->isLValue()) in isInterestingLValueExpr()
53 return isa<DeclRefExpr>(Ex) || isa<MemberExpr>(Ex) || in isInterestingLValueExpr()
54 isa<ObjCIvarRefExpr>(Ex) || isa<ArraySubscriptExpr>(Ex); in isInterestingLValueExpr()
123 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); in shouldCollect() local
124 if (!Ex) in shouldCollect()
130 if (isInterestingLValueExpr(Ex)) in shouldCollect()
138 if (!PM.isConsumedExpr(Ex)) in shouldCollect()
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 DExprEngine.cpp1489 const auto *Ex = cast<Expr>(S); in Visit() local
2048 if (!Ex) in RecoverCastedSymbol()
2066 Ex = CE->getSubExpr(); in RecoverCastedSymbol()
2070 QualType T = Ex->getType(); in RecoverCastedSymbol()
2076 return state->getSVal(Ex, LCtx); in RecoverCastedSymbol()
2109 Condition = Ex->IgnoreParens(); in ResolveCondition()
2237 Condition = Ex->IgnoreParens(); in processBranch()
2580 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2585 assert(!Ex->isGLValue()); in VisitCommonDeclRefExpr()
2587 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
[all …]
H A DBugReporterVisitors.cpp1883 Ex = Ex->IgnoreParenCasts(); in peelOffOuterExpr()
1884 if (const auto *FE = dyn_cast<FullExpr>(Ex)) in peelOffOuterExpr()
1921 if (auto *BO = dyn_cast<BinaryOperator>(Ex)) in peelOffOuterExpr()
1925 if (auto *UO = dyn_cast<UnaryOperator>(Ex)) { in peelOffOuterExpr()
1942 return Ex; in peelOffOuterExpr()
2674 const Expr *OriginalExpr = Ex; in patternMatch()
2675 Ex = Ex->IgnoreParenCasts(); in patternMatch()
2677 if (isa<GNUNullExpr>(Ex) || isa<ObjCBoolLiteralExpr>(Ex) || in patternMatch()
2678 isa<CXXBoolLiteralExpr>(Ex) || isa<IntegerLiteral>(Ex) || in patternMatch()
2679 isa<FloatingLiteral>(Ex)) { in patternMatch()
[all …]
H A DMemRegion.cpp242 const Expr *Ex, unsigned cnt, in ProfileRegion() argument
245 ID.AddPointer(Ex); in ProfileRegion()
251 ProfileRegion(ID, Ex, Cnt, superRegion); in Profile()
382 Expr const *Ex, in ProfileRegion() argument
384 ID.AddPointer(Ex); in ProfileRegion()
389 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
454 os << "alloca{S" << Ex->getID(getContext()) << ',' << Cnt << '}'; in dumpToStream()
483 << "S" << Ex->getID(getContext()) << '}'; in dumpToStream()
1074 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) { in getCXXStaticTempObjectRegion() argument
1076 Ex, getGlobalsRegion(MemRegion::GlobalInternalSpaceRegionKind, nullptr)); in getCXXStaticTempObjectRegion()
H A DRegionStore.cpp419 const Expr *Ex,
987 const Expr *Ex; member in __anon5d660c940711::InvalidateRegionsWorker
1142 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); in VisitCluster()
1163 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1235 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1241 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1272 const Expr *Ex, in invalidateGlobalRegion() argument
1328 const Expr *Ex, unsigned Count, in invalidateRegions() argument
1346 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, in invalidateRegions()
1367 Ex, Count, LCtx, B, Invalidated); in invalidateRegions()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/Analysis/
H A DReachableCode.cpp34 static bool isEnumConstant(const Expr *Ex) { in isEnumConstant() argument
42 Ex = Ex->IgnoreParenCasts(); in isTrivialExpression()
43 return isa<IntegerLiteral>(Ex) || isa<StringLiteral>(Ex) || in isTrivialExpression()
44 isa<CXXBoolLiteralExpr>(Ex) || isa<ObjCBoolLiteralExpr>(Ex) || in isTrivialExpression()
45 isa<CharacterLiteral>(Ex) || in isTrivialExpression()
46 isEnumConstant(Ex); in isTrivialExpression()
196 if (const auto *Ex = dyn_cast<Expr>(S)) in isConfigurationValue() local
197 S = Ex->IgnoreImplicit(); in isConfigurationValue()
200 S = Ex->IgnoreCasts(); in isConfigurationValue()
209 S = Ex->IgnoreCasts(); in isConfigurationValue()
[all …]
H A DUninitializedValues.cpp235 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { in stripCasts() argument
236 while (Ex) { in stripCasts()
237 Ex = Ex->IgnoreParenNoopCasts(C); in stripCasts()
238 if (const auto *CE = dyn_cast<CastExpr>(Ex)) { in stripCasts()
240 Ex = CE->getSubExpr(); in stripCasts()
246 return Ex; in stripCasts()
437 const Expr *Ex = stripCasts(DC->getParentASTContext(), *I); in VisitCallExpr() local
438 const auto *UO = dyn_cast<UnaryOperator>(Ex); in VisitCallExpr()
440 Ex = UO->getSubExpr(); in VisitCallExpr()
441 classify(Ex, Ignore); in VisitCallExpr()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/Hexagon/
H A DHexagonConstExtenders.cpp302 return Rs == Ex.Rs && S == Ex.S && Neg == Ex.Neg; in operator ==()
308 if (Rs != Ex.Rs) in operator <()
310 if (S != Ex.S) in operator <()
460 : Ex(E), HRI(I) {} in PrintExpr()
469 OS << printReg(P.Ex.Rs.Reg, &P.HRI, P.Ex.Rs.Sub); in operator <<()
1538 if (Ex.Rs.isSlot()) { in insertInitializer()
1547 if (Ex.trivial()) { in insertInitializer()
1552 if (Ex.Neg) { in insertInitializer()
1580 if (Ex.Neg) in insertInitializer()
1769 const ExtExpr &Ex = ExtI.second; (void)Ex; in replaceInstrExpr() local
[all …]
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/Demangle/
H A DItaniumDemangle.h4607 return Ex; in parseExpr()
4641 return Ex; in parseExpr()
4651 return Ex; in parseExpr()
4803 return Ex; in parseExpr()
4839 return Ex; in parseExpr()
4881 return Ex; in parseExpr()
4907 return Ex; in parseExpr()
4933 return Ex; in parseExpr()
4972 return Ex; in parseExpr()
5031 if (!Ex) in parseExpr()
[all …]
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h473 const Expr *Ex; variable
476 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) { in AllocaRegion()
477 assert(Ex); in AllocaRegion()
480 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
484 const Expr *getExpr() const { return Ex; } in getExpr()
1183 Expr const *Ex; variable
1186 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) { in CXXTempObjectRegion()
1196 const Expr *getExpr() const { return Ex; } in getExpr()
1198 QualType getValueType() const override { return Ex->getType(); } in getValueType()
1363 const AllocaRegion *getAllocaRegion(const Expr *Ex, unsigned Cnt,
[all …]
H A DExprEngine.h446 void VisitArraySubscriptExpr(const ArraySubscriptExpr *Ex,
476 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
492 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
531 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
535 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
587 const Expr *Ex);
600 ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex,
H A DProgramState.h336 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
765 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() argument
767 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
774 if (const Expr *Ex = dyn_cast<Expr>(S)) { in getSValAsScalarOrLoc() local
775 QualType T = Ex->getType(); in getSValAsScalarOrLoc()
776 if (Ex->isGLValue() || Loc::isLocType(T) || in getSValAsScalarOrLoc()
/freebsd-13.1/usr.bin/vi/catalog/
H A Dzh_CN.UTF-8.base85 092 "Ex 命令失败：等待中的命令已丢弃"
86 093 "Ex 命令失败：键映射已丢弃"
/freebsd-13.1/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()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp230 const Expr *Ex) const { in processObjCLiterals()
233 for (const Stmt *Child : Ex->children()) { in processObjCLiterals()
250 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
251 QualType ResultTy = Ex->getType(); in processObjCLiterals()
271 void RetainCountChecker::checkPostStmt(const ObjCBoxedExpr *Ex, in checkPostStmt() argument
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
277 QualType ResultTy = Ex->getType(); in checkPostStmt()
691 const Expr *Ex = CallOrMsg.getOriginExpr(); in checkSummary() local
692 assert(Ex); in checkSummary()
693 ResultTy = GetReturnType(Ex, C.getASTContext()); in checkSummary()
/freebsd-13.1/contrib/nvi/
H A DREADME12 ex ............ Ex source code.
14 man ........... Ex/vi documentation.

1234