/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ObjCAtSyncChecker.cpp | 40 const Expr *Ex = S->getSynchExpr(); local 42 SVal V = state->getSVal(Ex, C.getLocationContext()); 52 bugreporter::trackNullOrUndefValue(N, Ex, *report); 76 bugreporter::trackNullOrUndefValue(N, Ex, *report);
|
H A D | UndefResultChecker.cpp | 63 const Expr *Ex = nullptr; local 67 Ex = B->getLHS()->IgnoreParenCasts(); 71 Ex = B->getRHS()->IgnoreParenCasts(); 75 if (Ex) { 88 if (Ex) { 89 report->addRange(Ex->getSourceRange()); 90 bugreporter::trackNullOrUndefValue(N, Ex, *report);
|
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 | DereferenceChecker.cpp | 47 const Expr *Ex, const ProgramState *state, 56 const Expr *Ex, 60 Ex = Ex->IgnoreParenLValueCasts(); 61 switch (Ex->getStmtClass()) { 65 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex); 74 const MemberExpr *ME = cast<MemberExpr>(Ex); 82 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex); 54 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
|
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; 208 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, argument 224 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC); 308 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); variable 310 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) [all...] |
H A D | CStringChecker.cpp | 131 const Expr *Ex, 136 const Expr *Ex, 147 const Expr *Ex, SVal V, 670 const Expr *Ex, 684 MR, Ex, sizeTy, 707 const Expr *Ex, SVal Buf, 734 report->addRange(Ex->getSourceRange()); 763 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical); 798 report->addRange(Ex->getSourceRange()); 668 getCStringLengthForRegion(CheckerContext &C, ProgramStateRef &state, const Expr *Ex, const MemRegion *MR, bool hypothetical) argument 706 getCStringLength(CheckerContext &C, ProgramStateRef &state, const Expr *Ex, SVal Buf, bool hypothetical) const argument
|
H A D | RetainCountChecker.cpp | 2662 void processObjCLiterals(CheckerContext &C, const Expr *Ex) const; 2780 const Expr *Ex) const { 2783 for (const Stmt *Child : Ex->children()) { 2799 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { 2800 QualType ResultTy = Ex->getType(); 2820 void RetainCountChecker::checkPostStmt(const ObjCBoxedExpr *Ex, argument 2826 if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) { 2827 QualType ResultTy = Ex->getType(); 3100 const Expr *Ex = CallOrMsg.getOriginExpr(); local 3104 assert(Ex); [all...] |
/external/llvm/lib/ExecutionEngine/RuntimeDyld/ |
H A D | RuntimeDyldMachO.h | 40 EHFrameRelatedSections(SID EH, SID T, SID Ex) argument 41 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {}
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExplodedGraph.cpp | 59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) { argument 60 if (!Ex->isLValue()) 62 return isa<DeclRefExpr>(Ex) || 63 isa<MemberExpr>(Ex) || 64 isa<ObjCIvarRefExpr>(Ex); 133 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt()); local 134 if (!Ex) 140 if (isInterestingLValueExpr(Ex)) 148 if (!PM.isConsumedExpr(Ex))
|
H A D | ExprEngineObjC.cpp | 22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, argument 27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); 28 SVal location = state->getLValue(Ex->getDecl(), baseVal); 32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); 36 getCheckerManager().runCheckersForPostStmt(Dst, dstIvar, Ex, *this);
|
H A D | SValBuilder.cpp | 113 const Expr *Ex, 116 QualType T = Ex->getType(); 123 QualType ExType = Ex->getType(); 124 if (Ex->isGLValue()) 127 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); 112 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument
|
H A D | ExprEngineC.cpp | 249 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, argument 261 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); 268 QualType ExTy = Ex->getType(); 304 // Copy the SVal of Ex to CastE. 307 SVal V = state->getSVal(Ex, LCtx); 346 SVal V = state->getSVal(Ex, LCtx); 355 SVal val = state->getSVal(Ex, LCtx); 363 SVal val = state->getSVal(Ex, LCtx); 659 void ExprEngine::VisitGuardedExpr(const Expr *Ex, argument 712 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCt 739 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 802 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 820 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 847 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 859 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 918 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local [all...] |
H A D | BugReporterVisitors.cpp | 858 static const Expr *peelOffOuterExpr(const Expr *Ex, argument 860 Ex = Ex->IgnoreParenCasts(); 861 if (const ExprWithCleanups *EWC = dyn_cast<ExprWithCleanups>(Ex)) 863 if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(Ex)) 867 if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(Ex)) { 888 return Ex; 898 if (const Expr *Ex = dyn_cast<Expr>(S)) { 899 Ex = Ex 1240 const Expr *Ex = Cond; local 1266 patternMatch(const Expr *Ex, raw_ostream &Out, BugReporterContext &BRC, BugReport &report, const ExplodedNode *N, Optional<bool> &prunable) argument [all...] |
H A D | CallEvent.cpp | 435 const Expr *Ex = getCXXThisExpr()->ignoreParenBaseCasts(); local 436 const CXXRecordDecl *ParentRecord = Ex->getType()->getAsCXXRecordDecl();
|
H A D | MemRegion.cpp | 279 const Expr *Ex, unsigned cnt, 282 ID.AddPointer(Ex); 288 ProfileRegion(ID, Ex, Cnt, superRegion); 400 Expr const *Ex, 402 ID.AddPointer(Ex); 407 ProfileRegion(ID, Ex, getSuperRegion()); 457 os << "alloca{" << (const void*) Ex << ',' << Cnt << '}'; 486 << (const void*) Ex << '}'; 883 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) { argument 885 Ex, getGlobalsRegio 278 ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, unsigned cnt, const MemRegion *superRegion) argument 399 ProfileRegion(llvm::FoldingSetNodeID &ID, Expr const *Ex, const MemRegion *sReg) argument [all...] |
H A D | ExprEngine.cpp | 185 const Expr *Ex, 187 SVal V = State->getSVal(Ex, LC); 193 Result = Ex; 209 const Expr *Inner = Ex->IgnoreParens(); 985 const Expr *Ex = cast<Expr>(S); local 986 QualType resultType = Ex->getType(); 992 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, 995 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); 1470 const Expr *Ex = dyn_cast<Expr>(Condition); local 1471 if (!Ex) 183 createTemporaryRegionIfNeeded(ProgramStateRef State, const LocationContext *LC, const Expr *Ex, const Expr *Result) argument 1860 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 2372 evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) argument [all...] |
H A D | RegionStore.cpp | 379 const Expr *Ex, 928 const Expr *Ex; member in class:__anon1764::invalidateRegionsWorker 946 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), 1057 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); 1078 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1157 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1188 const Expr *Ex, 1196 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx, 1244 const Expr *Ex, unsigne 1187 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1242 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...] |
/external/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 | 277 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { argument 278 while (Ex) { 279 Ex = Ex->IgnoreParenNoopCasts(C); 280 if (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) { 282 Ex = CE->getSubExpr(); 288 return Ex; 463 const Expr *Ex = stripCasts(DC->getParentASTContext(), *I); local 464 const UnaryOperator *UO = dyn_cast<UnaryOperator>(Ex); 466 Ex [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 299 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 727 inline SVal ProgramState::getSVal(const Stmt *Ex, argument 729 return Env.getSVal(EnvironmentEntry(Ex, LCtx), 736 if (const Expr *Ex = dyn_cast<Expr>(S)) { 737 QualType T = Ex->getType(); 738 if (Ex->isGLValue() || Loc::isLocType(T) ||
|
H A D | MemRegion.h | 295 /// (system or internal). Ex: Const global scalars would be modeled as part of 450 const Expr *Ex; member in class:clang::ento::AllocaRegion 453 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} 457 const Expr *getExpr() const { return Ex; } 465 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, 1052 Expr const *Ex; member in class:clang::ento::CXXTempObjectRegion 1055 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) {} 1061 const Expr *getExpr() const { return Ex; } 1064 return Ex->getType(); 1181 const AllocaRegion *getAllocaRegion(const Expr *Ex, unsigne [all...] |
/external/eigen/Eigen/src/UmfPackSupport/ |
H A D | UmfPackSupport.h | 99 inline int umfpack_get_determinant(double *Mx, double *Ex, void *NumericHandle, double User_Info [UMFPACK_INFO]) argument 101 return umfpack_di_get_determinant(Mx,Ex,NumericHandle,User_Info); 104 inline int umfpack_get_determinant(std::complex<double> *Mx, double *Ex, void *NumericHandle, double User_Info [UMFPACK_INFO]) argument 107 return umfpack_zi_get_determinant(&mx_real,0,Ex,NumericHandle,User_Info);
|
/external/llvm/lib/CodeGen/SelectionDAG/ |
H A D | LegalizeVectorOps.cpp | 678 SDValue Ex = DAG.getNode( local 683 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
|
/external/clang/lib/Sema/ |
H A D | SemaCast.cpp | 239 ExprResult Ex = E; local 244 DestType->isDependentType() || Ex.get()->isTypeDependent();
|
/external/llvm/lib/Analysis/ |
H A D | LoopAccessAnalysis.cpp | 136 const SCEV *Ex = SE->getBackedgeTakenCount(Lp); local 139 const SCEV *ScEnd = AR->evaluateAtIteration(Ex, *SE);
|