| /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 report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, Ex,
|
| ObjCAtSyncChecker.cpp | 41 const Expr *Ex = S->getSynchExpr();
43 SVal V = state->getSVal(Ex, C.getLocationContext());
53 report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, Ex,
77 report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, Ex,
|
| DereferenceChecker.cpp | 39 const Expr *Ex, const ProgramState *state,
48 const Expr *Ex,
52 Ex = Ex->IgnoreParenLValueCasts();
54 switch (Ex->getStmtClass()) {
58 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex);
68 const MemberExpr *ME = cast<MemberExpr>(Ex);
|
| DeadStoresChecker.cpp | 71 static const Expr *LookThroughTransitiveAssignments(const Expr *Ex) {
72 while (Ex) {
74 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts());
78 Ex = BO->getRHS();
83 return Ex;
151 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val,
166 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC);
249 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts();
251 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
|
| UndefCapturedBlockVarChecker.cpp | 94 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD))
95 R->addRange(Ex->getSourceRange());
|
| IdempotentOperationChecker.cpp | 92 static bool CanVary(const Expr *Ex,
618 bool IdempotentOperationChecker::CanVary(const Expr *Ex,
621 Ex = Ex->IgnoreParenCasts();
623 if (Ex->getLocStart().isMacroID())
626 switch (Ex->getStmtClass()) {
658 cast<const UnaryExprOrTypeTraitExpr>(Ex);
665 return !isConstantOrPseudoConstant(cast<DeclRefExpr>(Ex), AC);
669 const BinaryOperator *B = cast<const BinaryOperator>(Ex);
681 const UnaryOperator *U = cast<const UnaryOperator>(Ex);
[all...] |
| ObjCUnusedIVarsChecker.cpp | 36 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) {
37 const ObjCIvarDecl *D = Ex->getDecl();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineC.cpp | 180 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
192 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
199 QualType ExTy = Ex->getType();
230 // Copy the SVal of Ex to CastE.
233 SVal V = state->getSVal(Ex, LCtx);
269 SVal V = state->getSVal(Ex, LCtx);
280 SVal val = state->getSVal(Ex, LCtx);
290 SVal val = state->getSVal(Ex, LCtx);
450 const Expr *Ex = (const Expr*) cast<UndefinedVal>(X).getData();
451 assert(Ex);
[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 | 314 const Expr *Ex = dyn_cast<Expr>(S);
315 if (Ex) {
316 Ex = Ex->IgnoreParenLValueCasts();
317 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex)) {
530 const Expr *Ex = Cond;
533 Ex = Ex->IgnoreParens();
534 switch (Ex->getStmtClass()) {
538 return VisitTrueTest(Cond, cast<BinaryOperator>(Ex), tookTrue, BRC
[all...] |
| ExprEngine.cpp | 474 if (const Expr *Ex = dyn_cast<Expr>(S))
475 S = Ex->IgnoreParens();
647 const Expr *Ex = cast<Expr>(S);
648 QualType resultType = Ex->getType();
651 svalBuilder.getConjuredSymbolVal(0, Ex, LCtx, resultType,
653 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
[all...] |
| 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{" << (void*) Ex << ',' << Cnt << '}';
469 << (void*) Ex << '}';
[all...] |
| Environment.cpp | 48 if (const Expr *Ex = dyn_cast<Expr>(E))
49 E = Ex->IgnoreParens();
|
| ExplodedGraph.cpp | 105 if (const Expr *Ex = dyn_cast<Expr>(ps.getStmt())) {
107 if (!PM.isConsumedExpr(Ex))
|
| /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/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 262 void VisitLvalArraySubscriptExpr(const ArraySubscriptExpr *Ex,
283 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
299 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
334 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
338 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
388 const Expr *Ex);
442 // same as state->getLValue(Ex).
443 /// Simulate a read of the result of Ex.
|
| MemRegion.h | 249 /// headers and are considered modifiable by system calls (ex: errno).
267 /// (system or internal). Ex: Const global scalars would be modeled as part of
410 const Expr *Ex;
412 AllocaRegion(const Expr *ex, unsigned cnt, const MemRegion *superRegion)
413 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
417 const Expr *getExpr() const { return Ex; }
425 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
973 Expr const *Ex;
976 : TypedValueRegion(sReg, CXXTempObjectRegionKind), Ex(E) {
[all...] |
| ObjCMessage.h | 86 if (const Expr *Ex = getInstanceReceiver())
87 return State->getSValAsScalarOrLoc(Ex, LC);
|
| /external/clang/lib/Analysis/ |
| PseudoConstantAnalysis.cpp | 87 if (const Expr *Ex = dyn_cast<Expr>(Head))
88 Head = Ex->IgnoreParenCasts();
|
| UninitializedValues.cpp | 365 void reportUninit(const DeclRefExpr *ex, const VarDecl *vd,
381 FindVarResult findBlockVarDecl(Expr *ex);
387 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) {
388 while (Ex) {
389 Ex = Ex->IgnoreParenNoopCasts(C);
390 if (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) {
392 Ex = CE->getSubExpr();
398 return Ex;
401 void TransferFunctions::reportUninit(const DeclRefExpr *ex,
[all...] |
| ReachableCode.cpp | 186 if (const Expr *Ex = dyn_cast<Expr>(S))
187 S = Ex->IgnoreParenImpCasts();
|
| /frameworks/base/core/java/android/hardware/ |
| SensorManager.java | 792 final float Ex = geomagnetic[0];
796 float Hy = Ez*Ax - Ex*Az;
797 float Hz = Ex*Ay - Ey*Ax;
831 final float invE = 1.0f / (float)Math.sqrt(Ex*Ex + Ey*Ey + Ez*Ez);
832 final float c = (Ex*Mx + Ey*My + Ez*Mz) * invE;
833 final float s = (Ex*Ax + Ey*Ay + Ez*Az) * invE;
[all...] |
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/C/ |
| Dbg.stg | 227 goto rule<ruleDescriptor.name>Ex;
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 219 bool patternMatch(const Expr *Ex,
|
