/freebsd-11-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 | 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 | UndefResultChecker.cpp | 37 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 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-11-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 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 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) || 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 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 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 D | BugReporterVisitors.cpp | 1851 /// \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 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 | 266 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 D | RegionStore.cpp | 419 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 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 | 296 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 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 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 D | RuntimeDyldMachO.h | 39 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 D | ExprEngine.h | 416 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 D | MemRegion.h | 320 /// (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 D | ProgramState.h | 329 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 D | ItaniumDemangle.h | 4103 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 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-11-stable/contrib/llvm-project/clang/lib/Sema/ |
H A D | SemaExprCXX.cpp | 722 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...] |