/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UndefBranchChecker.cpp | 36 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 D | UndefResultChecker.cpp | 52 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 D | ObjCAtSyncChecker.cpp | 40 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 D | DereferenceChecker.cpp | 44 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 D | UndefCapturedBlockVarChecker.cpp | 94 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD)) 95 R->addRange(Ex->getSourceRange());
|
H A D | DeadStoresChecker.cpp | 105 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 D | IdempotentOperationChecker.cpp | 92 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 D | ObjCUnusedIVarsChecker.cpp | 36 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 D | p3-0x.cpp | 34 void g() throw (struct Ex {}) { // expected-error {{'Ex' can not be defined in a type specifier}}
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineC.cpp | 216 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 D | ExprEngineObjC.cpp | 22 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 D | BugReporterVisitors.cpp | 475 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 D | ExprEngine.cpp | 499 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 D | Environment.cpp | 48 if (const Expr *Ex = dyn_cast<Expr>(E)) 49 E = Ex->IgnoreParens();
|
H A D | ExplodedGraph.cpp | 112 if (const Expr *Ex = dyn_cast<Expr>(ps.getStmt())) { 114 if (!PM.isConsumedExpr(Ex))
|
H A D | MemRegion.cpp | 274 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 D | RegionStore.cpp | 217 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 D | ExprEngine.h | 286 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 D | MemRegion.h | 282 /// (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 D | ProgramState.h | 258 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 D | PseudoConstantAnalysis.cpp | 88 if (const Expr *Ex = dyn_cast<Expr>(Head)) 89 Head = Ex->IgnoreParenCasts();
|
H A D | UninitializedValues.cpp | 263 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 D | ReachableCode.cpp | 186 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 D | Dbg.stg | 227 goto rule<ruleDescriptor.name>Ex;
|
/external/clang/lib/Sema/ |
H A D | SemaExprCXX.cpp | 516 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...] |