| /external/clang/lib/StaticAnalyzer/Checkers/ |
| 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,
|
| 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,
|
| 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))
|
| RetainCountChecker.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| 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...] |
| 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...] |
| 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...] |
| RegionStore.cpp | 234 /// - Successful cast (ex: derived is subclass of base).
235 /// - Failed cast (ex: derived is definitely not a subclass of base).
250 const Expr *Ex,
607 const Expr *Ex;
616 const Expr *ex, unsigned count,
622 Ex(ex), Count(count), LCtx(lctx), IS(is), Regions(r) {}
698 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
714 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
722 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx
[all...] |
| /external/llvm/lib/CodeGen/SelectionDAG/ |
| LegalizeVectorOps.cpp | 368 SDValue Ex = DAG.getNode(ISD::EXTRACT_VECTOR_ELT, dl,
372 SDValue Store = DAG.getTruncStore(Chain, dl, Ex, BasePTR,
|
| LegalizeIntegerTypes.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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...] |
| /external/clang/lib/Sema/ |
| SemaCast.cpp | 239 ExprResult Ex = Owned(E);
244 bool TypeDependent = DestType->isDependentType() || Ex.get()->isTypeDependent();
[all...] |
| SemaDeclAttr.cpp | 879 Expr *Ex = *I;
881 if (Ex->isTypeDependent() || Ex->isValueDependent() ||
882 !Ex->isIntegerConstantExpr(ArgNum, S.Context)) {
884 << "nonnull" << Ex->getSourceRange();
892 << "nonnull" << I.getArgNum() << Ex->getSourceRange();
901 << "nonnull" << Ex->getSourceRange();
914 << "nonnull" << Ex->getSourceRange();
[all...] |
| SemaExprCXX.cpp | 505 Sema::ActOnCXXThrow(Scope *S, SourceLocation OpLoc, Expr *Ex) {
507 if (Ex) {
519 if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex->IgnoreParens()))
538 return BuildCXXThrow(OpLoc, Ex, IsThrownVarInScope);
541 ExprResult Sema::BuildCXXThrow(SourceLocation OpLoc, Expr *Ex,
548 if (Ex && !Ex->isTypeDependent()) {
549 ExprResult ExRes = CheckCXXThrowOperand(OpLoc, Ex, IsThrownVarInScope);
552 Ex = ExRes.take();
555 return Owned(new (Context) CXXThrowExpr(Ex, Context.VoidTy, OpLoc
[all...] |
| SemaChecking.cpp | [all...] |
| /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...] |
