Home
last modified time | relevance | path

Searched refs:Ex (Results 1 – 25 of 49) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Checkers/
DUndefBranchChecker.cpp35 const Expr* FindExpr(const Expr* Ex) { in FindExpr()
36 if (!MatchesCriteria(Ex)) in FindExpr()
39 for (Stmt::const_child_iterator I = Ex->child_begin(), in FindExpr()
40 E = Ex->child_end();I!=E;++I) in FindExpr()
46 return Ex; in FindExpr()
49 bool MatchesCriteria(const Expr* Ex) { return St->getSVal(Ex).isUndef(); } in MatchesCriteria()
78 const Expr* Ex = cast<Expr>(B.getSrc()->getTerminatorCondition()); in checkBranchCondition() local
79 assert (Ex && "Block must have a terminator."); in checkBranchCondition()
95 if (PS->getStmt() == Ex) in checkBranchCondition()
99 Ex = FindIt.FindExpr(Ex); in checkBranchCondition()
[all …]
DUndefResultChecker.cpp50 const Expr *Ex = NULL; in checkPostStmt() local
54 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
58 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
62 if (Ex) { in checkPostStmt()
75 if (Ex) { in checkPostStmt()
76 report->addRange(Ex->getSourceRange()); in checkPostStmt()
77 report->addVisitorCreator(bugreporter::registerTrackNullOrUndefValue, Ex); in checkPostStmt()
DDereferenceChecker.cpp36 const Expr *Ex, bool loadedFrom = false);
42 const Expr *Ex, in AddDerefSource() argument
44 Ex = Ex->IgnoreParenLValueCasts(); in AddDerefSource()
45 switch (Ex->getStmtClass()) { in AddDerefSource()
49 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex); in AddDerefSource()
58 const MemberExpr *ME = cast<MemberExpr>(Ex); in AddDerefSource()
DObjCAtSyncChecker.cpp40 const Expr *Ex = S->getSynchExpr(); in checkPreStmt() local
42 SVal V = state->getSVal(Ex); in checkPreStmt()
52 report->addVisitorCreator(bugreporter::registerTrackNullOrUndefValue, Ex); in checkPreStmt()
76 Ex); in checkPreStmt()
DIdempotentOperationChecker.cpp91 static bool CanVary(const Expr *Ex,
612 bool IdempotentOperationChecker::CanVary(const Expr *Ex, in CanVary() argument
615 Ex = Ex->IgnoreParenCasts(); in CanVary()
617 if (Ex->getLocStart().isMacroID()) in CanVary()
620 switch (Ex->getStmtClass()) { in CanVary()
653 cast<const UnaryExprOrTypeTraitExpr>(Ex); in CanVary()
660 return !isConstantOrPseudoConstant(cast<DeclRefExpr>(Ex), AC); in CanVary()
664 const BinaryOperator *B = cast<const BinaryOperator>(Ex); in CanVary()
676 const UnaryOperator *U = cast<const UnaryOperator>(Ex); in CanVary()
686 return CanVary(cast<const ChooseExpr>(Ex)->getChosenSubExpr( in CanVary()
[all …]
DUndefCapturedBlockVarChecker.cpp91 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) in checkPostStmt() local
92 R->addRange(Ex->getSourceRange()); in checkPostStmt()
DDeadStoresChecker.cpp137 void CheckVarDecl(VarDecl* VD, Expr* Ex, Expr* Val, in CheckVarDecl() argument
151 Report(VD, dsk, Ex->getSourceRange().getBegin(), in CheckVarDecl()
234 Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); in ObserveStmt() local
236 if (DeclRefExpr* DR = dyn_cast<DeclRefExpr>(Ex)) in ObserveStmt()
DObjCUnusedIVarsChecker.cpp36 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) { in Scan() local
37 const ObjCIvarDecl *D = Ex->getDecl(); in Scan()
DCStringChecker.cpp97 const Expr *Ex, const MemRegion *MR,
100 const Expr *Ex, SVal Buf,
110 const Expr *Ex, SVal V);
602 const Expr *Ex, in getCStringLengthForRegion() argument
617 MR, Ex, sizeTy, Count); in getCStringLengthForRegion()
626 const Expr *Ex, SVal Buf, in getCStringLength() argument
650 report->addRange(Ex->getSourceRange()); in getCStringLength()
679 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical); in getCStringLength()
711 report->addRange(Ex->getSourceRange()); in getCStringLength()
/external/clang/lib/StaticAnalyzer/Core/
DExprEngine.cpp432 if (const Expr *Ex = dyn_cast<Expr>(S)) in Visit() local
433 S = Ex->IgnoreParens(); in Visit()
858 const Expr* Ex = (Op == BO_LAnd && branchTaken) || in MarkBranch() local
862 return state->BindExpr(B, UndefinedVal(Ex)); in MarkBranch()
873 const Expr* Ex; in MarkBranch() local
876 Ex = C->getTrueExpr(); in MarkBranch()
878 Ex = C->getFalseExpr(); in MarkBranch()
880 return state->BindExpr(C, UndefinedVal(Ex)); in MarkBranch()
887 const Expr* Ex = branchTaken ? C->getLHS() : C->getRHS(); in MarkBranch() local
888 return state->BindExpr(C, UndefinedVal(Ex)); in MarkBranch()
[all …]
DCXXExprEngine.cpp106 void ExprEngine::CreateCXXTemporaryObject(const Expr *Ex, ExplodedNode *Pred, in CreateCXXTemporaryObject() argument
109 Visit(Ex, Pred, Tmp); in CreateCXXTemporaryObject()
115 SVal V = state->getSVal(Ex); in CreateCXXTemporaryObject()
118 svalBuilder.getRegionManager().getCXXTempObjectRegion(Ex, in CreateCXXTemporaryObject()
122 MakeNode(Dst, Ex, Pred, state->BindExpr(Ex, loc::MemRegionVal(R))); in CreateCXXTemporaryObject()
DMemRegion.cpp253 const Expr* Ex, unsigned cnt, in ProfileRegion() argument
256 ID.AddPointer(Ex); in ProfileRegion()
261 ProfileRegion(ID, Ex, Cnt, superRegion); in Profile()
365 Expr const *Ex, in ProfileRegion() argument
367 ID.AddPointer(Ex); in ProfileRegion()
372 ProfileRegion(ID, Ex, getSuperRegion()); in Profile()
406 os << "alloca{" << (void*) Ex << ',' << Cnt << '}'; in dumpToStream()
DEnvironment.cpp42 if (const Expr *Ex = dyn_cast<Expr>(E)) in getSVal() local
43 E = Ex->IgnoreParens(); in getSVal()
DCFRefCount.cpp64 if (const Expr *Ex = Msg.getInstanceReceiver()) in getSValAsScalarOrLoc() local
65 return state->getSValAsScalarOrLoc(Ex); in getSValAsScalarOrLoc()
77 if (const Expr *Ex = Msg.getInstanceReceiver()) in getSourceRange() local
78 return Ex->getSourceRange(); in getSourceRange()
1739 const Expr* Ex,
2559 const Expr* Ex, in evalSummary() argument
2688 Ex, Count, &IS, in evalSummary()
2708 ProcessNonLeakError(Dst, Builder, Ex, ErrorRange, Pred, state, in evalSummary()
2749 SVal X = svalBuilder.getConjuredSymbolVal(NULL, Ex, resultTy, Count); in evalSummary()
2750 state = state->BindExpr(Ex, X, false); in evalSummary()
[all …]
DFlatStore.cpp61 const MemRegion * const *E, const Expr *Ex,
177 const Expr *Ex, unsigned Count, in invalidateRegions() argument
DRegionStore.cpp587 const Expr *Ex; member in __anond103a6c50511::invalidateRegionsWorker
600 Ex(ex), Count(count), IS(is), Regions(r) {} in invalidateRegionsWorker()
676 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count); in VisitBaseRegion()
692 svalBuilder.getConjuredSymbolVal(baseR, Ex, Ctx.IntTy, Count); in VisitBaseRegion()
700 svalBuilder.getConjuredSymbolVal(baseR, Ex, AT->getElementType(), Count); in VisitBaseRegion()
715 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, T, Count); in VisitBaseRegion()
723 const Expr *Ex, unsigned Count, in invalidateRegions() argument
729 Ex, Count, IS, Regions, invalidateGlobals); in invalidateRegions()
748 svalBuilder.getConjuredSymbolVal(/* SymbolTag = */ (void*) GS, Ex, in invalidateRegions()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h241 void VisitLvalArraySubscriptExpr(const ArraySubscriptExpr* Ex,
272 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
288 void VisitGuardedExpr(const Expr* Ex, const Expr* L, const Expr* R,
333 void VisitOffsetOfExpr(const OffsetOfExpr* Ex, ExplodedNode* Pred,
337 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr* Ex,
369 void CreateCXXTemporaryObject(const Expr *Ex, ExplodedNode *Pred,
393 const Expr *Ex);
443 void evalLoad(ExplodedNodeSet& Dst, const Expr* Ex, ExplodedNode* Pred,
453 void evalLoadCommon(ExplodedNodeSet& Dst, const Expr* Ex, ExplodedNode* Pred,
DMemRegion.h326 const Expr* Ex; variable
329 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {} in AllocaRegion()
333 const Expr* getExpr() const { return Ex; } in getExpr()
341 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr* Ex,
840 Expr const *Ex; variable
843 : TypedRegion(sReg, CXXTempObjectRegionKind), Ex(E) {} in CXXTempObjectRegion()
850 return Ex->getType(); in getValueType()
954 const AllocaRegion *getAllocaRegion(const Expr* Ex, unsigned Cnt,
1012 const CXXTempObjectRegion *getCXXTempObjectRegion(Expr const *Ex,
DGRState.h265 SVal getSValAsScalarOrLoc(const Stmt *Ex) const;
692 inline SVal GRState::getSVal(const Stmt* Ex, bool useOnlyDirectBindings) const{ in getSVal() argument
693 return Env.getSVal(Ex, *getStateManager().svalBuilder, in getSVal()
698 if (const Expr *Ex = dyn_cast<Expr>(S)) { in getSValAsScalarOrLoc() local
699 QualType T = Ex->getType(); in getSValAsScalarOrLoc()
700 if (Ex->isLValue() || Loc::isLocType(T) || T->isIntegerType()) in getSValAsScalarOrLoc()
DEnvironment.h56 SVal getSVal(const Stmt* Ex, SValBuilder& svalBuilder,
/external/clang/lib/Sema/
DSemaCXXCast.cpp162 ExprResult Ex = Owned(E); in BuildCXXNamedCast() local
170 bool TypeDependent = DestType->isDependentType() || Ex.get()->isTypeDependent(); in BuildCXXNamedCast()
181 CheckConstCast(*this, Ex, DestType, VK, OpRange, DestRange); in BuildCXXNamedCast()
182 if (Ex.isInvalid()) in BuildCXXNamedCast()
187 VK, Ex.take(), DestTInfo, OpLoc, in BuildCXXNamedCast()
194 CheckDynamicCast(*this, Ex, DestType, VK, OpRange, DestRange, in BuildCXXNamedCast()
196 if (Ex.isInvalid()) in BuildCXXNamedCast()
201 VK, Kind, Ex.take(), &BasePath, DestTInfo, in BuildCXXNamedCast()
207 CheckReinterpretCast(*this, Ex, DestType, VK, OpRange, DestRange, Kind); in BuildCXXNamedCast()
208 if (Ex.isInvalid()) in BuildCXXNamedCast()
[all …]
DSemaExprCXX.cpp483 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) { in ActOnCXXThrow() argument
485 if (Ex) { in ActOnCXXThrow()
497 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens())) in ActOnCXXThrow()
516 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope); in ActOnCXXThrow()
519 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex, in BuildCXXThrow() argument
526 if (Ex && !Ex->isTypeDependent()) { in BuildCXXThrow()
527 ExprResult ExRes = CheckCXXThrowOperand(OpLoc, Ex, IsThrownVarInScope); in BuildCXXThrow()
530 Ex = ExRes.take(); in BuildCXXThrow()
533 return Owned(new (Context) CXXThrowExpr(Ex, Context.VoidTy, OpLoc, in BuildCXXThrow()
1782 ExprResult Ex = Owned(ExE); in ActOnCXXDelete() local
[all …]
/external/clang/lib/Analysis/
DPseudoConstantAnalysis.cpp89 if (const Expr *Ex = dyn_cast<Expr>(Head)) in RunAnalysis() local
90 Head = Ex->IgnoreParenCasts(); in RunAnalysis()
DReachableCode.cpp45 if (const Expr *Ex = dyn_cast<Expr>(S)) in GetUnreachableLoc() local
46 S = Ex->IgnoreParenImpCasts(); in GetUnreachableLoc()
/external/clang/test/CXX/dcl.dcl/dcl.spec/dcl.type/
Dp3-0x.cpp33 void g() throw (struct Ex {}) { // expected-error {{'Ex' can not be defined in a type specifier}} in g()

12