Searched defs:Ex (Results 1 - 25 of 27) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Checkers/
H A DObjCAtSyncChecker.cpp40 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 DUndefResultChecker.cpp53 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 DUndefBranchChecker.cpp36 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 DDereferenceChecker.cpp45 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 DDeadStoresChecker.cpp104 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 DIdempotentOperationChecker.cpp93 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 DCStringChecker.cpp127 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 DRetainCountChecker.cpp2533 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 DExprEngineObjC.cpp22 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 DExplodedGraph.cpp59 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 DExprEngineC.cpp217 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 DBugReporterVisitors.cpp790 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 DMemRegion.cpp279 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 DExprEngine.cpp171 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 DRegionStore.cpp362 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 DBugReporter.cpp1246 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 DProgramState.h276 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 DMemRegion.h283 /// (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 DUmfPackSupport.h99 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 DLegalizeVectorOps.cpp553 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl, local
557 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
H A DLegalizeIntegerTypes.cpp3033 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 DUninitializedValues.cpp277 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 DSemaCast.cpp239 ExprResult Ex = Owned(E); local
244 bool TypeDependent = DestType->isDependentType() || Ex.get()->isTypeDependent();
H A DSemaDeclAttr.cpp1146 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 DSemaExprCXX.cpp497 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...]

Completed in 410 milliseconds

12