/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UndefBranchChecker.cpp | 36 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 D | UndefResultChecker.cpp | 38 static bool isArrayIndexOutOfBounds(CheckerContext &C, const Expr *Ex) { argument 41 if (!isa<ArraySubscriptExpr>(Ex)) 44 SVal Loc = C.getSVal(Ex); 99 const Expr *Ex = nullptr; local 103 Ex = B->getLHS()->IgnoreParenCasts(); 107 Ex = B->getRHS()->IgnoreParenCasts(); 111 if (Ex) { 115 if (isArrayIndexOutOfBounds(C, Ex)) 126 Ex = B->getRHS(); 135 Ex [all...] |
H A D | ObjCAtSyncChecker.cpp | 39 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 D | DereferenceChecker.cpp | 45 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 D | UndefCapturedBlockVarChecker.cpp | 87 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) 88 R->addRange(Ex->getSourceRange());
|
H A D | DeadStoresChecker.cpp | 103 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 D | ObjCUnusedIVarsChecker.cpp | 36 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) { 37 const ObjCIvarDecl *D = Ex->getDecl();
|
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineC.cpp | 260 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 793 VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 877 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 929 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 956 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 974 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 990 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 1019 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 1077 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local [all...] |
H A D | ExprEngineObjC.cpp | 21 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 D | ExplodedGraph.cpp | 50 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { argument 51 if (!Ex->isLValue()) 53 return isa<DeclRefExpr>(Ex) || isa<MemberExpr>(Ex) || 54 isa<ObjCIvarRefExpr>(Ex) || isa<ArraySubscriptExpr>(Ex); 123 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); local 124 if (!Ex) 130 if (isInterestingLValueExpr(Ex)) 138 if (!PM.isConsumedExpr(Ex)) [all...] |
H A D | ExprEngine.cpp | 358 // 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 1482 const auto *Ex = cast<Expr>(S); local 1483 QualType resultType = Ex->getType(); 1487 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, 1490 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result); 1494 if (!(isa<ObjCBoxedExpr>(Ex) && 1495 !cast<ObjCBoxedExpr>(Ex)->getSubExpr() 1497 for (auto Child : Ex->children()) { 2040 const auto *Ex local 2464 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 2987 evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) argument [all...] |
H A D | BugReporterVisitors.cpp | 1849 /// \return A subexpression of {@code Ex} which represents the 1851 static const Expr *peelOffOuterExpr(const Expr *Ex, argument 1853 Ex = Ex->IgnoreParenCasts(); 1854 if (const auto *FE = dyn_cast<FullExpr>(Ex)) 1856 if (const auto *OVE = dyn_cast<OpaqueValueExpr>(Ex)) 1858 if (const auto *POE = dyn_cast<PseudoObjectExpr>(Ex)) { 1869 if (const auto *CO = dyn_cast<ConditionalOperator>(Ex)) { 1891 if (auto *BO = dyn_cast<BinaryOperator>(Ex)) 1895 if (auto *UO = dyn_cast<UnaryOperator>(Ex)) { 2316 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 D | SValBuilder.cpp | 136 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 D | MemRegion.cpp | 241 const Expr *Ex, unsigned cnt, 244 ID.AddPointer(Ex); 250 ProfileRegion(ID, Ex, Cnt, superRegion); 381 Expr const *Ex, 383 ID.AddPointer(Ex); 388 ProfileRegion(ID, Ex, getSuperRegion()); 453 os << "alloca{S" << Ex->getID(getContext()) << ',' << Cnt << '}'; 482 << "S" << Ex->getID(getContext()) << '}'; 1080 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) { argument 1082 Ex, getGlobalsRegio 240 ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, unsigned cnt, const MemRegion *superRegion) argument 380 ProfileRegion(llvm::FoldingSetNodeID &ID, Expr const *Ex, const MemRegion *sReg) argument [all...] |
H A D | RegionStore.cpp | 420 const Expr *Ex, 988 const Expr *Ex; member in class:__anon2367::InvalidateRegionsWorker 1006 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), 1143 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); 1164 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1236 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1242 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1273 const Expr *Ex, 1281 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx, 1329 const Expr *Ex, unsigne 1272 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1327 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-13-stable/contrib/llvm-project/clang/lib/Analysis/ |
H A D | ReachableCode.cpp | 34 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 D | UninitializedValues.cpp | 235 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { argument 236 while (Ex) { 237 Ex = Ex->IgnoreParenNoopCasts(C); 238 if (const auto *CE = dyn_cast<CastExpr>(Ex)) { 240 Ex = CE->getSubExpr(); 246 return Ex; 437 const Expr *Ex = stripCasts(DC->getParentASTContext(), *I); local 438 const auto *UO = dyn_cast<UnaryOperator>(Ex); 440 Ex [all...] |
/freebsd-13-stable/contrib/llvm-project/llvm/lib/Target/Hexagon/ |
H A D | HexagonConstExtenders.cpp | 303 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 463 const HCE::ExtExpr &Ex; member in struct:__anon4108::PrintExpr 1537 const ExtExpr &Ex = ExtI.second; local 1771 const ExtExpr &Ex = ExtI.second; (void)Ex; local [all...] |
/freebsd-13-stable/contrib/llvm-project/llvm/lib/ExecutionEngine/RuntimeDyld/ |
H A D | RuntimeDyldMachO.h | 39 EHFrameRelatedSections(SID EH, SID T, SID Ex) argument 40 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {}
|
/freebsd-13-stable/contrib/llvm-project/llvm/include/llvm/Demangle/ |
H A D | ItaniumDemangle.h | 4110 Node *Ex = getDerived().parseExpr(); local 4111 if (Ex == nullptr) 4113 Names.push_back(Ex); 4509 Node *Ex = getDerived().parseExpr(); 4510 if (Ex == nullptr) 4511 return Ex; 4512 return make<CastExpr>("const_cast", Ty, Ex); 4543 Node *Ex = getDerived().parseExpr(); local 4544 if (Ex == nullptr) 4545 return Ex; 4702 Node *Ex = getDerived().parseExpr(); local 4829 Node *Ex = getDerived().parseExpr(); local 4868 Node *Ex = getDerived().parseExpr(); local 4899 Node *Ex = getDerived().parseExpr(); local 4926 Node *Ex = getDerived().parseExpr(); local [all...] |
/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | MemRegion.h | 319 /// (system or internal). Ex: Const global scalars would be modeled as part of 473 const Expr *Ex; member in class:clang::ento::AllocaRegion 476 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) { 477 assert(Ex); 480 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, 484 const Expr *getExpr() const { return Ex; } 1183 Expr const *Ex; member in class:clang::ento::CXXTempObjectRegion 1186 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) { 1196 const Expr *getExpr() const { return Ex; } 1198 QualType getValueType() const override { return Ex [all...] |
H A D | ExprEngine.h | 447 void VisitArraySubscriptExpr(const ArraySubscriptExpr *Ex, 477 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred, 493 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R, 532 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred, 536 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, 588 const Expr *Ex); 601 ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex, 681 // same as state->getLValue(Ex). 682 /// Simulate a read of the result of Ex.
|
H A D | ProgramState.h | 336 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 765 inline SVal ProgramState::getSVal(const Stmt *Ex, argument 767 return Env.getSVal(EnvironmentEntry(Ex, LCtx), 774 if (const Expr *Ex = dyn_cast<Expr>(S)) { 775 QualType T = Ex->getType(); 776 if (Ex->isGLValue() || Loc::isLocType(T) ||
|
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
H A D | RetainCountChecker.cpp | 230 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-13-stable/contrib/llvm-project/clang/lib/Sema/ |
H A D | SemaExprCXX.cpp | 791 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) { argument 793 if (Ex) { 805 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens())) 824 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope); 827 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex, argument 844 if (Ex && !Ex->isTypeDependent()) { 845 QualType ExceptionObjectTy = Context.getExceptionObjectType(Ex->getType()); 846 if (CheckCXXThrowOperand(OpLoc, ExceptionObjectTy, Ex)) 866 NRVOVariable = getCopyElisionCandidate(QualType(), Ex, CES_Stric [all...] |