Searched refs:Ex (Results 1 - 25 of 47) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Checkers/
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 DUndefResultChecker.cpp52 const Expr *Ex = NULL; local
56 Ex = B->getLHS()->IgnoreParenCasts();
60 Ex = B->getRHS()->IgnoreParenCasts();
64 if (Ex) {
77 if (Ex) {
78 report->addRange(Ex->getSourceRange());
79 bugreporter::trackNullOrUndefValue(N, Ex, *report);
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 DDereferenceChecker.cpp44 const Expr *Ex, const ProgramState *state,
53 const Expr *Ex,
57 Ex = Ex->IgnoreParenLValueCasts();
58 switch (Ex->getStmtClass()) {
62 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex);
71 const MemberExpr *ME = cast<MemberExpr>(Ex);
51 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
H A DUndefCapturedBlockVarChecker.cpp94 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD))
95 R->addRange(Ex->getSourceRange());
H A DDeadStoresChecker.cpp105 static const Expr *LookThroughTransitiveAssignments(const Expr *Ex) { argument
106 while (Ex) {
108 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts());
112 Ex = BO->getRHS();
117 return Ex;
203 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val, argument
218 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC);
301 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts(); local
303 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
H A DIdempotentOperationChecker.cpp92 static bool CanVary(const Expr *Ex,
621 bool IdempotentOperationChecker::CanVary(const Expr *Ex, argument
624 Ex = Ex->IgnoreParenCasts();
626 if (Ex->getLocStart().isMacroID())
629 switch (Ex->getStmtClass()) {
661 cast<const UnaryExprOrTypeTraitExpr>(Ex);
668 return !isConstantOrPseudoConstant(cast<DeclRefExpr>(Ex), AC);
672 const BinaryOperator *B = cast<const BinaryOperator>(Ex);
684 const UnaryOperator *U = cast<const UnaryOperator>(Ex);
[all...]
H A DObjCUnusedIVarsChecker.cpp36 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) {
37 const ObjCIvarDecl *D = Ex->getDecl();
/external/clang/test/CXX/dcl.dcl/dcl.spec/dcl.type/
H A Dp3-0x.cpp34 void g() throw (struct Ex {}) { // expected-error {{'Ex' can not be defined in a type specifier}}
/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp216 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, argument
228 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
235 QualType ExTy = Ex->getType();
271 // Copy the SVal of Ex to CastE.
274 SVal V = state->getSVal(Ex, LCtx);
310 SVal V = state->getSVal(Ex, LCtx);
319 SVal val = state->getSVal(Ex, LCtx);
327 SVal val = state->getSVal(Ex, LCtx);
606 void ExprEngine::VisitGuardedExpr(const Expr *Ex, argument
646 B.generateNode(Ex, Pre
668 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
714 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
732 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
759 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
771 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
826 const Expr *Ex = U->getSubExpr()->IgnoreParens(); local
[all...]
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 DBugReporterVisitors.cpp475 if (const Expr *Ex = dyn_cast<Expr>(S)) {
479 Ex = Ex->IgnoreParenCasts();
480 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) {
708 const Expr *Ex = Cond; local
711 Ex = Ex->IgnoreParenCasts();
712 switch (Ex->getStmtClass()) {
716 return VisitTrueTest(Cond, cast<BinaryOperator>(Ex), tookTrue, BRC,
719 return VisitTrueTest(Cond, cast<DeclRefExpr>(Ex), tookTru
734 patternMatch(const Expr *Ex, llvm::raw_ostream &Out, BugReporterContext &BRC, BugReport &report, const ExplodedNode *N, llvm::Optional<bool> &prunable) argument
[all...]
H A DExprEngine.cpp499 if (const Expr *Ex = dyn_cast<Expr>(S))
500 S = Ex->IgnoreParens();
647 const Expr *Ex = cast<Expr>(S); local
648 QualType resultType = Ex->getType();
654 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType,
656 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
1073 const Expr *Ex = dyn_cast<Expr>(Condition); local
1074 if (!Ex)
1080 while (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) {
1092 Ex
1395 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
1748 evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) argument
[all...]
H A DEnvironment.cpp48 if (const Expr *Ex = dyn_cast<Expr>(E))
49 E = Ex->IgnoreParens();
H A DExplodedGraph.cpp112 if (const Expr *Ex = dyn_cast<Expr>(ps.getStmt())) {
114 if (!PM.isConsumedExpr(Ex))
H A DMemRegion.cpp274 const Expr *Ex, unsigned cnt,
277 ID.AddPointer(Ex);
282 ProfileRegion(ID, Ex, Cnt, superRegion);
392 Expr const *Ex,
394 ID.AddPointer(Ex);
399 ProfileRegion(ID, Ex, getSuperRegion());
447 os << "alloca{" << (const void*) Ex << ',' << Cnt << '}';
469 << (const void*) Ex << '}';
273 ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex, unsigned cnt, const MemRegion *) argument
391 ProfileRegion(llvm::FoldingSetNodeID &ID, Expr const *Ex, const MemRegion *sReg) argument
H A DRegionStore.cpp217 const Expr *Ex,
621 const Expr *Ex; member in class:__anon3965::invalidateRegionsWorker
636 Ex(ex), Count(count), LCtx(lctx), IS(is), Regions(r) {}
731 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
746 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
755 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
771 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
778 const Expr *Ex,
786 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
803 const Expr *Ex, unsigne
777 invalidateGlobalRegion(MemRegion::Kind K, const Expr *Ex, unsigned Count, const LocationContext *LCtx, RegionBindings B, InvalidatedRegions *Invalidated) argument
801 invalidateRegions(Store store, ArrayRef<const MemRegion *> Regions, const Expr *Ex, unsigned Count, const LocationContext *LCtx, InvalidatedSymbols &IS, const CallEvent *Call, InvalidatedRegions *Invalidated) argument
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h286 void VisitLvalArraySubscriptExpr(const ArraySubscriptExpr *Ex,
312 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
328 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
363 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
367 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
407 const Expr *Ex);
449 // same as state->getLValue(Ex).
450 /// Simulate a read of the result of Ex.
H A DMemRegion.h282 /// (system or internal). Ex: Const global scalars would be modeled as part of
437 const Expr *Ex; member in class:clang::ento::AllocaRegion
440 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
444 const Expr *getExpr() const { return Ex; }
452 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
1018 Expr const *Ex; member in class:clang::ento::CXXTempObjectRegion
1021 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) {}
1027 const Expr *getExpr() const { return Ex; }
1030 return Ex->getType();
1140 const AllocaRegion *getAllocaRegion(const Expr *Ex, unsigne
[all...]
H A DProgramState.h258 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
672 inline SVal ProgramState::getSVal(const Stmt *Ex, const LocationContext *LCtx, argument
674 return Env.getSVal(EnvironmentEntry(Ex, LCtx),
682 if (const Expr *Ex = dyn_cast<Expr>(S)) {
683 QualType T = Ex->getType();
684 if (Ex->isGLValue() || Loc::isLocType(T) || T->isIntegerType())
/external/clang/lib/Analysis/
H A DPseudoConstantAnalysis.cpp88 if (const Expr *Ex = dyn_cast<Expr>(Head))
89 Head = Ex->IgnoreParenCasts();
H A DUninitializedValues.cpp263 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) { argument
264 while (Ex) {
265 Ex = Ex->IgnoreParenNoopCasts(C);
266 if (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) {
268 Ex = CE->getSubExpr();
274 return Ex;
H A DReachableCode.cpp186 if (const Expr *Ex = dyn_cast<Expr>(S))
187 S = Ex->IgnoreParenImpCasts();
/external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/C/
H A DDbg.stg227 goto rule<ruleDescriptor.name>Ex;
/external/clang/lib/Sema/
H A DSemaExprCXX.cpp516 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) { argument
518 if (Ex) {
530 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens()))
549 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope);
552 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex, argument
559 if (Ex && !Ex->isTypeDependent()) {
560 ExprResult ExRes = CheckCXXThrowOperand(OpLoc, Ex, IsThrownVarInScope);
563 Ex = ExRes.take();
566 return Owned(new (Context) CXXThrowExpr(Ex, Contex
2052 ExprResult Ex = Owned(ExE); local
[all...]

Completed in 1353 milliseconds

12