Searched refs:Ex (Results 1 - 25 of 56) sorted by relevance

123

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUndefBranchChecker.cpp36 const Expr *FindExpr(const Expr *Ex) { argument
37 if (!MatchesCriteria(Ex))
40 for (const Stmt *SubStmt : Ex->children())
45 return Ex;
48 bool MatchesCriteria(const Expr *Ex) { argument
49 return St->getSVal(Ex, LCtx).isUndef();
86 const Expr *Ex = cast<Expr>(Condition); local
92 if (PS->getStmt() == Ex)
96 Ex = FindIt.FindExpr(Ex);
[all...]
H A DObjCAtSyncChecker.cpp39 const Expr *Ex = S->getSynchExpr(); local
41 SVal V = C.getSVal(Ex);
51 bugreporter::trackExpressionValue(N, Ex, *report);
75 bugreporter::trackExpressionValue(N, Ex, *report);
H A DUndefResultChecker.cpp37 static bool isArrayIndexOutOfBounds(CheckerContext &C, const Expr *Ex) { argument
40 if (!isa<ArraySubscriptExpr>(Ex))
43 SVal Loc = C.getSVal(Ex);
98 const Expr *Ex = nullptr; local
102 Ex = B->getLHS()->IgnoreParenCasts();
106 Ex = B->getRHS()->IgnoreParenCasts();
110 if (Ex) {
114 if (isArrayIndexOutOfBounds(C, Ex))
125 Ex = B->getRHS();
134 Ex
[all...]
H A DDereferenceChecker.cpp45 const Expr *Ex, const ProgramState *state,
54 const Expr *Ex,
58 Ex = Ex->IgnoreParenLValueCasts();
59 switch (Ex->getStmtClass()) {
63 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex);
72 const MemberExpr *ME = cast<MemberExpr>(Ex);
80 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex);
52 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
H A DUndefCapturedBlockVarChecker.cpp87 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD))
88 R->addRange(Ex->getSourceRange());
H A DDeadStoresChecker.cpp103 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) { argument
104 while (Ex) {
106 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts());
110 Ex = BO->getRHS();
114 Ex = BO->getRHS();
119 return Ex;
267 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, argument
283 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC);
369 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); variable
371 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
[all...]
H A DObjCUnusedIVarsChecker.cpp36 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) {
37 const ObjCIvarDecl *D = Ex->getDecl();
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp260 ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx,
271 SVal OrigV = state->getSVal(Ex, LCtx);
301 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, argument
313 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
320 QualType ExTy = Ex->getType();
356 // Copy the SVal of Ex to CastE.
359 SVal V = state->getSVal(Ex, LCtx);
366 SVal V = state->getSVal(Ex, LCtx);
377 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);
388 SVal V = state->getSVal(Ex, LCt
259 handleLValueBitCast( ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, QualType T, QualType ExTy, const CastExpr* CastE, StmtNodeBuilder& Bldr, ExplodedNode* Pred) argument
781 VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
865 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
917 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
944 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
962 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
978 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
1007 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
1065 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
[all...]
H A DExprEngineObjC.cpp21 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, argument
26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
27 SVal location = state->getLValue(Ex->getDecl(), baseVal);
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
35 getCheckerManager().runCheckersForPostStmt(Dst, dstIvar, Ex, *this);
H A DExplodedGraph.cpp50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { argument
51 if (!Ex->isLValue())
53 return isa<DeclRefExpr>(Ex) ||
54 isa<MemberExpr>(Ex) ||
55 isa<ObjCIvarRefExpr>(Ex);
124 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); local
125 if (!Ex)
131 if (isInterestingLValueExpr(Ex))
139 if (!PM.isConsumedExpr(Ex))
H A DExprEngine.cpp358 // that the whole expression 'Ex' refers to. This trick is usual,
419 // Still, what we can do is assign the value of expression Ex (which
1479 const auto *Ex = cast<Expr>(S); local
1480 QualType resultType = Ex->getType();
1484 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
1487 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result);
1491 if (!(isa<ObjCBoxedExpr>(Ex) &&
1492 !cast<ObjCBoxedExpr>(Ex)->getSubExpr()
1494 for (auto Child : Ex->children()) {
2008 const auto *Ex local
2432 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
2955 evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) argument
[all...]
H A DBugReporterVisitors.cpp1851 /// \return A subexpression of {@code Ex} which represents the
1853 static const Expr *peelOffOuterExpr(const Expr *Ex, argument
1855 Ex = Ex->IgnoreParenCasts();
1856 if (const auto *FE = dyn_cast<FullExpr>(Ex))
1858 if (const auto *OVE = dyn_cast<OpaqueValueExpr>(Ex))
1860 if (const auto *POE = dyn_cast<PseudoObjectExpr>(Ex)) {
1871 if (const auto *CO = dyn_cast<ConditionalOperator>(Ex)) {
1893 if (auto *BO = dyn_cast<BinaryOperator>(Ex))
1897 if (auto *UO = dyn_cast<UnaryOperator>(Ex)) {
2318 patternMatch(const Expr *Ex, const Expr *ParentEx, raw_ostream &Out, BugReporterContext &BRC, PathSensitiveBugReport &report, const ExplodedNode *N, Optional<bool> &prunable, bool IsSameFieldName) argument
[all...]
H A DSValBuilder.cpp136 const Expr *Ex,
139 QualType T = Ex->getType();
146 QualType ExType = Ex->getType();
147 if (Ex->isGLValue())
150 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
135 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument
H A DMemRegion.cpp266 const Expr *Ex, unsigned cnt,
269 ID.AddPointer(Ex);
275 ProfileRegion(ID, Ex, Cnt, superRegion);
387 Expr const *Ex,
389 ID.AddPointer(Ex);
394 ProfileRegion(ID, Ex, getSuperRegion());
459 os << "alloca{S" << Ex->getID(getContext()) << ',' << Cnt << '}';
488 << "S" << Ex->getID(getContext()) << '}';
967 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) { argument
969 Ex, getGlobalsRegio
265 ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, unsigned cnt, const MemRegion *superRegion) argument
386 ProfileRegion(llvm::FoldingSetNodeID &ID, Expr const *Ex, const MemRegion *sReg) argument
[all...]
H A DRegionStore.cpp419 const Expr *Ex,
996 const Expr *Ex; member in class:__anon900::InvalidateRegionsWorker
1014 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r),
1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1172 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1244 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1250 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1281 const Expr *Ex,
1289 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx,
1337 const Expr *Ex, unsigne
1280 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument
1335 invalidateRegions(Store store, ArrayRef<SVal> Values, const Expr *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) argument
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/lib/Analysis/
H A DReachableCode.cpp34 static bool isEnumConstant(const Expr *Ex) { argument
35 const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex);
41 static bool isTrivialExpression(const Expr *Ex) { argument
42 Ex = Ex->IgnoreParenCasts();
43 return isa<IntegerLiteral>(Ex) || isa<StringLiteral>(Ex) ||
44 isa<CXXBoolLiteralExpr>(Ex) || isa<ObjCBoolLiteralExpr>(Ex) ||
45 isa<CharacterLiteral>(Ex) ||
[all...]
H A DUninitializedValues.cpp296 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { argument
297 while (Ex) {
298 Ex = Ex->IgnoreParenNoopCasts(C);
299 if (const auto *CE = dyn_cast<CastExpr>(Ex)) {
301 Ex = CE->getSubExpr();
307 return Ex;
486 const Expr *Ex = stripCasts(DC->getParentASTContext(), *I); local
487 const auto *UO = dyn_cast<UnaryOperator>(Ex);
489 Ex
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Target/Hexagon/
H A DHexagonConstExtenders.cpp303 bool operator==(const ExtExpr &Ex) const {
304 return Rs == Ex.Rs && S == Ex.S && Neg == Ex.Neg;
306 bool operator!=(const ExtExpr &Ex) const {
307 return !operator==(Ex);
309 bool operator<(const ExtExpr &Ex) const {
310 if (Rs != Ex.Rs)
311 return Rs < Ex.Rs;
312 if (S != Ex
462 const HCE::ExtExpr &Ex; member in struct:__anon2229::PrintExpr
1536 const ExtExpr &Ex = ExtI.second; local
1752 const ExtExpr &Ex = ExtI.second; (void)Ex; local
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/lib/ExecutionEngine/RuntimeDyld/
H A DRuntimeDyldMachO.h39 EHFrameRelatedSections(SID EH, SID T, SID Ex) argument
40 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {}
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h416 void VisitArraySubscriptExpr(const ArraySubscriptExpr *Ex,
446 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
462 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
501 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
505 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
554 const Expr *Ex);
567 ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex,
647 // same as state->getLValue(Ex).
648 /// Simulate a read of the result of Ex.
H A DMemRegion.h320 /// (system or internal). Ex: Const global scalars would be modeled as part of
479 const Expr *Ex; member in class:clang::ento::AllocaRegion
482 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {
483 assert(Ex);
486 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
490 const Expr *getExpr() const { return Ex; }
1125 Expr const *Ex; member in class:clang::ento::CXXTempObjectRegion
1128 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) {
1138 const Expr *getExpr() const { return Ex; }
1140 QualType getValueType() const override { return Ex
[all...]
H A DProgramState.h329 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
758 inline SVal ProgramState::getSVal(const Stmt *Ex, argument
760 return Env.getSVal(EnvironmentEntry(Ex, LCtx),
767 if (const Expr *Ex = dyn_cast<Expr>(S)) {
768 QualType T = Ex->getType();
769 if (Ex->isGLValue() || Loc::isLocType(T) ||
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/Demangle/
H A DItaniumDemangle.h4103 Node *Ex = getDerived().parseExpr(); local
4104 if (Ex == nullptr)
4106 Names.push_back(Ex);
4496 Node *Ex = getDerived().parseExpr();
4497 if (Ex == nullptr)
4498 return Ex;
4499 return make<CastExpr>("const_cast", Ty, Ex);
4530 Node *Ex = getDerived().parseExpr(); local
4531 if (Ex == nullptr)
4532 return Ex;
4689 Node *Ex = getDerived().parseExpr(); local
4816 Node *Ex = getDerived().parseExpr(); local
4855 Node *Ex = getDerived().parseExpr(); local
4886 Node *Ex = getDerived().parseExpr(); local
4913 Node *Ex = getDerived().parseExpr(); local
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp230 const Expr *Ex) const {
233 for (const Stmt *Child : Ex->children()) {
250 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) {
251 QualType ResultTy = Ex->getType();
271 void RetainCountChecker::checkPostStmt(const ObjCBoxedExpr *Ex, argument
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) {
277 QualType ResultTy = Ex->getType();
691 const Expr *Ex = CallOrMsg.getOriginExpr(); local
692 assert(Ex);
693 ResultTy = GetReturnType(Ex,
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/lib/Sema/
H A DSemaExprCXX.cpp722 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) { argument
724 if (Ex) {
736 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens()))
755 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope);
758 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex, argument
775 if (Ex && !Ex->isTypeDependent()) {
776 QualType ExceptionObjectTy = Context.getExceptionObjectType(Ex->getType());
777 if (CheckCXXThrowOperand(OpLoc, ExceptionObjectTy, Ex))
797 NRVOVariable = getCopyElisionCandidate(QualType(), Ex, CES_Stric
[all...]

Completed in 287 milliseconds

123