Searched defs:Ex (Results 1 - 25 of 39) 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 (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 DDereferenceChecker.cpp47 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 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,
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 DRetainCountChecker.cpp2662 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 DRuntimeDyldMachO.h40 EHFrameRelatedSections(SID EH, SID T, SID Ex) argument
41 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {}
/external/clang/lib/StaticAnalyzer/Core/
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 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 DSValBuilder.cpp113 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 DExprEngineC.cpp249 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 DBugReporterVisitors.cpp858 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 DCallEvent.cpp435 const Expr *Ex = getCXXThisExpr()->ignoreParenBaseCasts(); local
436 const CXXRecordDecl *ParentRecord = Ex->getType()->getAsCXXRecordDecl();
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 << '}';
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 DExprEngine.cpp185 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 DRegionStore.cpp379 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 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.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;
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 DProgramState.h299 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 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.cpp678 SDValue Ex = DAG.getNode( local
683 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
/external/clang/lib/Sema/
H A DSemaCast.cpp239 ExprResult Ex = E; local
244 DestType->isDependentType() || Ex.get()->isTypeDependent();
/external/llvm/lib/Analysis/
H A DLoopAccessAnalysis.cpp136 const SCEV *Ex = SE->getBackedgeTakenCount(Lp); local
139 const SCEV *ScEnd = AR->evaluateAtIteration(Ex, *SE);

Completed in 3804 milliseconds

12