| /external/clang/lib/StaticAnalyzer/Checkers/ |
| UndefBranchChecker.cpp | 36 const Expr *FindExpr(const Expr *Ex) {
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) {
51 return St->getSVal(Ex, LCtx).isUndef();
88 const Expr *Ex = cast<Expr>(Condition);
94 if (PS->getStmt() == Ex)
98 Ex = FindIt.FindExpr(Ex)
[all...] |
| UndefResultChecker.cpp | 52 const Expr *Ex = NULL;
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);
|
| ObjCAtSyncChecker.cpp | 40 const Expr *Ex = S->getSynchExpr();
42 SVal V = state->getSVal(Ex, C.getLocationContext());
52 bugreporter::trackNullOrUndefValue(N, Ex, *report);
75 bugreporter::trackNullOrUndefValue(N, Ex, *report);
|
| 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);
|
| DeadStoresChecker.cpp | 105 static const Expr *LookThroughTransitiveAssignments(const Expr *Ex) {
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,
218 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC);
301 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts();
303 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
|
| IdempotentOperationChecker.cpp | 92 static bool CanVary(const Expr *Ex,
621 bool IdempotentOperationChecker::CanVary(const Expr *Ex,
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...] |
| UndefCapturedBlockVarChecker.cpp | 94 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD))
95 R->addRange(Ex->getSourceRange());
|
| 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/ |
| 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/ |
| ExprEngineC.cpp | 216 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
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,
646 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true))
[all...] |
| ExprEngineObjC.cpp | 22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex,
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);
|
| 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;
711 Ex = Ex->IgnoreParenCasts();
712 switch (Ex->getStmtClass()) {
716 return VisitTrueTest(Cond, cast<BinaryOperator>(Ex), tookTrue, BRC,
719 return VisitTrueTest(Cond, cast<DeclRefExpr>(Ex), tookTrue, BRC
[all...] |
| ExprEngine.cpp | 499 if (const Expr *Ex = dyn_cast<Expr>(S))
500 S = Ex->IgnoreParens();
647 const Expr *Ex = cast<Expr>(S);
648 QualType resultType = Ex->getType();
654 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType,
656 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
[all...] |
| Environment.cpp | 48 if (const Expr *Ex = dyn_cast<Expr>(E))
49 E = Ex->IgnoreParens();
|
| ExplodedGraph.cpp | 112 if (const Expr *Ex = dyn_cast<Expr>(ps.getStmt())) {
114 if (!PM.isConsumedExpr(Ex))
|
| 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 << '}';
[all...] |