| /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 | 62 const Expr *Ex = NULL;
66 Ex = B->getLHS()->IgnoreParenCasts();
70 Ex = B->getRHS()->IgnoreParenCasts();
74 if (Ex) {
87 if (Ex) {
88 report->addRange(Ex->getSourceRange());
89 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 | 45 const Expr *Ex, const ProgramState *state,
54 const Expr *Ex,
58 Ex = Ex->IgnoreParenLValueCasts();
59 switch (Ex->getStmtClass()) {
63 const DeclRefExpr *DR = cast<DeclRefExpr>(Ex);
72 const MemberExpr *ME = cast<MemberExpr>(Ex);
80 const ObjCIvarRefExpr *IV = cast<ObjCIvarRefExpr>(Ex);
|
| UndefCapturedBlockVarChecker.cpp | 92 if (const Expr *Ex = FindBlockDeclRefExpr(BE->getBody(), VD))
93 R->addRange(Ex->getSourceRange());
|
| DeadStoresChecker.cpp | 104 LookThroughTransitiveAssignmentsAndCommaOperators(const Expr *Ex) {
105 while (Ex) {
107 dyn_cast<BinaryOperator>(Ex->IgnoreParenCasts());
111 Ex = BO->getRHS();
115 Ex = BO->getRHS();
120 return Ex;
206 void CheckVarDecl(const VarDecl *VD, const Expr *Ex, const Expr *Val,
221 PathDiagnosticLocation::createBegin(Ex, BR.getSourceManager(), AC);
305 const Expr *Ex = U->getSubExpr()->IgnoreParenCasts();
307 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(Ex))
[all...] |
| IdempotentOperationChecker.cpp | 93 static bool CanVary(const Expr *Ex,
619 bool IdempotentOperationChecker::CanVary(const Expr *Ex,
622 Ex = Ex->IgnoreParenCasts();
624 if (Ex->getLocStart().isMacroID())
627 switch (Ex->getStmtClass()) {
659 cast<const UnaryExprOrTypeTraitExpr>(Ex);
666 return !isConstantOrPseudoConstant(cast<DeclRefExpr>(Ex), AC);
670 const BinaryOperator *B = cast<const BinaryOperator>(Ex);
682 return CanVary(cast<UnaryOperator>(Ex)->getSubExpr(), AC)
[all...] |
| ObjCUnusedIVarsChecker.cpp | 37 if (const ObjCIvarRefExpr *Ex = dyn_cast<ObjCIvarRefExpr>(S)) {
38 const ObjCIvarDecl *D = Ex->getDecl();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineC.cpp | 219 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
231 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
238 QualType ExTy = Ex->getType();
274 // Copy the SVal of Ex to CastE.
277 SVal V = state->getSVal(Ex, LCtx);
315 SVal V = state->getSVal(Ex, LCtx);
324 SVal val = state->getSVal(Ex, LCtx);
332 SVal val = state->getSVal(Ex, LCtx);
624 void ExprEngine::VisitGuardedExpr(const Expr *Ex,
679 V = svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount())
[all...] |
| ExplodedGraph.cpp | 59 bool ExplodedGraph::isInterestingLValueExpr(const Expr *Ex) {
60 if (!Ex->isLValue())
62 return isa<DeclRefExpr>(Ex) ||
63 isa<MemberExpr>(Ex) ||
64 isa<ObjCIvarRefExpr>(Ex);
132 const Expr *Ex = dyn_cast<Expr>(progPoint.castAs<PostStmt>().getStmt());
133 if (!Ex)
139 if (isInterestingLValueExpr(Ex))
147 if (!PM.isConsumedExpr(Ex))
|
| 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 | 862 static const Expr *peelOffOuterExpr(const Expr *Ex,
864 Ex = Ex->IgnoreParenCasts();
865 if (const ExprWithCleanups *EWC = dyn_cast<ExprWithCleanups>(Ex))
867 if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(Ex))
871 if (const ConditionalOperator *CO = dyn_cast<ConditionalOperator>(Ex)) {
892 return Ex;
902 if (const Expr *Ex = dyn_cast<Expr>(S)) {
903 Ex = Ex->IgnoreParenCasts()
[all...] |
| ExprEngine.cpp | 173 const Expr *Ex,
175 SVal V = State->getSVal(Ex, LC);
181 Result = Ex;
197 const Expr *Inner = Ex->IgnoreParens();
802 const Expr *Ex = cast<Expr>(S);
803 QualType resultType = Ex->getType();
809 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType,
811 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
[all...] |
| SValBuilder.cpp | 110 const Expr *Ex,
113 QualType T = Ex->getType();
117 QualType ExType = Ex->getType();
118 if (Ex->isGLValue())
121 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
|
| MemRegion.cpp | 279 const Expr *Ex, unsigned cnt,
282 ID.AddPointer(Ex);
288 ProfileRegion(ID, Ex, Cnt, superRegion);
398 Expr const *Ex,
400 ID.AddPointer(Ex);
405 ProfileRegion(ID, Ex, getSuperRegion());
455 os << "alloca{" << (const void*) Ex << ',' << Cnt << '}';
477 << (const void*) Ex << '}';
868 MemRegionManager::getCXXStaticTempObjectRegion(const Expr *Ex) {
870 Ex, getGlobalsRegion(MemRegion::GlobalInternalSpaceRegionKind, NULL))
[all...] |
| /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 | 315 void VisitLvalArraySubscriptExpr(const ArraySubscriptExpr *Ex,
341 void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
357 void VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R,
392 void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
396 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
436 const Expr *Ex);
493 // same as state->getLValue(Ex).
494 /// Simulate a read of the result of Ex.
|
| MemRegion.h | 280 /// headers and are considered modifiable by system calls (ex: errno).
298 /// (system or internal). Ex: Const global scalars would be modeled as part of
453 const Expr *Ex;
455 AllocaRegion(const Expr *ex, unsigned cnt, const MemRegion *superRegion)
456 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
460 const Expr *getExpr() const { return Ex; }
468 static void ProfileRegion(llvm::FoldingSetNodeID& ID, const Expr *Ex,
565 // TODO: We might want to return a different type here (ex: id (*ty)(...))
1052 Expr const *Ex;
[all...] |
| /external/clang/lib/Analysis/ |
| PseudoConstantAnalysis.cpp | 88 if (const Expr *Ex = dyn_cast<Expr>(Head))
89 Head = Ex->IgnoreParenCasts();
|
| UninitializedValues.cpp | 277 static const Expr *stripCasts(ASTContext &C, const Expr *Ex) {
278 while (Ex) {
279 Ex = Ex->IgnoreParenNoopCasts(C);
280 if (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) {
282 Ex = CE->getSubExpr();
288 return Ex;
451 void reportUse(const Expr *ex, const VarDecl *vd);
465 FindVarResult findVar(const Expr *ex) {
466 return ::findVar(ex, cast<DeclContext>(ac.getDecl()))
[all...] |
| ReachableCode.cpp | 186 if (const Expr *Ex = dyn_cast<Expr>(S))
187 S = Ex->IgnoreParenImpCasts();
|
| /frameworks/base/core/java/android/hardware/ |
| SensorManager.java | [all...] |
| /external/eigen/Eigen/src/UmfPackSupport/ |
| UmfPackSupport.h | 99 inline int umfpack_get_determinant(double *Mx, double *Ex, void *NumericHandle, double User_Info [UMFPACK_INFO])
101 return umfpack_di_get_determinant(Mx,Ex,NumericHandle,User_Info);
104 inline int umfpack_get_determinant(std::complex<double> *Mx, double *Ex, void *NumericHandle, double User_Info [UMFPACK_INFO])
107 return umfpack_zi_get_determinant(&mx_real,0,Ex,NumericHandle,User_Info);
|
| /external/antlr/antlr-3.4/tool/src/main/resources/org/antlr/codegen/templates/C/ |
| Dbg.stg | 227 goto rule<ruleDescriptor.name>Ex;
|
| /external/clang/test/CXX/temp/temp.decls/temp.variadic/ |
| sizeofpack.cpp | 83 template<class Ex, typename... Args>
|
