/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); 75 bugreporter::trackNullOrUndefValue(N, Ex, *report);
|
H A D | UndefResultChecker.cpp | 53 const Expr *Ex = NULL; local 57 Ex = B->getLHS()->IgnoreParenCasts(); 61 Ex = B->getRHS()->IgnoreParenCasts(); 65 if (Ex) { 78 if (Ex) { 79 report->addRange(Ex->getSourceRange()); 80 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 | 104 static const Expr *LookThroughTransitiveAssignments(const Expr *Ex) { argument 105 while (Ex) { 107 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts()); 111 Ex = BO->getRHS(); 116 return Ex; 202 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, argument 217 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC); 300 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); local 302 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
|
H A D | IdempotentOperationChecker.cpp | 93 static bool CanVary(const Expr *Ex, 619 bool IdempotentOperationChecker::CanVary(const Expr *Ex, argument 622 Ex = Ex->IgnoreParenCasts(); 624 if (Ex->getLocStart().isMacroID()) 627 switch (Ex->getStmtClass()) { 659 cast<const UnaryExprOrTypeTraitExpr>(Ex); 666 return !isConstantOrPseudoConstant(cast<DeclRefExpr>(Ex), AC); 670 const BinaryOperator *B = cast<const BinaryOperator>(Ex); 682 const UnaryOperator *U = cast<const UnaryOperator>(Ex); [all...] |
H A D | CStringChecker.cpp | 127 const Expr *Ex, 132 const Expr *Ex, 143 const Expr *Ex, SVal V); 653 const Expr *Ex, 667 MR, Ex, sizeTy, 677 const Expr *Ex, SVal Buf, 704 report->addRange(Ex->getSourceRange()); 733 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical); 768 report->addRange(Ex->getSourceRange()); 651 getCStringLengthForRegion(CheckerContext &C, ProgramStateRef &state, const Expr *Ex, const MemRegion *MR, bool hypothetical) argument 676 getCStringLength(CheckerContext &C, ProgramStateRef &state, const Expr *Ex, SVal Buf, bool hypothetical) const argument
|
H A D | RetainCountChecker.cpp | 2533 void processObjCLiterals(CheckerContext &C, const Expr *Ex) const; 2652 const Expr *Ex) const { 2655 for (Stmt::const_child_iterator it = Ex->child_begin(), et = Ex->child_end() ; 2673 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { 2674 QualType ResultTy = Ex->getType(); 2694 void RetainCountChecker::checkPostStmt(const ObjCBoxedExpr *Ex, argument 2700 if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) { 2701 QualType ResultTy = Ex->getType(); 2877 const Expr *Ex local [all...] |
/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); 132 const Expr *Ex = dyn_cast<Expr>(ps.getStmt()); local 133 if (!Ex) 139 if (isInterestingLValueExpr(Ex)) 147 if (!PM.isConsumedExpr(Ex))
|
H A D | ExprEngineC.cpp | 217 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, argument 229 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); 236 QualType ExTy = Ex->getType(); 272 // Copy the SVal of Ex to CastE. 275 SVal V = state->getSVal(Ex, LCtx); 312 SVal V = state->getSVal(Ex, LCtx); 321 SVal val = state->getSVal(Ex, LCtx); 329 SVal val = state->getSVal(Ex, LCtx); 632 void ExprEngine::VisitGuardedExpr(const Expr *Ex, argument 674 B.generateNode(Ex, Pre 696 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 742 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 760 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 787 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 799 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local 856 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local [all...] |
H A D | BugReporterVisitors.cpp | 790 if (const Expr *Ex = dyn_cast<Expr>(S)) { 791 Ex = Ex->IgnoreParenCasts(); 792 if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(Ex)) { 805 if (const Expr *Ex = dyn_cast<Expr>(S)) { 806 Ex = Ex->IgnoreParenCasts(); 807 if (ExplodedGraph::isInterestingLValueExpr(Ex) || CallEvent::isCallStmt(Ex)) 808 Inner = Ex; 1136 const Expr *Ex = Cond; local 1162 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); 398 Expr const *Ex, 400 ID.AddPointer(Ex); 405 ProfileRegion(ID, Ex, getSuperRegion()); 455 os << "alloca{" << (const void*) Ex << ',' << Cnt << '}'; 477 << (const void*) Ex << '}'; 278 ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, unsigned cnt, const MemRegion *superRegion) argument 397 ProfileRegion(llvm::FoldingSetNodeID &ID, Expr const *Ex, const MemRegion *sReg) argument
|
H A D | ExprEngine.cpp | 171 const Expr *Ex, 173 SVal V = State->getSVal(Ex, LC); 184 const Expr *Inner = Ex->IgnoreParens(); 209 State = State->BindExpr(Result ? Result : Ex, LC, Reg); 731 const Expr *Ex = cast<Expr>(S); local 732 QualType resultType = Ex->getType(); 738 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType, 740 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); 1182 const Expr *Ex = dyn_cast<Expr>(Condition); local 1183 if (!Ex) 169 createTemporaryRegionIfNeeded(ProgramStateRef State, const LocationContext *LC, const Expr *Ex, const Expr *Result) argument 1522 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 1975 evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) argument [all...] |
H A D | RegionStore.cpp | 362 const Expr *Ex, 870 const Expr *Ex; member in class:__anon4117::invalidateRegionsWorker 885 Ex(ex), Count(count), LCtx(lctx), IS(is), Regions(r) {} 968 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); 983 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 992 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1008 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1016 const Expr *Ex, 1024 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx, 1042 const Expr *Ex, unsigne 1015 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindingsRef B, InvalidatedRegions *Invalidated) argument 1040 invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions, const Expr *Ex, unsigned Count, const LocationContext *LCtx, InvalidatedSymbols &IS, const CallEvent *Call, InvalidatedRegions *Invalidated) argument [all...] |
H A D | BugReporter.cpp | 1246 const Expr *Ex, 1248 SVal V = State->getSVal(Ex, LCtx); 1249 if (!(R.isInteresting(V) || IE.count(Ex))) 1252 switch (Ex->getStmtClass()) { 1254 if (!isa<CastExpr>(Ex)) 1259 for (Stmt::const_child_iterator CI = Ex->child_begin(), 1260 CE = Ex->child_end(); 1393 if (const Expr *Ex = PS->getStmtAs<Expr>()) 1395 N->getState().getPtr(), Ex, 1401 if (const Expr *Ex 1243 reversePropagateIntererstingSymbols(BugReport &R, InterestingExprs &IE, const ProgramState *State, const Expr *Ex, const LocationContext *LCtx) argument [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 276 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 690 inline SVal ProgramState::getSVal(const Stmt *Ex, argument 692 return Env.getSVal(EnvironmentEntry(Ex, LCtx), 699 if (const Expr *Ex = dyn_cast<Expr>(S)) { 700 QualType T = Ex->getType(); 701 if (Ex->isGLValue() || Loc::isLocType(T) || T->isIntegerType())
|
H A D | MemRegion.h | 283 /// (system or internal). Ex: Const global scalars would be modeled as part of 438 const Expr *Ex; member in class:clang::ento::AllocaRegion 441 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} 445 const Expr *getExpr() const { return Ex; } 453 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, 1034 Expr const *Ex; member in class:clang::ento::CXXTempObjectRegion 1037 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) {} 1043 const Expr *getExpr() const { return Ex; } 1046 return Ex->getType(); 1158 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 | 553 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl, local 557 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
|
H A D | LegalizeIntegerTypes.cpp | 3033 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl, SclrTy, local 3035 SDValue Tr = DAG.getNode(ISD::TRUNCATE, dl, RetSclrTy, Ex);
|
/external/clang/lib/Analysis/ |
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;
|
/external/clang/lib/Sema/ |
H A D | SemaCast.cpp | 239 ExprResult Ex = Owned(E); local 244 bool TypeDependent = DestType->isDependentType() || Ex.get()->isTypeDependent();
|
H A D | SemaDeclAttr.cpp | 1146 Expr *Ex = *I; local 1148 if (Ex->isTypeDependent() || Ex->isValueDependent() || 1149 !Ex->isIntegerConstantExpr(ArgNum, S.Context)) { 1151 << "alloc_size" << Ex->getSourceRange(); 1159 << "alloc_size" << I.getArgNum() << Ex->getSourceRange(); 1168 << "alloc_size" << Ex->getSourceRange(); 1178 << "alloc_size" << Ex->getSourceRange(); 1217 Expr *Ex = *I; local 1219 if (Ex [all...] |
H A D | SemaExprCXX.cpp | 497 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) { argument 499 if (Ex) { 511 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens())) 530 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope); 533 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex, argument 540 if (Ex && !Ex->isTypeDependent()) { 541 ExprResult ExRes = CheckCXXThrowOperand(OpLoc, Ex, IsThrownVarInScope); 544 Ex = ExRes.take(); 547 return Owned(new (Context) CXXThrowExpr(Ex, Contex 2025 ExprResult Ex = Owned(ExE); local [all...] |