/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 (Stmt::const_child_iterator I = Ex->child_begin(), 41 E = Ex->child_end();I!=E;++I) 47 return Ex; 50 bool MatchesCriteria(const Expr *Ex) { argument 51 return St->getSVal(Ex, LCtx).isUndef(); 88 const Expr *Ex = cast<Expr>(Condition); local 94 if (PS->getStmt() == Ex) 98 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 | 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, 662 const Expr *Ex, 676 MR, Ex, sizeTy, 699 const Expr *Ex, SVal Buf, 726 report->addRange(Ex->getSourceRange()); 755 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical); 791 report->addRange(Ex->getSourceRange()); 660 getCStringLengthForRegion(CheckerContext &C, ProgramStateRef &state, const Expr *Ex, const MemRegion *MR, bool hypothetical) argument 698 getCStringLength(CheckerContext &C, ProgramStateRef &state, const Expr *Ex, SVal Buf, bool hypothetical) const argument
|
/external/llvm/lib/ExecutionEngine/RuntimeDyld/ |
H A D | RuntimeDyldMachO.h | 82 EHFrameRelatedSections(SID EH, SID T, SID Ex) argument 83 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {}
|
/external/clang/lib/StaticAnalyzer/Core/ |
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 | 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 | SValBuilder.cpp | 110 const Expr *Ex, 113 QualType T = Ex->getType(); 117 QualType ExType = Ex->getType(); 118 if (Ex->isGLValue()) 121 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); 109 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument
|
H A D | ExprEngineC.cpp | 227 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, argument 239 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); 246 QualType ExTy = Ex->getType(); 282 // Copy the SVal of Ex to CastE. 285 SVal V = state->getSVal(Ex, LCtx); 324 SVal V = state->getSVal(Ex, LCtx); 333 SVal val = state->getSVal(Ex, LCtx); 341 SVal val = state->getSVal(Ex, LCtx); 634 void ExprEngine::VisitGuardedExpr(const Expr *Ex, argument 689 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCt 716 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 779 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 797 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 824 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 836 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 895 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local [all...] |
H A D | BugReporterVisitors.cpp | 862 static const Expr *peelOffOuterExpr(const Expr *Ex, argument 864 Ex = Ex->IgnoreParenCasts(); 865 if (const ExprWithCleanups *EWC = dyn_cast<ExprWithCleanups>(Ex)) 867 if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(Ex)) 871 if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(Ex)) { 892 return Ex; 902 if (const Expr *Ex = dyn_cast<Expr>(S)) { 903 Ex = Ex 1249 const Expr *Ex = Cond; local 1275 patternMatch(const Expr *Ex, raw_ostream &Out, BugReporterContext &BRC, BugReport &report, const ExplodedNode *N, Optional<bool> &prunable) argument [all...] |
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 << '}'; 880 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) { argument 882 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 | 175 const Expr *Ex, 177 SVal V = State->getSVal(Ex, LC); 183 Result = Ex; 199 const Expr *Inner = Ex->IgnoreParens(); 874 const Expr *Ex = cast<Expr>(S); local 875 QualType resultType = Ex->getType(); 881 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, 884 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); 1331 const Expr *Ex = dyn_cast<Expr>(Condition); local 1332 if (!Ex) 173 createTemporaryRegionIfNeeded(ProgramStateRef State, const LocationContext *LC, const Expr *Ex, const Expr *Result) argument 1727 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 2208 evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) argument [all...] |
H A D | RegionStore.cpp | 385 const Expr *Ex, 943 const Expr *Ex; member in class:__anon18283::invalidateRegionsWorker 960 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r){} 1051 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); 1072 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1081 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1087 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1095 const Expr *Ex, 1103 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx, 1151 const Expr *Ex, unsigne 1094 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1149 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 | 276 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { argument 277 while (Ex) { 278 Ex = Ex->IgnoreParenNoopCasts(C); 279 if (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) { 281 Ex = CE->getSubExpr(); 287 return Ex;
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 277 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 692 inline SVal ProgramState::getSVal(const Stmt *Ex, argument 694 return Env.getSVal(EnvironmentEntry(Ex, LCtx), 701 if (const Expr *Ex = dyn_cast<Expr>(S)) { 702 QualType T = Ex->getType(); 703 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 | 618 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl, local 622 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
|
H A D | LegalizeIntegerTypes.cpp | 3054 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl, SclrTy, local 3056 SDValue Tr = DAG.getNode(ISD::TRUNCATE, dl, RetSclrTy, Ex);
|
/external/clang/lib/Sema/ |
H A D | SemaCast.cpp | 242 ExprResult Ex = E; local 248 Ex.get()->isTypeDependent() || 249 Ex.get()->isValueDependent();
|
H A D | SemaDeclAttr.cpp | 422 static bool isCapabilityExpr(Sema &S, const Expr *Ex) { argument 428 if (const auto *E = dyn_cast<DeclRefExpr>(Ex)) 430 else if (const auto *E = dyn_cast<CastExpr>(Ex)) 432 else if (const auto *E = dyn_cast<ParenExpr>(Ex)) 434 else if (const auto *E = dyn_cast<UnaryOperator>(Ex)) { 438 } else if (const auto *E = dyn_cast<BinaryOperator>(Ex)) { 1136 Expr *Ex = Attr.getArgAsExpr(i); local 1138 if (!checkFunctionOrMethodParameterIndex(S, D, Attr, i + 1, Ex, Idx)) 1144 Ex->getSourceRange())) 1262 Expr *Ex local [all...] |
H A D | SemaExprCXX.cpp | 579 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) { argument 581 if (Ex) { 593 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens())) 612 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope); 615 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex, argument 625 if (Ex && !Ex->isTypeDependent()) { 626 ExprResult ExRes = CheckCXXThrowOperand(OpLoc, Ex, IsThrownVarInScope); 629 Ex = ExRes.get(); 633 CXXThrowExpr(Ex, Contex 2253 ExprResult Ex = ExE; local [all...] |