Searched defs:Ex (Results 1 - 25 of 32) 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);
76 bugreporter::trackNullOrUndefValue(N, Ex, *report);
H A DUndefResultChecker.cpp63 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 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.cpp103 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 DCStringChecker.cpp131 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 DRuntimeDyldMachO.h82 EHFrameRelatedSections(SID EH, SID T, SID Ex) argument
83 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {}
/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);
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 DSValBuilder.cpp110 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 DExprEngineC.cpp227 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 DBugReporterVisitors.cpp862 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 DMemRegion.cpp279 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 DExprEngine.cpp175 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 DRegionStore.cpp385 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 DReachableCode.cpp34 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 DUninitializedValues.cpp276 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 DProgramState.h277 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 DMemRegion.h295 /// (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 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.cpp618 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl, local
622 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
H A DLegalizeIntegerTypes.cpp3054 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 DSemaCast.cpp242 ExprResult Ex = E; local
248 Ex.get()->isTypeDependent() ||
249 Ex.get()->isValueDependent();
H A DSemaDeclAttr.cpp422 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 DSemaExprCXX.cpp579 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...]

Completed in 396 milliseconds

12